public interface ISolution<Q,S,T>
Modifier and Type | Method and Description |
---|---|
<Z extends T> |
agetVarValue(java.lang.String varName) |
java.util.List<? extends T> |
getBindingVars() |
Q |
getQuery() |
S |
getSolution() |
<Z extends T> |
getTerm(java.lang.String varName) |
boolean |
hasOpenAlternatives() |
boolean |
isHalted() |
boolean |
isSuccess() |
<Z extends T> Z agetVarValue(java.lang.String varName) throws NoSolutionException
NoSolutionException
<Z extends T> Z getTerm(java.lang.String varName) throws NoSolutionException, UnknownVarException
boolean isSuccess()
boolean isHalted()
boolean hasOpenAlternatives()
S getSolution() throws NoSolutionException
NoSolutionException
Q getQuery()
java.util.List<? extends T> getBindingVars() throws NoSolutionException
NoSolutionException