public final class DefaultUCQHomomorphismWithCompilation extends AbstractHomomorphismWithCompilation<UnionOfConjunctiveQueries,AtomSet> implements UCQHomomorphismWithCompilation<AtomSet>
Modifier | Constructor and Description |
---|---|
protected |
DefaultUCQHomomorphismWithCompilation() |
|
DefaultUCQHomomorphismWithCompilation(HomomorphismWithCompilation<ConjunctiveQuery,AtomSet> h) |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Substitution> |
execute(UnionOfConjunctiveQueries queries,
AtomSet atomset,
RulesCompilation rc)
Look for the homomorphisms of the specified object into the specified
atomset.
|
boolean |
exist(UnionOfConjunctiveQueries q,
AtomSet a,
RulesCompilation compilation)
Look if there exists an homomorphism of q into a.
|
static DefaultUCQHomomorphismWithCompilation |
instance() |
execute, exist
getProfiler, setProfiler
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
execute
exist
getProfiler, setProfiler
protected DefaultUCQHomomorphismWithCompilation()
public DefaultUCQHomomorphismWithCompilation(HomomorphismWithCompilation<ConjunctiveQuery,AtomSet> h)
public static DefaultUCQHomomorphismWithCompilation instance()
public CloseableIterator<Substitution> execute(UnionOfConjunctiveQueries queries, AtomSet atomset, RulesCompilation rc) throws HomomorphismException
HomomorphismWithCompilation
execute
in interface HomomorphismWithCompilation<UnionOfConjunctiveQueries,AtomSet>
HomomorphismException
public boolean exist(UnionOfConjunctiveQueries q, AtomSet a, RulesCompilation compilation) throws HomomorphismException
ExistentialHomomorphismWithCompilation
exist
in interface ExistentialHomomorphismWithCompilation<UnionOfConjunctiveQueries,AtomSet>
exist
in class AbstractHomomorphismWithCompilation<UnionOfConjunctiveQueries,AtomSet>
HomomorphismException
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.