jTrolog.engine

Class Solution

java.lang.Object

jTrolog.engine.Solution

public class Solution
extends Object

Author:

ivar.orstavik@hist.no

Constructor Summary

Constructors

Constructor and Description
Solution(HashMap bindings, Term solution)
Solution(Term solution)

Method Summary

Modifier and Type	Method and Description
String	bindingsToString()
Term	getBinding(String varName)
Term	getSolution()
boolean	success()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Solution

public Solution(Term solution)

Solution

public Solution(HashMap bindings,
                Term solution)

Method Detail

success

public boolean success()

Returns:

true if the query was a success, false otherwise

getSolution

public Term getSolution()

Returns:

the solution to the query as a Term

getBinding

public Term getBinding(String varName)

Returns:

the link of the Variable corresponding to varName, if no Var was named varName in the query, null is returned if the Var was linked to an any Var, that any Var is returned

toString

public String toString()

Overrides:

toString in class Object

bindingsToString

public String bindingsToString()