Package jason.asSyntax
Class UnnamedVar
java.lang.Object
- All Implemented Interfaces:
ListTerm
,LogicalFormula
,NumberTerm
,Term
,ToDOM
,ToJson
,java.io.Serializable
,java.lang.Cloneable
,java.lang.Comparable<Term>
,java.lang.Iterable<Term>
,java.util.Collection<Term>
,java.util.List<Term>
public class UnnamedVar extends VarTerm
Represents an unnamed variable '_'.
- Author:
- jomi
- See Also:
- Serialized Form
-
Nested Class Summary
Nested classes/interfaces inherited from class jason.asSyntax.Literal
Literal.FalseLiteral, Literal.TrueLiteral
-
Field Summary
Fields Modifier and Type Field Description int
myId
private static long
serialVersionUID
private static java.util.concurrent.atomic.AtomicInteger
varCont
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 Modifier Constructor Description UnnamedVar()
UnnamedVar(int id)
UnnamedVar(Atom ns)
UnnamedVar(Atom ns, int id)
private
UnnamedVar(Atom ns, java.lang.String name)
private
UnnamedVar(java.lang.String name)
-
Method Summary
Modifier and Type Method Description Term
clone()
make a deep copy of the termsLiteral
cloneNS(Atom newNameSpace)
clone in another namespaceint
compareTo(Term t)
static UnnamedVar
create(Atom ns, int id, java.lang.String name)
static UnnamedVar
create(Atom ns, java.lang.String name)
static UnnamedVar
create(java.lang.String name)
boolean
equals(java.lang.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
hashCode, replaceAll, 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
-
serialVersionUID
private static final long serialVersionUID- See Also:
- Constant Field Values
-
varCont
private static java.util.concurrent.atomic.AtomicInteger varCont -
myId
public int myId
-
-
Constructor Details
-
UnnamedVar
public UnnamedVar() -
UnnamedVar
-
UnnamedVar
-
UnnamedVar
public UnnamedVar(int id) -
UnnamedVar
private UnnamedVar(java.lang.String name) -
UnnamedVar
-
-
Method Details
-
create
-
create
-
create
-
clone
Description copied from class:Structure
make a deep copy of the terms -
cloneNS
Description copied from interface:Term
clone in another namespace -
equals
public boolean equals(java.lang.Object t) -
compareTo
-
isUnnamedVar
public boolean isUnnamedVar()- Specified by:
isUnnamedVar
in interfaceTerm
- Overrides:
isUnnamedVar
in classVarTerm
-