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, unify
calculate
Copyright © 2024. All rights reserved.