public interface ExistentialHomomorphismWithCompilation<T1,T2 extends AtomSet> extends ExistentialHomomorphism<T1,T2>
Modifier and Type | Method and Description |
---|---|
boolean |
exist(T1 q,
T2 a,
RulesCompilation compilation)
Look if there exists an homomorphism of q into a.
|
exist
getProfiler, setProfiler
boolean exist(T1 q, T2 a, RulesCompilation compilation) throws HomomorphismException
q
- a
- compilation
- HomomorphismException
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.