public interface NumberTerm extends Term
Modifier and Type | Method and Description |
---|---|
double |
solve()
returns the numeric value of the term
|
capply, clone, countVars, equals, getCyclicVar, getSrcInfo, hasVar, isArithExpr, isAtom, isCyclicTerm, isGround, isInternalAction, isList, isLiteral, isNumeric, isPlanBody, isPred, isRule, isString, isStructure, isUnnamedVar, isVar, setSrcInfo, subsumes
double solve() throws NoValueException
NoValueException