alice.tuprolog
Class SolveInfo

java.lang.Object
  alice.tuprolog.SolveInfo

All Implemented Interfaces:

java.io.Serializable

public class SolveInfo

extends java.lang.Object

implements java.io.Serializable

SolveInfo class represents the result of a solve request made to the engine, providing information about the solution

See Also:

Serialized Form

Method Summary

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 name) Gets the term value bound to a variable
boolean	isSuccess() Checks if the solve request was successful
java.lang.String	toString() Returns the string representation of the result of the demonstration.
Var[]	toVarArray() Gets the list of the variables in the solution.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

isSuccess

public boolean isSuccess()

Checks if the solve request was successful

Returns:

true if the solve was successful

getTerm

public Term getTerm(java.lang.String varName)
             throws NoSolutionException,
                    UnknownVarException

Gets the value of a variable in the substitution

Throws:

NoSolutionException

UnknownVarException

getQuery

public Term getQuery()

Gets the query

Returns:

the query

getSolution

public Term getSolution()
                 throws NoSolutionException

Gets the solution of the request

Throws:

NoSolutionException - if the solve request has not solution

toVarArray

public Var[] toVarArray()
                 throws NoSolutionException

Gets the list of the variables in the solution.

Returns:

the array of variables.

Throws:

NoSolutionException - if current solve information does not concern a successful

getVarValue

public Term getVarValue(java.lang.String name)
                 throws NoSolutionException

Gets the term value bound to a variable

Parameters:

name - the variable name

Returns:

the term value bound to the variable or null if the variable is not found

Throws:

NoSolutionException - if the solve request has no solution

toString

public java.lang.String toString()

Returns the string representation of the result of the demonstration. For successful demonstration, the representation concerns variables with bindings. For failed demo, the method returns false string.