public class SmartHomomorphism extends AbstractProfilable implements HomomorphismWithCompilation<Object,AtomSet>
Constructor and Description |
---|
SmartHomomorphism(boolean loadDefaultHomomorphism) |
Modifier and Type | Method and Description |
---|---|
boolean |
addChecker(HomomorphismChecker checker) |
CloseableIterator<Substitution> |
execute(Object query,
AtomSet atomSet)
Look for the homomorphisms of the specified object into the specified
atomset.
|
CloseableIterator<Substitution> |
execute(Object query,
AtomSet atomSet,
RulesCompilation compilation)
Look for the homomorphisms of the specified object into the specified
atomset.
|
boolean |
exist(Object query,
AtomSet atomSet)
Look if there exists an homomorphism of q into a.
|
boolean |
exist(Object query,
AtomSet atomSet,
RulesCompilation compilation)
Look if there exists an homomorphism of q into a.
|
static SmartHomomorphism |
instance() |
getProfiler, setProfiler
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getProfiler, setProfiler
public static SmartHomomorphism instance()
public boolean addChecker(HomomorphismChecker checker)
checker
- public CloseableIterator<Substitution> execute(Object query, AtomSet atomSet) throws HomomorphismException
Homomorphism
execute
in interface Homomorphism<Object,AtomSet>
HomomorphismException
public boolean exist(Object query, AtomSet atomSet) throws HomomorphismException
ExistentialHomomorphism
exist
in interface ExistentialHomomorphism<Object,AtomSet>
HomomorphismException
public CloseableIterator<Substitution> execute(Object query, AtomSet atomSet, RulesCompilation compilation) throws HomomorphismException
HomomorphismWithCompilation
execute
in interface HomomorphismWithCompilation<Object,AtomSet>
HomomorphismException
public boolean exist(Object query, AtomSet atomSet, RulesCompilation compilation) throws HomomorphismException
ExistentialHomomorphismWithCompilation
exist
in interface ExistentialHomomorphismWithCompilation<Object,AtomSet>
HomomorphismException
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.