Package jason.asSyntax

Class UnnamedVar

java.lang.Object

jason.asSyntax.DefaultTerm

jason.asSyntax.Literal

jason.asSyntax.Atom

jason.asSyntax.Structure

jason.asSyntax.Pred

jason.asSyntax.LiteralImpl

jason.asSyntax.VarTerm

jason.asSyntax.UnnamedVar

All Implemented Interfaces:

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

public class UnnamedVar
extends VarTerm

Represents an unnamed variable '_'.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
int	myId

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
UnnamedVar()
UnnamedVar(int id)
UnnamedVar(Atom ns)
UnnamedVar(Atom ns, int id)

Method Summary

Modifier and Type	Method	Description
Term	clone()	make a deep copy of the terms
Literal	cloneNS(Atom newNameSpace)	clone in another namespace
int	compareTo(Term t)
static UnnamedVar	create(Atom ns, int id, String name)
static UnnamedVar	create(Atom ns, String name)
static UnnamedVar	create(String name)
boolean	equals(Object t)
boolean	isUnnamedVar()

Methods inherited from class jason.asSyntax.VarTerm

add, add, addAll, addAll, addTerm, addTerms, append, calcHashCode, canBeAddedInBB, capply, clear, cloneLT, cloneLTShallow, concat, contains, containsAll, countVars, difference, get, getArity, getAsDOM, getAsList, getLast, getNext, getPenultimate, getTail, getTerm, getTerm, getTerms, hasVar, indexOf, insert, intersection, isArithExpr, isAtom, isCyclicTerm, isEmpty, isEnd, isGround, isInternalAction, isList, isLiteral, isNumeric, isPlanBody, isPred, isRule, isString, isStructure, isTail, isVar, iterator, lastIndexOf, listIterator, listIterator, listTermIterator, logicalConsequence, parseVar, remove, remove, removeAll, removeLast, retainAll, reverse, set, setNext, setTail, setTerm, setTerm, setTerms, size, solve, subList, subSets, subsumes, toArray, toArray, union

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

Field Details

myId

public int myId

Constructor Details

UnnamedVar

public UnnamedVar()

UnnamedVar

public UnnamedVar(Atom ns)

UnnamedVar

public UnnamedVar(Atom ns,
 int id)

UnnamedVar

public UnnamedVar(int id)

Method Details

create

public static UnnamedVar create(String name)

create

public static UnnamedVar create(Atom ns,
 String name)

create

public static UnnamedVar create(Atom ns,
 int id,
 String name)

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 VarTerm

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 VarTerm

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 VarTerm

compareTo

public int compareTo(Term t)

Specified by:

compareTo in interface Comparable<Term>

Overrides:

compareTo in class VarTerm

isUnnamedVar

public boolean isUnnamedVar()

Specified by:

isUnnamedVar in interface Term

Overrides:

isUnnamedVar in class VarTerm