public class AtomicQueryHomomorphismWithNegatedParts extends AbstractHomomorphismWithCompilation<ConjunctiveQueryWithNegatedParts,AtomSet> implements HomomorphismWithCompilation<ConjunctiveQueryWithNegatedParts,AtomSet>
Constructor and Description |
---|
AtomicQueryHomomorphismWithNegatedParts() |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Substitution> |
execute(ConjunctiveQueryWithNegatedParts query,
AtomSet data,
RulesCompilation compilation)
Look for the homomorphisms of the specified object into the specified
atomset.
|
static AtomicQueryHomomorphismWithNegatedParts |
instance() |
execute, exist, exist
getProfiler, setProfiler
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
exist
execute
exist
getProfiler, setProfiler
public AtomicQueryHomomorphismWithNegatedParts()
public static AtomicQueryHomomorphismWithNegatedParts instance()
public CloseableIterator<Substitution> execute(ConjunctiveQueryWithNegatedParts query, AtomSet data, RulesCompilation compilation) throws HomomorphismException
HomomorphismWithCompilation
execute
in interface HomomorphismWithCompilation<ConjunctiveQueryWithNegatedParts,AtomSet>
HomomorphismException
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.