Package jason.asSyntax

Class PlanBodyImpl

java.lang.Object

jason.asSyntax.DefaultTerm

jason.asSyntax.Literal

jason.asSyntax.Atom

jason.asSyntax.Structure

jason.asSyntax.PlanBodyImpl

All Implemented Interfaces:

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

public class PlanBodyImpl
extends Structure
implements PlanBody, Iterable<PlanBody>

Represents a plan body item (achieve, test, action, ...) and its successors. A plan body like a1; ?t; !g is represented by the following structure (a1, (?t, (!g, ()))).

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface jason.asSyntax.PlanBody

PlanBody.BodyType

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
PlanBodyImpl()	constructor for empty plan body
PlanBodyImpl(PlanBody.BodyType t)
PlanBodyImpl(PlanBody.BodyType t, boolean planTerm)
PlanBodyImpl(PlanBody.BodyType t, Term b)
PlanBodyImpl(PlanBody.BodyType t, Term b, boolean planTerm)

Method Summary

Modifier and Type	Method	Description
boolean	add(int index, PlanBody bl)
boolean	add(PlanBody bl)	clone the plan body and adds it in the end of this plan
int	calcHashCode()
PlanBody	capply(Unifier u)	clone and applies together (and faster than clone and then apply)
PlanBody	clone()	make a deep copy of the terms
PlanBody	clonePB()	clone the plan body
boolean	equals(Object o)
int	getArity()	returns the number of terms of this literal
Element	getAsDOM(Document document)	get as XML
PlanBody	getBodyNext()
Term	getBodyTerm()
PlanBody.BodyType	getBodyType()
PlanBody	getHead()
PlanBody	getLastBody()
int	getPlanSize()
Term	getTerm(int i)	returns the i-th term (first term is 0)
List<Term>	getTerms()	returns all terms of this literal
boolean	isAtom()
boolean	isBodyTerm()
boolean	isEmptyBody()
boolean	isPlanBody()
Iterator<PlanBody>	iterator()
Iterator<Unifier>	logicalConsequence(Agent ag, Unifier un)	logicalConsequence checks whether one particular predicate is a logical consequence of the belief base.
Term	removeBody(int index)
void	setAsBodyTerm(boolean b)
void	setBodyNext(PlanBody next)
void	setBodyTerm(Term t)
void	setBodyType(PlanBody.BodyType bt)
void	setTerm(int i, Term t)
String	toString()

Methods inherited from class jason.asSyntax.Structure

addTerm, addTerms, addTerms, cloneNS, countVars, delTerm, getSingletonVars, getTermsSize, hasTerm, hasVar, isGround, isStructure, isUnary, makeTermsAnnon, makeVarsAnnon, makeVarsAnnon, parse, 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, 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, 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 java.lang.Iterable

forEach, spliterator

Methods inherited from interface jason.asSyntax.Term

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

Methods inherited from interface jason.util.ToJson

getAsJson, getAsJsonStr

Constructor Details

PlanBodyImpl

public PlanBodyImpl()

constructor for empty plan body

PlanBodyImpl

public PlanBodyImpl(PlanBody.BodyType t)

PlanBodyImpl

public PlanBodyImpl(PlanBody.BodyType t,
 boolean planTerm)

PlanBodyImpl

public PlanBodyImpl(PlanBody.BodyType t,
 Term b)

PlanBodyImpl

public PlanBodyImpl(PlanBody.BodyType t,
 Term b,
 boolean planTerm)

Method Details

setBodyNext

public void setBodyNext(PlanBody next)

Specified by:

setBodyNext in interface PlanBody

getBodyNext

public PlanBody getBodyNext()

Specified by:

getBodyNext in interface PlanBody

isEmptyBody

public boolean isEmptyBody()

Specified by:

isEmptyBody in interface PlanBody

getBodyType

public PlanBody.BodyType getBodyType()

Specified by:

getBodyType in interface PlanBody

setBodyType

public void setBodyType(PlanBody.BodyType bt)

Specified by:

setBodyType in interface PlanBody

getBodyTerm

public Term getBodyTerm()

Specified by:

getBodyTerm in interface PlanBody

getHead

public PlanBody getHead()

Specified by:

getHead in interface PlanBody

setBodyTerm

public void setBodyTerm(Term t)

Specified by:

setBodyTerm in interface PlanBody

isBodyTerm

public boolean isBodyTerm()

Specified by:

isBodyTerm in interface PlanBody

isAtom

public boolean isAtom()

Specified by:

isAtom in interface Term

Overrides:

isAtom in class Structure

setAsBodyTerm

public void setAsBodyTerm(boolean b)

Specified by:

setAsBodyTerm in interface PlanBody

isPlanBody

public boolean isPlanBody()

Specified by:

isPlanBody in interface Term

Overrides:

isPlanBody in class DefaultTerm

iterator

public Iterator<PlanBody> iterator()

Specified by:

iterator in interface Iterable<PlanBody>

getArity

public int getArity()

Description copied from class: Literal

returns the number of terms of this literal

Overrides:

getArity in class Structure

getTerm

public Term getTerm(int i)

Description copied from class: Literal

returns the i-th term (first term is 0)

Overrides:

getTerm in class Structure

getTerms

public List<Term> getTerms()

Description copied from class: Literal

returns all terms of this literal

Overrides:

getTerms in class Structure

setTerm

public void setTerm(int i,
 Term t)

Overrides:

setTerm in class Structure

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

Specified by:

equals in interface Term

Overrides:

equals in class Structure

calcHashCode

public int calcHashCode()

Overrides:

calcHashCode in class Structure

add

public boolean add(PlanBody bl)

clone the plan body and adds it in the end of this plan

Specified by:

add in interface PlanBody

getLastBody

public PlanBody getLastBody()

Specified by:

getLastBody in interface PlanBody

add

public boolean add(int index,
 PlanBody bl)

Specified by:

add in interface PlanBody

removeBody

public Term removeBody(int index)

Specified by:

removeBody in interface PlanBody

getPlanSize

public int getPlanSize()

Specified by:

getPlanSize in interface PlanBody

capply

public PlanBody capply(Unifier u)

Description copied from interface: Term

clone and applies together (and faster than clone and then apply)

Specified by:

capply in interface Term

Overrides:

capply in class Structure

clone

public PlanBody clone()

Description copied from class: Structure

make a deep copy of the terms

Specified by:

clone in interface Term

Overrides:

clone in class Structure

clonePB

public PlanBody clonePB()

Description copied from interface: PlanBody

clone the plan body

Specified by:

clonePB in interface PlanBody

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