public static class Context.CB_Ptr
extends java.lang.Object
implements java.io.Serializable
ClauseBody
. It allows for manipulation and comparison
of large number of ClauseBodies without overloading memory.Modifier and Type | Method and Description |
---|---|
java.lang.String |
toSILKString(java.lang.String bacer) |
java.lang.String |
toString() |