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