Package jason.asSyntax

Class VarTerm

java.lang.Object

jason.asSyntax.DefaultTerm

jason.asSyntax.Literal

jason.asSyntax.Atom

jason.asSyntax.Structure

jason.asSyntax.Pred

jason.asSyntax.LiteralImpl

jason.asSyntax.VarTerm

All Implemented Interfaces:

ListTerm, LogicalFormula, NumberTerm, Term, ToDOM, ToJson, Serializable, Cloneable, Comparable<Term>, Iterable<Term>, Collection<Term>, List<Term>, SequencedCollection<Term>

Direct Known Subclasses:

UnnamedVar

public class VarTerm
extends LiteralImpl
implements NumberTerm, ListTerm

Represents a variable Term: like X (starts with upper case). It may have a value, after VarTerm.apply. An object of this class can be used in place of a Literal, Number, List, String, .... It behaves like a Literal, Number, .... just in case its value is a Literal, Number, ...

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

Fields inherited from interface jason.asSyntax.ListTerm

EMPTY_LIST

Constructor Summary

Constructors

Constructor	Description
VarTerm(Atom namespace, Literal v)
VarTerm(Atom namespace, String functor)
VarTerm(String s)

Method Summary

Modifier and Type	Method	Description
void	add(int index, Term o)
boolean	add(Term o)
boolean	addAll(int index, Collection c)
boolean	addAll(Collection c)
void	addTerm(Term t)
Literal	addTerms(List<Term> l)	adds some terms and return this
ListTerm	append(Term t)
protected int	calcHashCode()
boolean	canBeAddedInBB()	to be overridden by subclasses (as internal action)
Term	capply(Unifier u)	clone and applies together (and faster than clone and then apply)
void	clear()
Term	clone()	make a deep copy of the terms
ListTerm	cloneLT()	clone the list term
ListTerm	cloneLTShallow()	make a shallow copy of the list (terms are not cloned, only the structure)
Literal	cloneNS(Atom newNameSpace)	clone in another namespace
int	compareTo(Term t)
ListTerm	concat(ListTerm lt)
boolean	contains(Object o)
boolean	containsAll(Collection c)
void	countVars(Map<VarTerm,Integer> c)
ListTerm	difference(ListTerm lt)
boolean	equals(Object t)
Term	get(int index)
int	getArity()	returns the number of terms of this literal
Element	getAsDOM(Document document)	get as XML
List<Term>	getAsList()
ListTerm	getLast()
ListTerm	getNext()
ListTerm	getPenultimate()
VarTerm	getTail()
Term	getTerm()
Term	getTerm(int i)	returns the i-th term (first term is 0)
List<Term>	getTerms()	returns all terms of this literal
boolean	hasVar(VarTerm t, Unifier u)
int	indexOf(Object o)
ListTerm	insert(Term t)
ListTerm	intersection(ListTerm lt)
boolean	isArithExpr()
boolean	isAtom()
boolean	isCyclicTerm()
boolean	isEmpty()
boolean	isEnd()
boolean	isGround()
boolean	isInternalAction()
boolean	isList()
boolean	isLiteral()
boolean	isNumeric()
boolean	isPlanBody()
boolean	isPred()
boolean	isRule()
boolean	isString()
boolean	isStructure()
boolean	isTail()
boolean	isUnnamedVar()
boolean	isVar()
Iterator<Term>	iterator()
int	lastIndexOf(Object o)
ListIterator<Term>	listIterator()
ListIterator<Term>	listIterator(int index)
Iterator<ListTerm>	listTermIterator()
Iterator<Unifier>	logicalConsequence(Agent ag, Unifier un)	logicalConsequence checks whether one particular predicate is a logical consequence of the belief base.
static VarTerm	parseVar(String sVar)	Deprecated. prefer ASSyntax.parseVar(...)
Term	remove(int index)
boolean	remove(Object o)
boolean	removeAll(Collection c)
Term	removeLast()
boolean	retainAll(Collection c)
ListTerm	reverse()
Term	set(int index, Term o)
void	setNext(Term t)
void	setTail(VarTerm v)
void	setTerm(int i, Term t)
void	setTerm(Term t)
Literal	setTerms(List<Term> l)	set all terms of the literal and return this
int	size()
double	solve()	returns the numeric value of the term
List<Term>	subList(int arg0, int arg1)
Iterator<List<Term>>	subSets(int k)	returns all subsets that take k elements of this list
boolean	subsumes(Term t)
Object[]	toArray()
Object[]	toArray(Object[] arg0)
ListTerm	union(ListTerm lt)

Methods inherited from class jason.asSyntax.LiteralImpl

getErrorMsg, getPredicateIndicator, negated, setNegated

Methods inherited from class jason.asSyntax.Pred

addAnnot, addAnnots, addAnnots, addSource, capplyAnnots, clearAnnots, createSource, delAnnot, delAnnots, delSource, delSources, equalsAsStructure, getAnnot, getAnnots, getAnnots, getSources, hasAnnot, hasAnnot, hasSource, hasSource, hasSubsetAnnot, hasSubsetAnnot, importAnnots, makeVarsAnnon, parsePred, setAnnots, toStringAsTerm

Methods inherited from class jason.asSyntax.Structure

addTerms, delTerm, getSingletonVars, getTermsSize, hasTerm, isUnary, makeTermsAnnon, makeVarsAnnon, parse, toString, varToReplace

Methods inherited from class jason.asSyntax.Atom

getFunctor, getNS

Methods inherited from class jason.asSyntax.Literal

addSourceInfoAsAnnots, copy, delAnnots, forceFullLiteralImpl, getAsJson, getAsListOfTerms, getTermsArray, newFromListOfTerms, newFunctor, noSource, parseLiteral, subjectToBUF

Methods inherited from class jason.asSyntax.DefaultTerm

getCyclicVar, getSrcInfo, hashCode, isMap, isSet, resetHashCodeCache, setSrcInfo

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface java.util.List

addFirst, addLast, getFirst, hashCode, removeFirst, replaceAll, reversed, sort, spliterator

Methods inherited from interface jason.asSyntax.Term

getCyclicVar, getSrcInfo, isMap, isSet, setSrcInfo

Methods inherited from interface jason.util.ToJson

getAsJson, getAsJsonStr

Constructor Details

VarTerm

public VarTerm(String s)

VarTerm

public VarTerm(Atom namespace,
 String functor)

VarTerm

public VarTerm(Atom namespace,
 Literal v)

Method Details

parseVar

@Deprecated
public static VarTerm parseVar(String sVar)

Deprecated.

prefer ASSyntax.parseVar(...)

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 LiteralImpl

clone

public Term clone()

Description copied from class: Structure

make a deep copy of the terms

Specified by:

clone in interface Term

Overrides:

clone in class LiteralImpl

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 LiteralImpl

cloneLT

public ListTerm cloneLT()

Description copied from interface: ListTerm

clone the list term

Specified by:

cloneLT in interface ListTerm

isVar

public boolean isVar()

Specified by:

isVar in interface Term

Overrides:

isVar in class DefaultTerm

isUnnamedVar

public boolean isUnnamedVar()

Specified by:

isUnnamedVar in interface Term

Overrides:

isUnnamedVar in class DefaultTerm

isGround

public boolean isGround()

Specified by:

isGround in interface Term

Overrides:

isGround in class Pred

equals

public boolean equals(Object t)

Specified by:

equals in interface Collection<Term>

Specified by:

equals in interface List<Term>

Specified by:

equals in interface Term

Overrides:

equals in class LiteralImpl

calcHashCode

protected int calcHashCode()

Overrides:

calcHashCode in class LiteralImpl

compareTo

public int compareTo(Term t)

Specified by:

compareTo in interface Comparable<Term>

Overrides:

compareTo in class Atom

subsumes

public boolean subsumes(Term t)

Specified by:

subsumes in interface Term

Overrides:

subsumes 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

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

addTerm

public void addTerm(Term t)

Overrides:

addTerm in class Structure

getArity

public int getArity()

Description copied from class: Literal

returns the number of terms of this literal

Overrides:

getArity in class Structure

getTerms

public List<Term> getTerms()

Description copied from class: Literal

returns all terms of this literal

Overrides:

getTerms in class Structure

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 Structure

setTerm

public void setTerm(int i,
 Term t)

Overrides:

setTerm in class Structure

addTerms

public Literal addTerms(List<Term> l)

Description copied from class: Literal

adds some terms and return this

Overrides:

addTerms in class Structure

isInternalAction

public boolean isInternalAction()

Specified by:

isInternalAction in interface Term

Overrides:

isInternalAction in class DefaultTerm

isList

public boolean isList()

Specified by:

isList in interface Term

Overrides:

isList in class DefaultTerm

isString

public boolean isString()

Specified by:

isString in interface Term

Overrides:

isString in class DefaultTerm

isPlanBody

public boolean isPlanBody()

Specified by:

isPlanBody in interface Term

Overrides:

isPlanBody in class DefaultTerm

isNumeric

public boolean isNumeric()

Specified by:

isNumeric in interface Term

Overrides:

isNumeric in class DefaultTerm

isPred

public boolean isPred()

Specified by:

isPred in interface Term

Overrides:

isPred in class Pred

isLiteral

public boolean isLiteral()

Specified by:

isLiteral in interface Term

Overrides:

isLiteral in class Literal

isStructure

public boolean isStructure()

Specified by:

isStructure in interface Term

Overrides:

isStructure in class Structure

isAtom

public boolean isAtom()

Specified by:

isAtom in interface Term

Overrides:

isAtom in class LiteralImpl

isRule

public boolean isRule()

Specified by:

isRule in interface Term

Overrides:

isRule in class DefaultTerm

isArithExpr

public boolean isArithExpr()

Specified by:

isArithExpr in interface Term

Overrides:

isArithExpr in class DefaultTerm

isCyclicTerm

public boolean isCyclicTerm()

Specified by:

isCyclicTerm in interface Term

Overrides:

isCyclicTerm in class DefaultTerm

hasVar

public boolean hasVar(VarTerm t,
 Unifier u)

Specified by:

hasVar in interface Term

Overrides:

hasVar in class Pred

countVars

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

Specified by:

countVars in interface Term

Overrides:

countVars in class Pred

canBeAddedInBB

public boolean canBeAddedInBB()

Description copied from class: LiteralImpl

to be overridden by subclasses (as internal action)

Overrides:

canBeAddedInBB in class LiteralImpl

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

add

public void add(int index,
 Term o)

Specified by:

add in interface List<Term>

add

public boolean add(Term o)

Specified by:

add in interface Collection<Term>

Specified by:

add in interface List<Term>

addAll

public boolean addAll(Collection c)

Specified by:

addAll in interface Collection<Term>

Specified by:

addAll in interface List<Term>

addAll

public boolean addAll(int index,
 Collection c)

Specified by:

addAll in interface List<Term>

clear

public void clear()

Specified by:

clear in interface Collection<Term>

Specified by:

clear in interface List<Term>

contains

public boolean contains(Object o)

Specified by:

contains in interface Collection<Term>

Specified by:

contains in interface List<Term>

containsAll

public boolean containsAll(Collection c)

Specified by:

containsAll in interface Collection<Term>

Specified by:

containsAll in interface List<Term>

get

public Term get(int index)

Specified by:

get in interface List<Term>

indexOf

public int indexOf(Object o)

Specified by:

indexOf in interface List<Term>

lastIndexOf

public int lastIndexOf(Object o)

Specified by:

lastIndexOf in interface List<Term>

iterator

public Iterator<Term> iterator()

Specified by:

iterator in interface Collection<Term>

Specified by:

iterator in interface Iterable<Term>

Specified by:

iterator in interface List<Term>

listIterator

public ListIterator<Term> listIterator()

Specified by:

listIterator in interface List<Term>

listIterator

public ListIterator<Term> listIterator(int index)

Specified by:

listIterator in interface List<Term>

remove

public Term remove(int index)

Specified by:

remove in interface List<Term>

remove

public boolean remove(Object o)

Specified by:

remove in interface Collection<Term>

Specified by:

remove in interface List<Term>

removeAll

public boolean removeAll(Collection c)

Specified by:

removeAll in interface Collection<Term>

Specified by:

removeAll in interface List<Term>

retainAll

public boolean retainAll(Collection c)

Specified by:

retainAll in interface Collection<Term>

Specified by:

retainAll in interface List<Term>

set

public Term set(int index,
 Term o)

Specified by:

set in interface List<Term>

subList

public List<Term> subList(int arg0,
 int arg1)

Specified by:

subList in interface List<Term>

subSets

public Iterator<List<Term>> subSets(int k)

Description copied from interface: ListTerm

returns all subsets that take k elements of this list

Specified by:

subSets in interface ListTerm

toArray

public Object[] toArray()

Specified by:

toArray in interface Collection<Term>

Specified by:

toArray in interface List<Term>

toArray

public Object[] toArray(Object[] arg0)

Specified by:

toArray in interface Collection<Term>

Specified by:

toArray in interface List<Term>

setTerm

public void setTerm(Term t)

Specified by:

setTerm in interface ListTerm

setNext

public void setNext(Term t)

Specified by:

setNext in interface ListTerm

append

public ListTerm append(Term t)

Specified by:

append in interface ListTerm

insert

public ListTerm insert(Term t)

Specified by:

insert in interface ListTerm

concat

public ListTerm concat(ListTerm lt)

Specified by:

concat in interface ListTerm

reverse

public ListTerm reverse()

Specified by:

reverse in interface ListTerm

union

public ListTerm union(ListTerm lt)

Specified by:

union in interface ListTerm

intersection

public ListTerm intersection(ListTerm lt)

Specified by:

intersection in interface ListTerm

difference

public ListTerm difference(ListTerm lt)

Specified by:

difference in interface ListTerm

getAsList

public List<Term> getAsList()

Specified by:

getAsList in interface ListTerm

getLast

public ListTerm getLast()

Specified by:

getLast in interface List<Term>

Specified by:

getLast in interface ListTerm

Specified by:

getLast in interface SequencedCollection<Term>

getPenultimate

public ListTerm getPenultimate()

Specified by:

getPenultimate in interface ListTerm

removeLast

public Term removeLast()

Specified by:

removeLast in interface List<Term>

Specified by:

removeLast in interface ListTerm

Specified by:

removeLast in interface SequencedCollection<Term>

getNext

public ListTerm getNext()

Specified by:

getNext in interface ListTerm

getTerm

public Term getTerm()

Specified by:

getTerm in interface ListTerm

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Collection<Term>

Specified by:

isEmpty in interface List<Term>

isEnd

public boolean isEnd()

Specified by:

isEnd in interface ListTerm

isTail

public boolean isTail()

Specified by:

isTail in interface ListTerm

setTail

public void setTail(VarTerm v)

Specified by:

setTail in interface ListTerm

getTail

public VarTerm getTail()

Specified by:

getTail in interface ListTerm

listTermIterator

public Iterator<ListTerm> listTermIterator()

Specified by:

listTermIterator in interface ListTerm

size

public int size()

Specified by:

size in interface Collection<Term>

Specified by:

size in interface List<Term>

cloneLTShallow

public ListTerm cloneLTShallow()

Description copied from interface: ListTerm

make a shallow copy of the list (terms are not cloned, only the structure)

Specified by:

cloneLTShallow in interface ListTerm

getAsDOM

public Element getAsDOM(Document document)

get as XML

Specified by:

getAsDOM in interface ToDOM

Overrides:

getAsDOM in class LiteralImpl