public abstract class AbstractHomomorphismWithCompilation<T1,T2 extends AtomSet> extends AbstractHomomorphism<T1,T2> implements HomomorphismWithCompilation<T1,T2>
Constructor and Description |
---|
AbstractHomomorphismWithCompilation() |
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.
|
boolean |
exist(T1 source,
T2 target)
Look if there exists an homomorphism of q into a.
|
boolean |
exist(T1 q,
T2 a,
RulesCompilation compilation)
Look if there exists an homomorphism of q into a.
|
getProfiler, setProfiler
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
execute
getProfiler, setProfiler
public CloseableIterator<Substitution> execute(T1 q, T2 a) throws HomomorphismException
Homomorphism
execute
in interface Homomorphism<T1,T2 extends AtomSet>
HomomorphismException
public boolean exist(T1 q, T2 a, RulesCompilation compilation) throws HomomorphismException
ExistentialHomomorphismWithCompilation
exist
in interface ExistentialHomomorphismWithCompilation<T1,T2 extends AtomSet>
HomomorphismException
public boolean exist(T1 source, T2 target) throws HomomorphismException
ExistentialHomomorphism
exist
in interface ExistentialHomomorphism<T1,T2 extends AtomSet>
exist
in class AbstractHomomorphism<T1,T2 extends AtomSet>
HomomorphismException
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.