Package jason.asSyntax

Class ArithFunctionTerm

java.lang.Object

jason.asSyntax.DefaultTerm

jason.asSyntax.Literal

jason.asSyntax.Atom

jason.asSyntax.Structure

jason.asSyntax.ArithFunctionTerm

All Implemented Interfaces:

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

Direct Known Subclasses:

ArithExpr

public class ArithFunctionTerm
extends Structure
implements NumberTerm

Represents an arithmetic function, like math.max(arg1,arg2) -- a functor (math.max) and two arguments. A Structure is thus used to store the data.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected NumberTerm	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
ArithFunctionTerm(ArithFunction function)
ArithFunctionTerm(ArithFunctionTerm af)
ArithFunctionTerm(String functor, int arity)

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 deep copy of the terms
Literal	cloneNS(Atom newnamespace)	clone in another namespace
int	compareTo(Term o)
boolean	equals(Object t)
Agent	getAgent()
Element	getAsDOM(Document document)	get as XML
String	getErrorMsg()
boolean	isArithExpr()
boolean	isAtom()
boolean	isLiteral()
boolean	isNumeric()
boolean	isStructure()
Iterator<Unifier>	logicalConsequence(Agent ag, Unifier un)	logicalConsequence checks whether one particular predicate is a logical consequence of the belief base.
void	setAgent(Agent ag)
double	solve()	returns the numeric value of the term

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, toString, 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 jason.asSyntax.Term

countVars, getCyclicVar, getSrcInfo, hasVar, isCyclicTerm, isGround, isInternalAction, isList, isMap, isPlanBody, isPred, isRule, isSet, isString, isUnnamedVar, isVar, setSrcInfo, subsumes

Methods inherited from interface jason.util.ToJson

getAsJson, getAsJsonStr

Field Details

value

protected NumberTerm value

Constructor Details

ArithFunctionTerm

public ArithFunctionTerm(ArithFunction function)

ArithFunctionTerm

public ArithFunctionTerm(ArithFunctionTerm af)

ArithFunctionTerm

public ArithFunctionTerm(String functor,
 int arity)

Method Details

isNumeric

public boolean isNumeric()

Specified by:

isNumeric in interface Term

Overrides:

isNumeric in class DefaultTerm

isAtom

public boolean isAtom()

Specified by:

isAtom in interface Term

Overrides:

isAtom in class Structure

isStructure

public boolean isStructure()

Specified by:

isStructure in interface Term

Overrides:

isStructure in class Structure

isLiteral

public boolean isLiteral()

Specified by:

isLiteral in interface Term

Overrides:

isLiteral in class Literal

isArithExpr

public boolean isArithExpr()

Specified by:

isArithExpr in interface Term

Overrides:

isArithExpr in class DefaultTerm

setAgent

public void setAgent(Agent ag)

getAgent

public Agent getAgent()

capply

public Term capply(Unifier u)

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

Specified by:

capply in interface Term

Overrides:

capply in class Structure

solve

public double solve()
             throws NoValueException

Description copied from interface: NumberTerm

returns the numeric value of the term

Specified by:

solve in interface NumberTerm

Throws:

NoValueException

checkArity

public boolean checkArity(int a)

logicalConsequence

public Iterator<Unifier> logicalConsequence(Agent ag,
 Unifier un)

Description copied from class: Literal

logicalConsequence checks whether one particular predicate is a logical consequence of the belief base. Returns an iterator for all unifiers that are logCons.

Specified by:

logicalConsequence in interface LogicalFormula

Overrides:

logicalConsequence in class Literal

equals

public boolean equals(Object t)

Specified by:

equals in interface Term

Overrides:

equals in class Structure

compareTo

public int compareTo(Term o)

Specified by:

compareTo in interface Comparable<Term>

Overrides:

compareTo in class Atom

getErrorMsg

public String getErrorMsg()

Overrides:

getErrorMsg in class DefaultTerm

clone

public NumberTerm clone()

Description copied from class: Structure

make a deep copy of the terms

Specified by:

clone in interface Term

Overrides:

clone in class Structure

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 Structure

getAsDOM

public Element getAsDOM(Document document)

Description copied from class: Structure

get as XML

Specified by:

getAsDOM in interface ToDOM

Overrides:

getAsDOM in class Structure