public class TimeTerm
extends jason.asSyntax.DefaultTerm
implements jason.asSyntax.NumberTerm
Constructor and Description |
---|
TimeTerm(long t,
java.lang.String unit) |
Modifier and Type | Method and Description |
---|---|
protected int |
calcHashCode() |
jason.asSyntax.Term |
capply(jason.asSemantics.Unifier u) |
jason.asSyntax.Term |
clone() |
boolean |
equals(java.lang.Object obj) |
org.w3c.dom.Element |
getAsDOM(org.w3c.dom.Document document) |
boolean |
isNumeric() |
double |
solve() |
static java.lang.String |
toAbsTimeStr(long time) |
static java.lang.String |
toRelTimeStr(long time) |
java.lang.String |
toString() |
static java.lang.String |
toTimeStamp(long time) |
compareTo, 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
protected int calcHashCode()
calcHashCode
in class jason.asSyntax.DefaultTerm
public jason.asSyntax.Term capply(jason.asSemantics.Unifier u)
capply
in interface jason.asSyntax.Term
capply
in class jason.asSyntax.DefaultTerm
public jason.asSyntax.Term clone()
clone
in interface jason.asSyntax.Term
clone
in class jason.asSyntax.DefaultTerm
public boolean isNumeric()
isNumeric
in interface jason.asSyntax.Term
isNumeric
in class jason.asSyntax.DefaultTerm
public double solve()
solve
in interface jason.asSyntax.NumberTerm
public boolean equals(java.lang.Object obj)
equals
in interface jason.asSyntax.Term
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public static java.lang.String toTimeStamp(long time)
public static java.lang.String toRelTimeStr(long time)
public static java.lang.String toAbsTimeStr(long time)
public org.w3c.dom.Element getAsDOM(org.w3c.dom.Document document)
getAsDOM
in interface jason.util.ToDOM