Uses of Class
jason.asSyntax.VarTerm

Packages that use VarTerm

jason.asSemantics
jason.asSyntax

Uses of VarTerm in jason.asSemantics

Fields in jason.asSemantics with type parameters of type VarTerm

protected java.util.HashMap<VarTerm,Term>

Unifier.function

Methods in jason.asSemantics that return VarTerm

VarTerm

Unifier.deref(VarTerm v)

Methods in jason.asSemantics with parameters of type VarTerm

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 value

Uses of VarTerm in jason.asSyntax

Subclasses of VarTerm in jason.asSyntax

class

UnnamedVar Represents an unnamed variable '_'.

Methods in jason.asSyntax that return VarTerm

static VarTerm	ASSyntax.createVar() creates a new anonymous (or unnamed) variable
static VarTerm	ASSyntax.createVar(java.lang.String functor) creates a new variable term
VarTerm	VarTerm.getTail()
VarTerm	ListTermImpl.getTail() returns this ListTerm's tail element in case the List has the Tail, otherwise, returns null
VarTerm	ListTerm.getTail()
static VarTerm	VarTerm.parseVar(java.lang.String sVar) Deprecated. prefer ASSyntax.parseVar(...)
static VarTerm	ASSyntax.parseVar(java.lang.String sVar) creates a new variable by parsing a string
protected VarTerm	Structure.varToReplace(Term t, Unifier un)

Methods in jason.asSyntax that return types with arguments of type VarTerm

java.util.List<VarTerm>	Structure.getSingletonVars()
java.util.List<VarTerm>	Literal.getSingletonVars() returns all singleton vars (that appears once) in this literal

Methods in jason.asSyntax with parameters of type VarTerm

boolean	VarTerm.hasVar(VarTerm t)
boolean	Term.hasVar(VarTerm t)
boolean	Structure.hasVar(VarTerm t)
boolean	Rule.hasVar(VarTerm t)
boolean	Pred.hasVar(VarTerm t)
boolean	DefaultTerm.hasVar(VarTerm t)
void	VarTerm.setTail(VarTerm v)
void	ListTermImpl.setTail(VarTerm v) set the tail of this list
void	ListTerm.setTail(VarTerm v)

Method parameters in jason.asSyntax with type arguments of type VarTerm

void	VarTerm.countVars(java.util.Map<VarTerm,java.lang.Integer> c)
void	Term.countVars(java.util.Map<VarTerm,java.lang.Integer> c)
void	Structure.countVars(java.util.Map<VarTerm,java.lang.Integer> c)
void	Rule.countVars(java.util.Map<VarTerm,java.lang.Integer> c)
void	Pred.countVars(java.util.Map<VarTerm,java.lang.Integer> c)
void	DefaultTerm.countVars(java.util.Map<VarTerm,java.lang.Integer> c)