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