public interface ExistentialHomomorphismChecker extends Comparable<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.
|
ExistentialHomomorphism<? 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)
query
- atomset
- ExistentialHomomorphism<? extends Object,? extends AtomSet> getSolver()
int getPriority()
void setPriority(int priority)
priority
- Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.