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