public final class NumberTermImpl extends DefaultTerm implements NumberTerm
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, 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, countVars, getCyclicVar, getSrcInfo, hasVar, isArithExpr, isAtom, isCyclicTerm, isGround, isInternalAction, isList, isLiteral, isPlanBody, isPred, isRule, isString, isStructure, isUnnamedVar, isVar, setSrcInfo, subsumes
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