Constructor and Description |
---|
PrologSolution(SolveInfo si)
Creates a new instance of SolveInfo
|
Modifier and Type | Method and Description |
---|---|
java.util.List<Term<?>> |
getBindingVars() |
Q |
getQuery() |
S |
getSolution() |
<Z extends Term<?>> |
getTerm(java.lang.String varName) |
<Z extends Term<?>> |
getVarValue(java.lang.String varName) |
boolean |
hasOpenAlternatives() |
boolean |
isHalted() |
boolean |
isSuccess() |
public PrologSolution(SolveInfo si)
public <Z extends Term<?>> Z getVarValue(java.lang.String varName) throws NoSolutionException
NoSolutionException
public <Z extends Term<?>> Z getTerm(java.lang.String varName) throws NoSolutionException, UnknownVarException
public boolean isSuccess()
public boolean isHalted()
public boolean hasOpenAlternatives()
public S getSolution() throws NoSolutionException
NoSolutionException
public Q getQuery()
public java.util.List<Term<?>> getBindingVars() throws NoSolutionException
NoSolutionException