Package jason.asSyntax

Class ArithExpr

java.lang.Object

jason.asSyntax.DefaultTerm

jason.asSyntax.Literal

jason.asSyntax.Atom

jason.asSyntax.Structure

jason.asSyntax.ArithFunctionTerm

jason.asSyntax.ArithExpr

All Implemented Interfaces:

LogicalFormula, NumberTerm, Term, ToDOM, ToJson, Serializable, Cloneable, Comparable<Term>

public class ArithExpr
extends ArithFunctionTerm
implements NumberTerm

Represents and solve arithmetic expressions like "10 + 30".

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	ArithExpr.ArithmeticOp

Field Summary

Fields inherited from class jason.asSyntax.ArithFunctionTerm

value

Fields inherited from class jason.asSyntax.Structure

emptyTermArray, emptyTermList

Fields inherited from class jason.asSyntax.Literal

DefaultNS, LFalse, LNeg, LPos, LTrue, predicateIndicatorCache

Fields inherited from class jason.asSyntax.DefaultTerm

hashCodeCache, srcInfo

Constructor Summary

Constructors

Constructor	Description
ArithExpr(ArithExpr.ArithmeticOp oper, NumberTerm t1)
ArithExpr(NumberTerm t1, ArithExpr.ArithmeticOp oper, NumberTerm t2)

Method Summary

Modifier and Type	Method	Description
Term	capply(Unifier u)	computes the value for this arithmetic function (as defined in the NumberTerm interface)
boolean	checkArity(int a)
NumberTerm	clone()	make a hard copy of the terms
Literal	cloneNS(Atom newnamespace)	clone in another namespace
Element	getAsDOM(Document document)	get as XML
NumberTerm	getLHS()	gets the LHS of this Expression
ArithExpr.ArithmeticOp	getOp()	gets the Operation of this Expression
NumberTerm	getRHS()	gets the RHS of this Expression
static NumberTerm	parseExpr(Agent ag, String sExpr)	returns some Term that can be evaluated as Number
static NumberTerm	parseExpr(String sExpr)	returns some Term that can be evaluated as Number
String	toString()

Methods inherited from class jason.asSyntax.ArithFunctionTerm

compareTo, equals, getAgent, getErrorMsg, isArithExpr, isAtom, isLiteral, isNumeric, isStructure, logicalConsequence, setAgent, solve

Methods inherited from class jason.asSyntax.Structure

addTerm, addTerms, addTerms, calcHashCode, countVars, delTerm, getArity, getSingletonVars, getTerm, getTerms, getTermsSize, hasTerm, hasVar, isGround, isUnary, makeTermsAnnon, makeVarsAnnon, makeVarsAnnon, parse, setTerm, setTerms, subsumes, varToReplace

Methods inherited from class jason.asSyntax.Atom

getFunctor, getNS

Methods inherited from class jason.asSyntax.Literal

addAnnot, addAnnots, addAnnots, addSource, addSourceInfoAsAnnots, canBeAddedInBB, clearAnnots, copy, delAnnot, delAnnots, delAnnots, delSource, delSources, equalsAsStructure, forceFullLiteralImpl, getAnnot, getAnnots, getAnnots, getAsJson, getAsListOfTerms, getPredicateIndicator, getSources, getTermsArray, hasAnnot, hasAnnot, hasSource, hasSource, hasSubsetAnnot, hasSubsetAnnot, importAnnots, negated, newFromListOfTerms, newFunctor, noSource, parseLiteral, setAnnots, setNegated, subjectToBUF

Methods inherited from class jason.asSyntax.DefaultTerm

getCyclicVar, getSrcInfo, hashCode, isCyclicTerm, isInternalAction, isList, isMap, isPlanBody, isPred, isRule, isSet, isString, isUnnamedVar, isVar, resetHashCodeCache, setSrcInfo

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface jason.asSyntax.NumberTerm

solve

Methods inherited from interface jason.asSyntax.Term

countVars, equals, getCyclicVar, getSrcInfo, hasVar, isArithExpr, isAtom, isCyclicTerm, isGround, isInternalAction, isList, isLiteral, isMap, isNumeric, isPlanBody, isPred, isRule, isSet, isString, isStructure, isUnnamedVar, isVar, setSrcInfo, subsumes

Methods inherited from interface jason.util.ToJson

getAsJson, getAsJsonStr

Constructor Details

ArithExpr

public ArithExpr(NumberTerm t1,
 ArithExpr.ArithmeticOp oper,
 NumberTerm t2)

ArithExpr

public ArithExpr(ArithExpr.ArithmeticOp oper,
 NumberTerm t1)

Method Details

parseExpr

public static NumberTerm parseExpr(String sExpr)

returns some Term that can be evaluated as Number

parseExpr

public static NumberTerm parseExpr(Agent ag,
 String sExpr)

returns some Term that can be evaluated as Number

capply

public Term capply(Unifier u)

Description copied from class: ArithFunctionTerm

computes the value for this arithmetic function (as defined in the NumberTerm interface)

Specified by:

capply in interface Term

Overrides:

capply in class ArithFunctionTerm

checkArity

public boolean checkArity(int a)

Overrides:

checkArity in class ArithFunctionTerm

clone

public NumberTerm clone()

make a hard copy of the terms

Specified by:

clone in interface Term

Overrides:

clone in class ArithFunctionTerm

cloneNS

public Literal cloneNS(Atom newnamespace)

Description copied from interface: Term

clone in another namespace

Specified by:

cloneNS in interface Term

Overrides:

cloneNS in class ArithFunctionTerm

getOp

public ArithExpr.ArithmeticOp getOp()

gets the Operation of this Expression

getLHS

public NumberTerm getLHS()

gets the LHS of this Expression

getRHS

public NumberTerm getRHS()

gets the RHS of this Expression

toString

public String toString()

Overrides:

toString in class Structure

getAsDOM

public Element getAsDOM(Document document)

get as XML

Specified by:

getAsDOM in interface ToDOM

Overrides:

getAsDOM in class ArithFunctionTerm