Uses of Class
jason.asSyntax.VarTerm
Package | Description |
---|---|
jason.asSemantics | |
jason.asSyntax |
-
Uses of VarTerm in jason.asSemantics
Fields in jason.asSemantics with type parameters of type VarTerm Modifier and Type Field Description protected java.util.Map<VarTerm,Term>
Unifier. function
Methods in jason.asSemantics that return VarTerm Modifier and Type Method Description VarTerm
Unifier. deref(VarTerm v)
private VarTerm
Unifier. getVarForUnifier(VarTerm v)
VarTerm
Unifier. getVarFromValue(Term vl)
Methods in jason.asSemantics that return types with arguments of type VarTerm Modifier and Type Method Description private java.util.Map<VarTerm,Term>
Unifier. cloneFunction()
java.util.Iterator<VarTerm>
Unifier. iterator()
Methods in jason.asSemantics with parameters of type VarTerm Modifier and Type Method Description boolean
Unifier. bind(VarTerm vt, Term vl)
void
Unifier. bind(VarTerm vt1, VarTerm vt2)
VarTerm
Unifier. deref(VarTerm v)
Term
Unifier. get(VarTerm vtp)
gets the value for a Var, if it is unified with another var, gets this other's valueprivate VarTerm
Unifier. getVarForUnifier(VarTerm v)
Term
Unifier. remove(VarTerm v)
Method parameters in jason.asSemantics with type arguments of type VarTerm Modifier and Type Method Description void
Unifier. setMap(java.util.Map<VarTerm,Term> newFunc)
changes the implementation of Var/Value mapping -- should be used carefully -
Uses of VarTerm in jason.asSyntax
Subclasses of VarTerm in jason.asSyntax Modifier and Type Class Description class
UnnamedVar
Represents an unnamed variable '_'.Fields in jason.asSyntax declared as VarTerm Modifier and Type Field Description private VarTerm
CyclicTerm. cyclicVar
Fields in jason.asSyntax with type parameters of type VarTerm Modifier and Type Field Description private static java.util.List<VarTerm>
Literal. emptyListVar
Methods in jason.asSyntax that return VarTerm Modifier and Type Method Description static VarTerm
ASSyntax. createVar()
creates a new anonymous (or unnamed) variablestatic VarTerm
ASSyntax. createVar(boolean negated, java.lang.String functor)
creates a new variable term (possibly negated)static VarTerm
ASSyntax. createVar(Atom namespace, java.lang.String functor)
creates a new variable term in a namespacestatic VarTerm
ASSyntax. createVar(java.lang.String functor)
creates a new variable termVarTerm
CyclicTerm. getCyclicVar()
VarTerm
DefaultTerm. getCyclicVar()
VarTerm
Term. getCyclicVar()
VarTerm
ListTerm. getTail()
VarTerm
ListTermImpl. getTail()
returns this ListTerm's tail element in case the List has the Tail, otherwise, returns nullVarTerm
VarTerm. getTail()
static VarTerm
ASSyntax. parseVar(java.lang.String sVar)
creates a new variable by parsing a stringstatic VarTerm
VarTerm. parseVar(java.lang.String sVar)
Deprecated.prefer ASSyntax.parseVar(...)VarTerm
Structure. varToReplace(Term t, Unifier un)
Methods in jason.asSyntax that return types with arguments of type VarTerm Modifier and Type Method Description java.util.List<VarTerm>
Literal. getSingletonVars()
returns all singleton vars (that appears once) in this literaljava.util.List<VarTerm>
Structure. getSingletonVars()
Methods in jason.asSyntax with parameters of type VarTerm Modifier and Type Method Description boolean
DefaultTerm. hasVar(VarTerm t, Unifier u)
boolean
Pred. hasVar(VarTerm t, Unifier u)
boolean
Rule. hasVar(VarTerm t, Unifier u)
boolean
Structure. hasVar(VarTerm t, Unifier u)
boolean
Term. hasVar(VarTerm t, Unifier u)
boolean
VarTerm. hasVar(VarTerm t, Unifier u)
void
ListTerm. setTail(VarTerm v)
void
ListTermImpl. setTail(VarTerm v)
set the tail of this listvoid
VarTerm. setTail(VarTerm v)
Method parameters in jason.asSyntax with type arguments of type VarTerm Modifier and Type Method Description void
DefaultTerm. countVars(java.util.Map<VarTerm,java.lang.Integer> c)
void
Pred. countVars(java.util.Map<VarTerm,java.lang.Integer> c)
void
Rule. countVars(java.util.Map<VarTerm,java.lang.Integer> c)
void
Structure. countVars(java.util.Map<VarTerm,java.lang.Integer> c)
void
Term. countVars(java.util.Map<VarTerm,java.lang.Integer> c)
void
VarTerm. countVars(java.util.Map<VarTerm,java.lang.Integer> c)
Constructors in jason.asSyntax with parameters of type VarTerm Constructor Description CyclicTerm(Literal t, VarTerm v)
creates a positive literalCyclicTerm(Literal t, VarTerm v, Unifier u)