fr.lirmm.graphik.graal.api.homomorphism

Interface HomomorphismWithCompilation<T1,T2 extends AtomSet>

All Superinterfaces:

ExistentialHomomorphism<T1,T2>, ExistentialHomomorphismWithCompilation<T1,T2>, Homomorphism<T1,T2>, Profilable

All Known Subinterfaces:

UCQHomomorphismWithCompilation<A>

All Known Implementing Classes:

AbstractHomomorphismWithCompilation, AtomicQueryHomomorphism, AtomicQueryHomomorphismWithNegatedParts, BacktrackHomomorphism, BacktrackHomomorphismWithNegatedParts, DefaultUCQHomomorphismWithCompilation, FullyInstantiatedQueryHomomorphism, SmartHomomorphism

public interface HomomorphismWithCompilation<T1,T2 extends AtomSet>
extends ExistentialHomomorphismWithCompilation<T1,T2>, Homomorphism<T1,T2>

Author:

Clément Sipieter (INRIA) <clement@6pi.fr>

Method Summary

Modifier and Type	Method and Description
CloseableIterator<Substitution>	execute(T1 q, T2 a, RulesCompilation compilation) Look for the homomorphisms of the specified object into the specified atomset.

Methods inherited from interface fr.lirmm.graphik.graal.api.homomorphism.ExistentialHomomorphismWithCompilation

exist

Methods inherited from interface fr.lirmm.graphik.graal.api.homomorphism.Homomorphism

execute

Methods inherited from interface fr.lirmm.graphik.graal.api.homomorphism.ExistentialHomomorphism

exist

Methods inherited from interface fr.lirmm.graphik.util.profiler.Profilable

getProfiler, setProfiler

Method Detail

execute

CloseableIterator<Substitution> execute(T1 q,
                                        T2 a,
                                        RulesCompilation compilation)
                                 throws HomomorphismException

Look for the homomorphisms of the specified object into the specified atomset.

Parameters:

q -

a -

compilation -

Returns:

an Iterator over Substitutions representing homomorphism found of q into a.

Throws:

HomomorphismException