public interface HomomorphismChecker extends ExistentialHomomorphismChecker
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 |
getPriority()
Get the priority of this solver.
|
Homomorphism<? extends Object,? extends AtomSet> |
getSolver()
Return the attached solver.
|
void |
setPriority(int priority)
Set the priority of this solver.
|
compareTo
boolean check(Object query, AtomSet atomset)
check
in interface ExistentialHomomorphismChecker
query
- atomset
- Homomorphism<? extends Object,? extends AtomSet> getSolver()
getSolver
in interface ExistentialHomomorphismChecker
int getPriority()
getPriority
in interface ExistentialHomomorphismChecker
void setPriority(int priority)
setPriority
in interface ExistentialHomomorphismChecker
priority
- Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.