jason.asSyntax
Interface Term

All Superinterfaces:

java.lang.Cloneable, java.lang.Comparable<Term>, java.io.Serializable, ToDOM

All Known Subinterfaces:

ListTerm, LogicalFormula, NumberTerm, ObjectTerm, PlanBody, StringTerm

All Known Implementing Classes:

ArithExpr, ArithFunctionTerm, Atom, BinaryStructure, BodyLiteral, DefaultTerm, InternalActionLiteral, ListTermImpl, Literal, LiteralImpl, LogExpr, NumberTermImpl, ObjectTermImpl, Plan, PlanBodyImpl, Pred, RelExpr, Rule, StringTermImpl, Structure, Trigger, UnnamedVar, VarTerm

public interface Term
extends java.lang.Cloneable, java.lang.Comparable<Term>, java.io.Serializable, ToDOM

Common interface for all kind of terms

Method Summary

boolean	apply(Unifier u) replaces variables by their values in the unifier, returns true if some variable was applied
Term	clone()
void	countVars(java.util.Map<VarTerm,java.lang.Integer> c)
boolean	equals(java.lang.Object o)
SourceInfo	getSrcInfo()
boolean	hasVar(VarTerm t)
boolean	isArithExpr()
boolean	isAtom()
boolean	isGround()
boolean	isInternalAction()
boolean	isList()
boolean	isLiteral()
boolean	isNumeric()
boolean	isPlanBody()
boolean	isPred()
boolean	isRule()
boolean	isString()
boolean	isStructure()
boolean	isUnnamedVar()
boolean	isVar()
void	setSrcInfo(SourceInfo s) Removes the value cached for hashCode

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface jason.util.ToDOM

getAsDOM

Method Detail

isVar

boolean isVar()

isUnnamedVar

boolean isUnnamedVar()

isLiteral

boolean isLiteral()

isRule

boolean isRule()

isList

boolean isList()

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()

hasVar

boolean hasVar(VarTerm t)

countVars

void countVars(java.util.Map<VarTerm,java.lang.Integer> c)

clone

Term clone()

equals

boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

apply

boolean apply(Unifier u)

replaces variables by their values in the unifier, returns true if some variable was applied

setSrcInfo

void setSrcInfo(SourceInfo s)

Removes the value cached for hashCode

getSrcInfo

SourceInfo getSrcInfo()