alice.tuprolog
Class ClauseInfo

java.lang.Object
  extended byalice.tuprolog.ClauseInfo

public class ClauseInfo
extends java.lang.Object

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

toString

public java.lang.String toString(alice.tuprolog.OperatorManager op)
Gets the string representation recognizing operators stored by the operator manager


toString

public java.lang.String toString()
Gets the string representation with default operator representation