|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectalice.tuprolog.ClauseInfo
This class mantains information about a clause creation (clause copy, final time T after renaming, validity stillValid Flag). These information are necessary to the Theory Manager to use the clause in a consistent way
Method Summary | |
java.lang.String |
toString()
Gets the string representation with default operator representation |
java.lang.String |
toString(alice.tuprolog.OperatorManager op)
Gets the string representation recognizing operators stored by the operator manager |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Method Detail |
public java.lang.String toString(alice.tuprolog.OperatorManager op)
public java.lang.String toString()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |