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

---

alice.tuprolog
Class GoalInfo  

java.lang.Object
  alice.tuprolog.GoalInfo

All Implemented Interfaces:

java.io.Serializable

---

final class GoalInfo

extends java.lang.Object

implements java.io.Serializable

runtime info about goal to demonstrate

---

Field Summary
RTContext	context           runtime context of the demo
Term	goal           demonstrating goal
int	mark           time and mark index from which beginning next rename and unification operation
int	time           time and mark index from which beginning next rename and unification operation

 

Constructor Summary
(package private)	GoalInfo(Term g)

 

Methods inherited from class java.lang.Object

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

 

Field Detail

goal

public Term goal

demonstrating goal

---

context

public RTContext context

runtime context of the demo

---

time

public int time

time and mark index from which beginning next rename and unification operation

---

mark

public int mark

time and mark index from which beginning next rename and unification operation

Constructor Detail

GoalInfo

GoalInfo(Term g)

---

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

---