public class SolveInfo
extends java.lang.Object
implements java.io.Serializable
Modifier and Type | Method and Description |
---|---|
static SolveInfo |
fromJSON(java.lang.String jsonString) |
java.util.List<Var> |
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 |
toJSON() |
java.lang.String |
toString()
Returns the string representation of the result of the demonstration.
|
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<Var> 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 solutionUnknownVarException
- 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()
toString
in class java.lang.Object
public java.lang.String toJSON()
public static SolveInfo fromJSON(java.lang.String jsonString)