Package jason.asSyntax
Interface Term
- All Superinterfaces:
java.lang.Cloneable
,java.lang.Comparable<Term>
,java.io.Serializable
,ToDOM
,ToJson
- All Known Subinterfaces:
ListTerm
,LogicalFormula
,MapTerm
,NumberTerm
,ObjectTerm
,PlanBody
,SetTerm
,StringTerm
- All Known Implementing Classes:
ArithExpr
,ArithFunctionTerm
,Atom
,BinaryStructure
,CyclicTerm
,DefaultTerm
,InternalActionLiteral
,ListTermImpl
,Literal
,Literal.DefaultNameSpace
,Literal.FalseLiteral
,Literal.TrueLiteral
,LiteralImpl
,LogExpr
,MapTermImpl
,NumberTermImpl
,ObjectTermImpl
,Plan
,PlanBodyImpl
,Pred
,RelExpr
,Rule
,SetTermImpl
,StringTermImpl
,Structure
,Trigger
,UnnamedVar
,VarTerm
public interface Term extends java.lang.Cloneable, java.lang.Comparable<Term>, java.io.Serializable, ToDOM, ToJson
Common interface for all kind of terms
-
Method Summary
Modifier and Type Method Description Term
capply(Unifier u)
clone and applies together (and faster than clone and then apply)Term
clone()
Term
cloneNS(Atom newnamespace)
clone in another namespacevoid
countVars(java.util.Map<VarTerm,java.lang.Integer> c)
boolean
equals(java.lang.Object o)
VarTerm
getCyclicVar()
SourceInfo
getSrcInfo()
boolean
hasVar(VarTerm t, Unifier u)
boolean
isArithExpr()
boolean
isAtom()
boolean
isCyclicTerm()
boolean
isGround()
boolean
isInternalAction()
boolean
isList()
boolean
isLiteral()
boolean
isMap()
boolean
isNumeric()
boolean
isPlanBody()
boolean
isPred()
boolean
isRule()
boolean
isSet()
boolean
isString()
boolean
isStructure()
boolean
isUnnamedVar()
boolean
isVar()
void
setSrcInfo(SourceInfo s)
Removes the value cached for hashCodeboolean
subsumes(Term l)
Methods inherited from interface java.lang.Comparable
compareTo
Methods inherited from interface jason.util.ToJson
getAsJson, getAsJsonStr
-
Method Details
-
isVar
boolean isVar() -
isUnnamedVar
boolean isUnnamedVar() -
isLiteral
boolean isLiteral() -
isRule
boolean isRule() -
isList
boolean isList() -
isSet
boolean isSet() -
isMap
boolean isMap() -
isString
boolean isString() -
isInternalAction
boolean isInternalAction() -
isArithExpr
boolean isArithExpr() -
isNumeric
boolean isNumeric() -
isPred
boolean isPred() -
isGround
boolean isGround() -
isStructure
boolean isStructure() -
isAtom
boolean isAtom() -
isPlanBody
boolean isPlanBody() -
isCyclicTerm
boolean isCyclicTerm() -
hasVar
-
getCyclicVar
VarTerm getCyclicVar() -
countVars
-
clone
Term clone() -
equals
boolean equals(java.lang.Object o)- Overrides:
equals
in classjava.lang.Object
-
subsumes
-
capply
clone and applies together (and faster than clone and then apply) -
cloneNS
clone in another namespace -
setSrcInfo
Removes the value cached for hashCode -
getSrcInfo
SourceInfo getSrcInfo()
-