|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectalice.tuprolog.SolveInfo
SolveInfo class represents the result of a solve request made to the engine, providing information about the solution
Method Summary | |
java.util.List |
getBindingVars()
Gets the list of the variables in the solution. |
Term |
getQuery()
Gets the query |
Term |
getSolution()
Gets the solution of the request |
Term |
getTerm(java.lang.String varName)
Gets the value of a variable in the substitution. |
Term |
getVarValue(java.lang.String varName)
Gets the value of a variable in the substitution. |
boolean |
hasOpenAlternatives()
Checks if the solve request was halted |
boolean |
isHalted()
Checks if the solve request was halted |
boolean |
isSuccess()
Checks if the solve request was successful |
java.lang.String |
toString()
Returns the string representation of the result of the demonstration. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Method Detail |
public boolean isSuccess()
public boolean isHalted()
public boolean hasOpenAlternatives()
public Term getQuery()
public Term getSolution() throws NoSolutionException
NoSolutionException
- if the solve request has not
solutionpublic java.util.List getBindingVars() throws NoSolutionException
NoSolutionException
- if current solve information
does not concern a successfulpublic Term getTerm(java.lang.String varName) throws NoSolutionException, UnknownVarException
NoSolutionException
- if the solve request has no solution
UnknownVarException
- if the variable does not appear in the substitution.public Term getVarValue(java.lang.String varName) throws NoSolutionException
null
if the variable does not appear in the substitution.
NoSolutionException
public java.lang.String toString()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |