public interface Numeric extends Term, ArithmeticOperator
Term that has a numerical value.TermUtils.castToNumeric(Term)| Modifier and Type | Method and Description |
|---|---|
double |
getDouble()
Returns the value of this numeric as a
double. |
long |
getLong()
Returns the value of this numeric as a
long. |
backtrack, copy, getArgs, getArgument, getBound, getName, getNumberOfArguments, getTerm, getType, isImmutable, unifycalculateCopyright © 2024. All rights reserved.