public class DefaultUnionConjunctiveQueriesChecker extends AbstractChecker implements HomomorphismChecker
Modifier and Type | Method and Description |
---|---|
boolean |
check(Object query,
AtomSet atomset)
Check if the current homomorphism solver can be applied on the specified
query and atomset.
|
int |
getDefaultPriority() |
Homomorphism<? extends Query,? extends AtomSet> |
getSolver()
Return the attached solver.
|
static DefaultUnionConjunctiveQueriesChecker |
instance() |
compareTo, getPriority, setPriority
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getPriority, setPriority
compareTo
public static DefaultUnionConjunctiveQueriesChecker instance()
public boolean check(Object query, AtomSet atomset)
HomomorphismChecker
check
in interface ExistentialHomomorphismChecker
check
in interface HomomorphismChecker
public Homomorphism<? extends Query,? extends AtomSet> getSolver()
HomomorphismChecker
getSolver
in interface ExistentialHomomorphismChecker
getSolver
in interface HomomorphismChecker
public int getDefaultPriority()
getDefaultPriority
in class AbstractChecker
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.