public final class StringTermImpl extends DefaultTerm implements StringTerm
hashCodeCache, srcInfo
Constructor and Description |
---|
StringTermImpl() |
StringTermImpl(java.lang.String fs) |
StringTermImpl(StringTermImpl t) |
Modifier and Type | Method and Description |
---|---|
protected int |
calcHashCode() |
StringTerm |
clone() |
int |
compareTo(Term o) |
boolean |
equals(java.lang.Object t) |
org.w3c.dom.Element |
getAsDOM(org.w3c.dom.Document document)
get as XML
|
java.lang.String |
getString()
gets the Java string represented by this term, it
normally does not return the same string as toString
(which enclose the string by quotes)
|
boolean |
isString() |
int |
length() |
static StringTerm |
parseString(java.lang.String sTerm) |
java.lang.String |
toString() |
capply, countVars, getCyclicVar, getErrorMsg, getSrcInfo, hashCode, hasVar, isArithExpr, isAtom, isCyclicTerm, isGround, isInternalAction, isList, isLiteral, isNumeric, isPlanBody, isPred, isRule, 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, isNumeric, isPlanBody, isPred, isRule, isStructure, isUnnamedVar, isVar, setSrcInfo, subsumes
public StringTermImpl()
public StringTermImpl(java.lang.String fs)
public StringTermImpl(StringTermImpl t)
public java.lang.String getString()
StringTerm
getString
in interface StringTerm
public StringTerm clone()
clone
in interface Term
clone
in class DefaultTerm
public static StringTerm parseString(java.lang.String sTerm)
public boolean isString()
isString
in interface Term
isString
in class DefaultTerm
public int length()
length
in interface StringTerm
public boolean equals(java.lang.Object t)
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