public final class NumberTermImpl extends DefaultTerm implements NumberTerm
Modifier and Type | Field and Description |
---|---|
private static java.util.logging.Logger |
logger |
private static long |
serialVersionUID |
private double |
value |
hashCodeCache, srcInfo
Constructor and Description |
---|
NumberTermImpl() |
NumberTermImpl(double vl) |
NumberTermImpl(NumberTermImpl t) |
NumberTermImpl(java.lang.String sn)
Deprecated.
prefer to use ASSyntax.parseNumber
|
Modifier and Type | Method and Description |
---|---|
protected int |
calcHashCode() |
NumberTerm |
clone() |
int |
compareTo(Term o) |
boolean |
equals(java.lang.Object o) |
org.w3c.dom.Element |
getAsDOM(org.w3c.dom.Document document)
get as XML
|
boolean |
isNumeric() |
double |
solve()
returns the numeric value of the term
|
java.lang.String |
toString() |
capply, cloneNS, countVars, getCyclicVar, getErrorMsg, getSrcInfo, hashCode, hasVar, isArithExpr, isAtom, isCyclicTerm, isGround, isInternalAction, isList, isLiteral, isPlanBody, isPred, isRule, isString, isStructure, isUnnamedVar, isVar, parse, resetHashCodeCache, setSrcInfo, subsumes
finalize, getClass, notify, notifyAll, wait, wait, wait
capply, cloneNS, countVars, getCyclicVar, getSrcInfo, hasVar, isArithExpr, isAtom, isCyclicTerm, isGround, isInternalAction, isList, isLiteral, isPlanBody, isPred, isRule, isString, isStructure, isUnnamedVar, isVar, setSrcInfo, subsumes
private static final long serialVersionUID
private static java.util.logging.Logger logger
private final double value
public NumberTermImpl()
public NumberTermImpl(java.lang.String sn)
public NumberTermImpl(double vl)
public NumberTermImpl(NumberTermImpl t)
public double solve()
NumberTerm
solve
in interface NumberTerm
public NumberTerm clone()
clone
in interface Term
clone
in class DefaultTerm
public boolean isNumeric()
isNumeric
in interface Term
isNumeric
in class DefaultTerm
public boolean equals(java.lang.Object o)
protected int calcHashCode()
calcHashCode
in class DefaultTerm
public int compareTo(Term o)
compareTo
in interface java.lang.Comparable<Term>
compareTo
in class DefaultTerm
public java.lang.String toString()
toString
in class java.lang.Object