public class SqlHomomorphismChecker extends AbstractChecker implements HomomorphismChecker
Constructor and Description |
---|
SqlHomomorphismChecker() |
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() |
SqlHomomorphism |
getSolver()
Return the attached solver.
|
compareTo, getPriority, setPriority
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getPriority, setPriority
compareTo
public boolean check(Object query, AtomSet atomset)
HomomorphismChecker
check
in interface ExistentialHomomorphismChecker
check
in interface HomomorphismChecker
public SqlHomomorphism 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.