Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> tuprolog >> runtime >> [ tucson overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

alice.tuprolog.runtime.tucson
Class SolveResultInfo  

java.lang.Object
  alice.tuprolog.runtime.tucson.SolveResultInfo

All Implemented Interfaces:

java.io.Serializable, alice.tuprolog.SolveInfo

---

final class SolveResultInfo

extends java.lang.Object

implements alice.tuprolog.SolveInfo

---

Field Summary
private  alice.tuprolog.Var[]	bindings
private  int	flag
private  alice.tuprolog.Term	goal
private  int	haltCode

 

Constructor Summary
(package private)	SolveResultInfo(alice.tuprolog.Term tt)

 

Method Summary
int	getHaltCode()           gets halt code for a demonstration that has been halted
alice.tuprolog.Term	getSolution()           gets info about the (unified) goal of the relative successful demonstration
alice.tuprolog.Substitution	getSubstitution()           gets info about (eventually present) bound variables of the relative successful demonstration
boolean	halt()           tests if an haltquit predicate has been requested
boolean	hasOpenAlternatives()           tests if there are open alternatives in the relative demonstration
boolean	success()           tests for demontration success.

 

Methods inherited from class java.lang.Object

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

 

Field Detail

flag

private int flag

---

bindings

private alice.tuprolog.Var[] bindings

---

goal

private alice.tuprolog.Term goal

---

haltCode

private int haltCode

Constructor Detail

SolveResultInfo

SolveResultInfo(alice.tuprolog.Term tt)

Method Detail

success

public boolean success()

Description copied from interface: alice.tuprolog.SolveInfo

tests for demontration success.

Specified by:

success in interface alice.tuprolog.SolveInfo

---

hasOpenAlternatives

public boolean hasOpenAlternatives()

Description copied from interface: alice.tuprolog.SolveInfo

tests if there are open alternatives in the relative demonstration

Specified by:

hasOpenAlternatives in interface alice.tuprolog.SolveInfo

---

getSubstitution

public alice.tuprolog.Substitution getSubstitution()
                                            throws alice.tuprolog.NoSolutionException

Description copied from interface: alice.tuprolog.SolveInfo

gets info about (eventually present) bound variables of the relative successful demonstration

Specified by:

getSubstitution in interface alice.tuprolog.SolveInfo

---

getSolution

public alice.tuprolog.Term getSolution()
                                throws alice.tuprolog.NoSolutionException

Description copied from interface: alice.tuprolog.SolveInfo

gets info about the (unified) goal of the relative successful demonstration

Specified by:

getSolution in interface alice.tuprolog.SolveInfo

---

halt

public boolean halt()

Description copied from interface: alice.tuprolog.SolveInfo

tests if an haltquit predicate has been requested

Specified by:

halt in interface alice.tuprolog.SolveInfo

---

getHaltCode

public int getHaltCode()
                throws alice.tuprolog.NoHaltException

Description copied from interface: alice.tuprolog.SolveInfo

gets halt code for a demonstration that has been halted

Specified by:

getHaltCode in interface alice.tuprolog.SolveInfo

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> tuprolog >> runtime >> [ tucson overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---