Package jason.asSyntax

Class Structure

java.lang.Object

jason.asSyntax.DefaultTerm

jason.asSyntax.Literal

jason.asSyntax.Atom

jason.asSyntax.Structure

All Implemented Interfaces:

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

Direct Known Subclasses:

ArithFunctionTerm, BinaryStructure, InternalActionLiteral, ListTermImpl, Plan, PlanBodyImpl, Pred, Trigger

public class Structure
extends Atom

Represents a structure: a functor with n arguments, e.g.: val(10,x(3)).

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected static final Term[]	emptyTermArray
protected static final List<Term>	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

Modifier	Constructor	Description
	Structure(Atom namespace, Literal l)
	Structure(Atom namespace, String functor)
	Structure(Literal l)
protected	Structure(Literal l, Unifier u)
	Structure(String functor)
	Structure(String functor, int termsSize)	Create a structure with a defined number of terms.

Method Summary

Modifier and Type	Method	Description
void	addTerm(Term t)
Literal	addTerms(Term... ts)	adds some terms and return this
Literal	addTerms(List<Term> l)	adds some terms and return this
protected int	calcHashCode()
Term	capply(Unifier u)	clone and applies together (and faster than clone and then apply)
Term	clone()	make a deep copy of the terms
Literal	cloneNS(Atom newnamespace)	clone in another namespace
void	countVars(Map<VarTerm,Integer> c)
void	delTerm(int index)
boolean	equals(Object t)
int	getArity()	returns the number of terms of this literal
Element	getAsDOM(Document document)	get as XML
List<VarTerm>	getSingletonVars()	returns all singleton vars (that appears once) in this literal
Term	getTerm(int i)	returns the i-th term (first term is 0)
List<Term>	getTerms()	returns all terms of this literal
int	getTermsSize()	Deprecated. use getArity
boolean	hasTerm()	returns true if this literal has some term
boolean	hasVar(VarTerm t, Unifier u)
boolean	isAtom()
boolean	isGround()
boolean	isStructure()
boolean	isUnary()
void	makeTermsAnnon()	replaces all terms by unnamed variables (_).
Literal	makeVarsAnnon()	replaces all variables by unnamed variables (_).
Literal	makeVarsAnnon(Unifier un)	replaces all variables of the term for unnamed variables (_).
static Structure	parse(String sTerm)
void	setTerm(int i, Term t)
Literal	setTerms(List<Term> l)	set all terms of the literal and return this
boolean	subsumes(Term t)
String	toString()
VarTerm	varToReplace(Term t, Unifier un)

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

Field Details

emptyTermList

protected static final List<Term> emptyTermList

emptyTermArray

protected static final Term[] emptyTermArray

Constructor Details

Structure

public Structure(String functor)

Structure

public Structure(Literal l)

Structure

public Structure(Atom namespace,
 String functor)

Structure

public Structure(Atom namespace,
 Literal l)

Structure

protected Structure(Literal l,
 Unifier u)

Structure

public Structure(String functor,
 int termsSize)

Create a structure with a defined number of terms. It is used by list term, plan body, ... to not create the array list for terms.

Method Details

parse

public static Structure parse(String sTerm)

calcHashCode

protected int calcHashCode()

Overrides:

calcHashCode in class Atom

equals

public boolean equals(Object t)

Specified by:

equals in interface Term

Overrides:

equals in class Atom

subsumes

public boolean subsumes(Term t)

Specified by:

subsumes in interface Term

Overrides:

subsumes in class DefaultTerm

capply

public Term 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 Atom

clone

public Term clone()

make a deep copy of the terms

Specified by:

clone in interface Term

Overrides:

clone in class Atom

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 Atom

addTerm

public void addTerm(Term t)

Overrides:

addTerm in class Literal

delTerm

public void delTerm(int index)

Overrides:

delTerm in class Literal

addTerms

public Literal addTerms(Term... ts)

Description copied from class: Literal

adds some terms and return this

Overrides:

addTerms in class Literal

addTerms

public Literal addTerms(List<Term> l)

Description copied from class: Literal

adds some terms and return this

Overrides:

addTerms in class Literal

setTerms

public Literal setTerms(List<Term> l)

Description copied from class: Literal

set all terms of the literal and return this

Overrides:

setTerms in class Literal

setTerm

public void setTerm(int i,
 Term t)

Overrides:

setTerm in class Literal

getTerm

public Term getTerm(int i)

Description copied from class: Literal

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

Overrides:

getTerm in class Literal

getArity

public int getArity()

Description copied from class: Literal

returns the number of terms of this literal

Overrides:

getArity in class Literal

getTermsSize

@Deprecated
public int getTermsSize()

Deprecated.

use getArity

getTerms

public List<Term> getTerms()

Description copied from class: Literal

returns all terms of this literal

Overrides:

getTerms in class Literal

hasTerm

public boolean hasTerm()

Description copied from class: Literal

returns true if this literal has some term

Overrides:

hasTerm in class Literal

isStructure

public boolean isStructure()

Specified by:

isStructure in interface Term

Overrides:

isStructure in class DefaultTerm

isAtom

public boolean isAtom()

Specified by:

isAtom in interface Term

Overrides:

isAtom in class Atom

isGround

public boolean isGround()

Specified by:

isGround in interface Term

Overrides:

isGround in class DefaultTerm

isUnary

public boolean isUnary()

makeVarsAnnon

public Literal makeVarsAnnon()

Description copied from class: Literal

replaces all variables by unnamed variables (_).

Overrides:

makeVarsAnnon in class Literal

makeVarsAnnon

public Literal makeVarsAnnon(Unifier un)

Description copied from class: Literal

replaces all variables of the term for unnamed variables (_).

Overrides:

makeVarsAnnon in class Literal

Parameters:

un - is the unifier that contains the map of replacements

varToReplace

public VarTerm varToReplace(Term t,
 Unifier un)

makeTermsAnnon

public void makeTermsAnnon()

Description copied from class: Literal

replaces all terms by unnamed variables (_).

Overrides:

makeTermsAnnon in class Literal

hasVar

public boolean hasVar(VarTerm t,
 Unifier u)

Specified by:

hasVar in interface Term

Overrides:

hasVar in class DefaultTerm

getSingletonVars

public List<VarTerm> getSingletonVars()

Description copied from class: Literal

returns all singleton vars (that appears once) in this literal

Overrides:

getSingletonVars in class Literal

countVars

public void countVars(Map<VarTerm,Integer> c)

Specified by:

countVars in interface Term

Overrides:

countVars in class DefaultTerm

toString

public String toString()

Overrides:

toString in class Atom

getAsDOM

public Element getAsDOM(Document document)

get as XML

Specified by:

getAsDOM in interface ToDOM

Overrides:

getAsDOM in class Atom