Package jason.asSyntax

Class BinaryStructure

java.lang.Object

jason.asSyntax.DefaultTerm

jason.asSyntax.Literal

jason.asSyntax.Atom

jason.asSyntax.Structure

jason.asSyntax.BinaryStructure

All Implemented Interfaces:

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

Direct Known Subclasses:

LogExpr, RelExpr

public abstract class BinaryStructure
extends Structure

Represents a binary/unary logical/relational operator.

See Also:

• Serialized Form

Field Summary

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
BinaryStructure(Term t1, String id, Term t2)	Constructor for binary operator
BinaryStructure(String id, Term arg)	Constructor for unary operator

Method Summary

Modifier and Type	Method	Description
Element	getAsDOM(Document document)	get as XML
Term	getLHS()	gets the LHS of this operation
Term	getRHS()	gets the RHS of this operation
String	toString()

Methods inherited from class jason.asSyntax.Structure

addTerm, addTerms, addTerms, calcHashCode, capply, clone, cloneNS, countVars, delTerm, equals, getArity, getSingletonVars, getTerm, getTerms, getTermsSize, hasTerm, hasVar, isAtom, isGround, isStructure, isUnary, makeTermsAnnon, makeVarsAnnon, makeVarsAnnon, parse, setTerm, setTerms, subsumes, varToReplace

Methods inherited from class jason.asSyntax.Atom

compareTo, 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, isLiteral, logicalConsequence, negated, newFromListOfTerms, newFunctor, noSource, parseLiteral, setAnnots, setNegated, subjectToBUF

Methods inherited from class jason.asSyntax.DefaultTerm

getCyclicVar, getErrorMsg, getSrcInfo, hashCode, isArithExpr, isCyclicTerm, isInternalAction, isList, isMap, isNumeric, 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

getCyclicVar, getSrcInfo, isArithExpr, isCyclicTerm, isInternalAction, isList, isMap, isNumeric, isPlanBody, isPred, isRule, isSet, isString, isUnnamedVar, isVar, setSrcInfo

Methods inherited from interface jason.util.ToJson

getAsJsonStr

Constructor Details

BinaryStructure

public BinaryStructure(Term t1,
 String id,
 Term t2)

Constructor for binary operator

BinaryStructure

public BinaryStructure(String id,
 Term arg)

Constructor for unary operator

Method Details

getLHS

public Term getLHS()

gets the LHS of this operation

getRHS

public Term getRHS()

gets the RHS of this operation

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 Structure