|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object jason.asSyntax.DefaultTerm jason.asSyntax.Literal jason.asSyntax.Atom jason.asSyntax.Structure jason.asSyntax.Pred jason.asSyntax.LiteralImpl jason.asSyntax.VarTerm
public class VarTerm
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, ...
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 |
---|
LFalse, LNeg, LPos, LTrue, predicateIndicatorCache |
Fields inherited from class jason.asSyntax.DefaultTerm |
---|
hashCodeCache, srcInfo |
Constructor Summary | |
---|---|
VarTerm(java.lang.String s)
|
Method Summary | |
---|---|
boolean |
add(int index,
PlanBody bl)
|
void |
add(int index,
Term o)
|
boolean |
add(PlanBody bl)
|
boolean |
add(Term o)
|
boolean |
addAll(java.util.Collection c)
|
boolean |
addAll(int index,
java.util.Collection c)
|
boolean |
addAnnot(Term t)
|
Literal |
addAnnots(java.util.List<Term> l)
adds some annots and return this |
void |
addSource(Term t)
adds the annotation source(agName) |
void |
addTerm(Term t)
|
Literal |
addTerms(java.util.List<Term> l)
adds some terms and return this |
ListTerm |
append(Term t)
|
boolean |
apply(Unifier u)
replaces variables by their values in the unifier, returns true if some variable was applied |
boolean |
canBeAddedInBB()
to be overridden by subclasses (as internal action) |
void |
clear()
|
void |
clearAnnots()
removes all annotations |
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) |
PlanBody |
clonePB()
clone the plan body |
int |
compareTo(Term t)
|
ListTerm |
concat(ListTerm lt)
|
boolean |
contains(java.lang.Object o)
|
boolean |
containsAll(java.util.Collection c)
|
void |
countVars(java.util.Map<VarTerm,java.lang.Integer> c)
|
boolean |
delAnnot(Term t)
|
boolean |
delAnnots(java.util.List<Term> l)
removes all annots in this pred that are in the list l. |
boolean |
delSource(Term s)
deletes one source(agName) annotation, return true if deleted |
void |
delSources()
deletes all source annotations |
ListTerm |
difference(ListTerm lt)
|
boolean |
equals(java.lang.Object t)
|
Term |
get(int index)
|
ListTerm |
getAnnots()
returns all annotations of the literal |
int |
getArity()
returns the number of terms of this literal |
org.w3c.dom.Element |
getAsDOM(org.w3c.dom.Document document)
get as XML |
java.util.List<Term> |
getAsList()
|
PlanBody |
getBodyNext()
|
Term |
getBodyTerm()
|
PlanBody.BodyType |
getBodyType()
|
java.lang.String |
getFunctor()
returns the functor of this literal |
ListTerm |
getLast()
|
PlanBody |
getLastBody()
|
ListTerm |
getNext()
|
java.lang.Object |
getObject()
|
ListTerm |
getPenultimate()
|
int |
getPlanSize()
|
PredicateIndicator |
getPredicateIndicator()
returns [~] super.getPredicateIndicator |
ListTerm |
getSources()
returns the sources of this literal as a new list. |
java.lang.String |
getString()
gets the Java string represented by this term, it normally does not return the same string as toString (which enclose the string by quotes) |
VarTerm |
getTail()
|
Term |
getTerm()
|
Term |
getTerm(int i)
returns the i-th term (first term is 0) |
java.util.List<Term> |
getTerms()
returns all terms of this literal |
Term[] |
getTermsArray()
returns all terms of this literal as an array |
Term |
getValue()
returns the value of this var. |
boolean |
hasAnnot()
returns true if the pred has at least one annot |
boolean |
hasAnnot(Term t)
returns true if there is some annotation t in the literal |
int |
hashCode()
|
boolean |
hasSource()
returns true if this literal has some source annotation |
boolean |
hasSource(Term s)
returns true if this literal has a "source(agName)" |
boolean |
hasSubsetAnnot(Literal p)
returns true if all this predicate annots are in p's annots |
boolean |
hasSubsetAnnot(Literal p,
Unifier u)
Returns true if all this predicate's annots are in p's annots using the unifier u. |
boolean |
hasValue()
returns true if this var has a value |
boolean |
hasVar(VarTerm t)
|
boolean |
importAnnots(Literal p)
"import" annots from another predicate p. |
int |
indexOf(java.lang.Object o)
|
ListTerm |
insert(Term t)
|
ListTerm |
intersection(ListTerm lt)
|
boolean |
isArithExpr()
|
boolean |
isAtom()
|
boolean |
isBodyTerm()
|
boolean |
isEmpty()
|
boolean |
isEmptyBody()
|
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()
|
java.util.Iterator<Term> |
iterator()
|
int |
lastIndexOf(java.lang.Object o)
|
int |
length()
|
java.util.ListIterator<Term> |
listIterator()
|
java.util.ListIterator<Term> |
listIterator(int index)
|
java.util.Iterator<ListTerm> |
listTermIterator()
|
java.util.Iterator<Unifier> |
logicalConsequence(Agent ag,
Unifier un)
logicalConsequence checks whether one particular predicate is a logical consequence of the belief base. |
Literal |
makeVarsAnnon(Unifier un)
replaces all variables of the term for unnamed variables (_). |
boolean |
negated()
returns whether this literal is negated or not, use Literal.LNeg and Literal.LPos to compare the returned value |
static VarTerm |
parseVar(java.lang.String sVar)
Deprecated. prefer ASSyntax.parseVar(...) |
Term |
remove(int index)
|
boolean |
remove(java.lang.Object o)
|
boolean |
removeAll(java.util.Collection c)
|
Term |
removeBody(int index)
|
Term |
removeLast()
|
boolean |
retainAll(java.util.Collection c)
|
ListTerm |
reverse()
|
Term |
set(int index,
Term o)
|
Literal |
setAnnots(ListTerm l)
|
void |
setAsBodyTerm(boolean b)
|
void |
setBodyNext(PlanBody bl)
|
void |
setBodyTerm(Term t)
|
void |
setBodyType(PlanBody.BodyType bt)
|
void |
setNext(Term t)
|
void |
setTail(VarTerm v)
|
void |
setTerm(int i,
Term t)
|
void |
setTerm(Term t)
|
Literal |
setTerms(java.util.List<Term> l)
set all terms of the literal and return this |
boolean |
setValue(Term vl)
grounds a variable, set a value for this var (e.g. |
int |
size()
|
double |
solve()
returns the numeric value of the term |
java.util.List<Term> |
subList(int arg0,
int arg1)
|
java.util.Iterator<java.util.List<Term>> |
subSets(int k)
returns all subsets that take k elements of this list |
java.lang.Object[] |
toArray()
|
java.lang.Object[] |
toArray(java.lang.Object[] arg0)
|
java.lang.String |
toString()
|
ListTerm |
union(ListTerm lt)
|
Methods inherited from class jason.asSyntax.LiteralImpl |
---|
calcHashCode, getErrorMsg, setNegated |
Methods inherited from class jason.asSyntax.Pred |
---|
addAnnots, createSource, equalsAsStructure, getAnnots, parsePred, toStringAsTerm |
Methods inherited from class jason.asSyntax.Structure |
---|
addTerms, delTerm, getSingletonVars, getTermsSize, hasTerm, makeTermsAnnon, makeVarsAnnon, parse, varToReplace |
Methods inherited from class jason.asSyntax.Literal |
---|
copy, forceFullLiteralImpl, getAsListOfTerms, newFromListOfTerms, parseLiteral |
Methods inherited from class jason.asSyntax.DefaultTerm |
---|
getSrcInfo, resetHashCodeCache, setSrcInfo |
Methods inherited from class java.lang.Object |
---|
finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface jason.asSyntax.Term |
---|
getSrcInfo, setSrcInfo |
Constructor Detail |
---|
public VarTerm(java.lang.String s)
Method Detail |
---|
public static VarTerm parseVar(java.lang.String sVar)
public Term clone()
Structure
clone
in interface Term
clone
in class LiteralImpl
public PlanBody clonePB()
PlanBody
clonePB
in interface PlanBody
public ListTerm cloneLT()
ListTerm
cloneLT
in interface ListTerm
public boolean isVar()
isVar
in interface Term
isVar
in class DefaultTerm
public boolean isUnnamedVar()
isUnnamedVar
in interface Term
isUnnamedVar
in class DefaultTerm
public boolean isGround()
isGround
in interface Term
isGround
in class Pred
public boolean setValue(Term vl)
public boolean hasValue()
public boolean apply(Unifier u)
Term
apply
in interface Term
apply
in class Pred
public Term getValue()
public boolean equals(java.lang.Object t)
equals
in interface Term
equals
in interface java.util.Collection<Term>
equals
in interface java.util.List<Term>
equals
in class LiteralImpl
public int compareTo(Term t)
compareTo
in interface java.lang.Comparable<Term>
compareTo
in class LiteralImpl
public java.lang.String getFunctor()
Literal
getFunctor
in class Atom
public PredicateIndicator getPredicateIndicator()
LiteralImpl
getPredicateIndicator
in class LiteralImpl
public int hashCode()
hashCode
in interface java.util.Collection<Term>
hashCode
in interface java.util.List<Term>
hashCode
in class DefaultTerm
public java.util.Iterator<Unifier> logicalConsequence(Agent ag, Unifier un)
Literal
logicalConsequence
in interface LogicalFormula
logicalConsequence
in class Literal
public Term getTerm(int i)
Literal
getTerm
in class Structure
public void addTerm(Term t)
addTerm
in class Structure
public int getArity()
Literal
getArity
in class Structure
public java.util.List<Term> getTerms()
Literal
getTerms
in class Structure
public Literal setTerms(java.util.List<Term> l)
Literal
setTerms
in class Structure
public void setTerm(int i, Term t)
setTerm
in class Structure
public Literal addTerms(java.util.List<Term> l)
Literal
addTerms
in class Structure
public Term[] getTermsArray()
Literal
getTermsArray
in class Literal
public boolean isInternalAction()
isInternalAction
in interface Term
isInternalAction
in class DefaultTerm
public boolean isList()
isList
in interface Term
isList
in class DefaultTerm
public boolean isString()
isString
in interface Term
isString
in class DefaultTerm
public boolean isPlanBody()
isPlanBody
in interface Term
isPlanBody
in class DefaultTerm
public boolean isNumeric()
isNumeric
in interface Term
isNumeric
in class DefaultTerm
public boolean isPred()
isPred
in interface Term
isPred
in class Pred
public boolean isLiteral()
isLiteral
in interface Term
isLiteral
in class Literal
public boolean isStructure()
isStructure
in interface Term
isStructure
in class Structure
public boolean isAtom()
isAtom
in interface Term
isAtom
in class LiteralImpl
public boolean isRule()
isRule
in interface Term
isRule
in class DefaultTerm
public boolean isArithExpr()
isArithExpr
in interface Term
isArithExpr
in class DefaultTerm
public boolean hasVar(VarTerm t)
hasVar
in interface Term
hasVar
in class Pred
public void countVars(java.util.Map<VarTerm,java.lang.Integer> c)
countVars
in interface Term
countVars
in class Pred
public Literal makeVarsAnnon(Unifier un)
Literal
makeVarsAnnon
in class Pred
un
- is the unifier that contains the map of replacementspublic java.lang.String toString()
toString
in class LiteralImpl
public Literal setAnnots(ListTerm l)
setAnnots
in class Pred
public boolean importAnnots(Literal p)
Literal
importAnnots
in class Pred
public boolean addAnnot(Term t)
addAnnot
in class Pred
public Literal addAnnots(java.util.List<Term> l)
Literal
addAnnots
in class Pred
public void clearAnnots()
Literal
clearAnnots
in class Pred
public boolean delAnnots(java.util.List<Term> l)
Literal
delAnnots
in class Pred
public boolean delAnnot(Term t)
delAnnot
in class Pred
public boolean hasAnnot(Term t)
Literal
hasAnnot
in class Pred
public boolean hasAnnot()
Literal
hasAnnot
in class Pred
public boolean hasSubsetAnnot(Literal p)
Literal
hasSubsetAnnot
in class Pred
public boolean hasSubsetAnnot(Literal p, Unifier u)
Literal
hasSubsetAnnot
in class Pred
public ListTerm getAnnots()
Literal
getAnnots
in class Pred
public void addSource(Term t)
Literal
addSource
in class Pred
public boolean delSource(Term s)
Literal
delSource
in class Pred
public void delSources()
Literal
delSources
in class Pred
public ListTerm getSources()
Literal
getSources
in class Pred
public boolean hasSource()
Literal
hasSource
in class Pred
public boolean hasSource(Term s)
Literal
hasSource
in class Pred
public boolean negated()
Literal
negated
in class LiteralImpl
public boolean canBeAddedInBB()
LiteralImpl
canBeAddedInBB
in class LiteralImpl
public double solve()
NumberTerm
solve
in interface NumberTerm
public void add(int index, Term o)
add
in interface java.util.List<Term>
public boolean add(Term o)
add
in interface java.util.Collection<Term>
add
in interface java.util.List<Term>
public boolean addAll(java.util.Collection c)
addAll
in interface java.util.Collection<Term>
addAll
in interface java.util.List<Term>
public boolean addAll(int index, java.util.Collection c)
addAll
in interface java.util.List<Term>
public void clear()
clear
in interface java.util.Collection<Term>
clear
in interface java.util.List<Term>
public boolean contains(java.lang.Object o)
contains
in interface java.util.Collection<Term>
contains
in interface java.util.List<Term>
public boolean containsAll(java.util.Collection c)
containsAll
in interface java.util.Collection<Term>
containsAll
in interface java.util.List<Term>
public Term get(int index)
get
in interface java.util.List<Term>
public int indexOf(java.lang.Object o)
indexOf
in interface java.util.List<Term>
public int lastIndexOf(java.lang.Object o)
lastIndexOf
in interface java.util.List<Term>
public java.util.Iterator<Term> iterator()
iterator
in interface java.lang.Iterable<Term>
iterator
in interface java.util.Collection<Term>
iterator
in interface java.util.List<Term>
public java.util.ListIterator<Term> listIterator()
listIterator
in interface java.util.List<Term>
public java.util.ListIterator<Term> listIterator(int index)
listIterator
in interface java.util.List<Term>
public Term remove(int index)
remove
in interface java.util.List<Term>
public boolean remove(java.lang.Object o)
remove
in interface java.util.Collection<Term>
remove
in interface java.util.List<Term>
public boolean removeAll(java.util.Collection c)
removeAll
in interface java.util.Collection<Term>
removeAll
in interface java.util.List<Term>
public boolean retainAll(java.util.Collection c)
retainAll
in interface java.util.Collection<Term>
retainAll
in interface java.util.List<Term>
public Term set(int index, Term o)
set
in interface java.util.List<Term>
public java.util.List<Term> subList(int arg0, int arg1)
subList
in interface java.util.List<Term>
public java.util.Iterator<java.util.List<Term>> subSets(int k)
ListTerm
subSets
in interface ListTerm
public java.lang.Object[] toArray()
toArray
in interface java.util.Collection<Term>
toArray
in interface java.util.List<Term>
public java.lang.Object[] toArray(java.lang.Object[] arg0)
toArray
in interface java.util.Collection<Term>
toArray
in interface java.util.List<Term>
public void setTerm(Term t)
setTerm
in interface ListTerm
public void setNext(Term t)
setNext
in interface ListTerm
public ListTerm append(Term t)
append
in interface ListTerm
public ListTerm insert(Term t)
insert
in interface ListTerm
public ListTerm concat(ListTerm lt)
concat
in interface ListTerm
public ListTerm reverse()
reverse
in interface ListTerm
public ListTerm union(ListTerm lt)
union
in interface ListTerm
public ListTerm intersection(ListTerm lt)
intersection
in interface ListTerm
public ListTerm difference(ListTerm lt)
difference
in interface ListTerm
public java.util.List<Term> getAsList()
getAsList
in interface ListTerm
public ListTerm getLast()
getLast
in interface ListTerm
public ListTerm getPenultimate()
getPenultimate
in interface ListTerm
public Term removeLast()
removeLast
in interface ListTerm
public ListTerm getNext()
getNext
in interface ListTerm
public Term getTerm()
getTerm
in interface ListTerm
public boolean isEmpty()
isEmpty
in interface java.util.Collection<Term>
isEmpty
in interface java.util.List<Term>
public boolean isEnd()
isEnd
in interface ListTerm
public boolean isTail()
isTail
in interface ListTerm
public void setTail(VarTerm v)
setTail
in interface ListTerm
public VarTerm getTail()
getTail
in interface ListTerm
public java.util.Iterator<ListTerm> listTermIterator()
listTermIterator
in interface ListTerm
public int size()
size
in interface java.util.Collection<Term>
size
in interface java.util.List<Term>
public ListTerm cloneLTShallow()
ListTerm
cloneLTShallow
in interface ListTerm
public java.lang.String getString()
StringTerm
getString
in interface StringTerm
public int length()
length
in interface StringTerm
public java.lang.Object getObject()
getObject
in interface ObjectTerm
public PlanBody.BodyType getBodyType()
getBodyType
in interface PlanBody
public Term getBodyTerm()
getBodyTerm
in interface PlanBody
public PlanBody getBodyNext()
getBodyNext
in interface PlanBody
public PlanBody getLastBody()
getLastBody
in interface PlanBody
public boolean isEmptyBody()
isEmptyBody
in interface PlanBody
public int getPlanSize()
getPlanSize
in interface PlanBody
public void setBodyType(PlanBody.BodyType bt)
setBodyType
in interface PlanBody
public void setBodyTerm(Term t)
setBodyTerm
in interface PlanBody
public void setBodyNext(PlanBody bl)
setBodyNext
in interface PlanBody
public boolean isBodyTerm()
isBodyTerm
in interface PlanBody
public void setAsBodyTerm(boolean b)
setAsBodyTerm
in interface PlanBody
public boolean add(PlanBody bl)
add
in interface PlanBody
public boolean add(int index, PlanBody bl)
add
in interface PlanBody
public Term removeBody(int index)
removeBody
in interface PlanBody
public org.w3c.dom.Element getAsDOM(org.w3c.dom.Document document)
getAsDOM
in interface ToDOM
getAsDOM
in class LiteralImpl
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |