public class AtomicQueryHomomorphismWithNegatedPartsChecker 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() |
AtomicQueryHomomorphismWithNegatedParts |
getSolver()
Return the attached solver.
|
static AtomicQueryHomomorphismWithNegatedPartsChecker |
instance() |
compareTo, getPriority, setPriority
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getPriority, setPriority
compareTo
public static AtomicQueryHomomorphismWithNegatedPartsChecker instance()
public AtomicQueryHomomorphismWithNegatedParts 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.