public class ClauseInfo
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString()
Gets the string representation with default operator representation
|
java.lang.String |
toString(OperatorManager op)
Gets the string representation
recognizing operators stored by
the operator manager
|
public java.lang.String toString(OperatorManager op)
public java.lang.String toString()
toString
in class java.lang.Object