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

---

alice.tuprolog.ide
Class HistoryInfo  

java.lang.Object
  alice.tuprolog.ide.HistoryInfo

---

class HistoryInfo

extends java.lang.Object

---

Field Summary
java.lang.String	goal
java.lang.String	solution
java.lang.String	substitution

 

Constructor Summary

HistoryInfo(java.lang.String goal, java.lang.String solution, java.lang.String sub)

 

Methods inherited from class java.lang.Object

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

 

Field Detail

goal

public java.lang.String goal

---

solution

public java.lang.String solution

---

substitution

public java.lang.String substitution

Constructor Detail

HistoryInfo

public HistoryInfo(java.lang.String goal,
                   java.lang.String solution,
                   java.lang.String sub)

---

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

---