public class FullyInstantiatedQueryHomomorphismChecker 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() |
FullyInstantiatedQueryHomomorphism |
getSolver()
Return the attached solver.
|
static FullyInstantiatedQueryHomomorphismChecker |
instance() |
compareTo, getPriority, setPriority
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getPriority, setPriority
compareTo
public static FullyInstantiatedQueryHomomorphismChecker instance()
public FullyInstantiatedQueryHomomorphism getSolver()
HomomorphismChecker
getSolver
in interface ExistentialHomomorphismChecker
getSolver
in interface HomomorphismChecker
public boolean check(Object query, AtomSet atomset)
HomomorphismChecker
check
in interface ExistentialHomomorphismChecker
check
in interface HomomorphismChecker
public int getDefaultPriority()
getDefaultPriority
in class AbstractChecker
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.