Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## alice.tuprolog
Class ClauseInfo

    java.lang.Object
      alice.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

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD