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