public interface ObjectTerm extends Term
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
getObject() |
capply, clone, countVars, equals, getCyclicVar, getSrcInfo, hasVar, isArithExpr, isAtom, isCyclicTerm, isGround, isInternalAction, isList, isLiteral, isNumeric, isPlanBody, isPred, isRule, isString, isStructure, isUnnamedVar, isVar, setSrcInfo, subsumes