public interface StringTerm extends Term
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getString()
gets the Java string represented by this term, it
normally does not return the same string as toString
(which enclose the string by quotes)
|
int |
length() |
capply, clone, countVars, equals, getCyclicVar, getSrcInfo, hasVar, isArithExpr, isAtom, isCyclicTerm, isGround, isInternalAction, isList, isLiteral, isNumeric, isPlanBody, isPred, isRule, isString, isStructure, isUnnamedVar, isVar, setSrcInfo, subsumes