fr.lirmm.graphik.graal.api.homomorphism

Interface Homomorphism<T1,T2 extends AtomSet>

All Superinterfaces:

ExistentialHomomorphism<T1,T2>, Profilable

All Known Subinterfaces:

HomomorphismWithCompilation<T1,T2>, UCQHomomorphism<A>, UCQHomomorphismWithCompilation<A>

All Known Implementing Classes:

AbstractHomomorphism, AbstractHomomorphismWithCompilation, AtomicQueryHomomorphism, AtomicQueryHomomorphismWithNegatedParts, BacktrackHomomorphism, BacktrackHomomorphismWithNegatedParts, DefaultUCQHomomorphism, DefaultUCQHomomorphismWithCompilation, FullyInstantiatedQueryHomomorphism, RecursiveBacktrackHomomorphism, SmartHomomorphism, SqlHomomorphism, SqlUCQHomomorphism

public interface Homomorphism<T1,T2 extends AtomSet>
extends ExistentialHomomorphism<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) Look for the homomorphisms of the specified object into the specified atomset.

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)
                                 throws HomomorphismException

Look for the homomorphisms of the specified object into the specified atomset. For boolean query, return a SubstitutionReader with an empty Substitution for true and no substitution for false.

Parameters:

q -

a -

Returns:

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

Throws:

HomomorphismException