Package | Description |
---|---|
jason.asSemantics | |
jason.asSyntax |
Modifier and Type | Field and Description |
---|---|
protected java.util.Map<VarTerm,Term> |
Unifier.function |
Modifier and Type | Method and Description |
---|---|
VarTerm |
Unifier.deref(VarTerm v) |
VarTerm |
Unifier.getVarFromValue(Term vl) |
Modifier and Type | Method and Description |
---|---|
java.util.Iterator<VarTerm> |
Unifier.iterator() |
Modifier and Type | Method and Description |
---|---|
boolean |
Unifier.bind(VarTerm vt,
Term vl) |
boolean |
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
|
Term |
Unifier.remove(VarTerm v) |
Modifier and Type | Class and Description |
---|---|
class |
UnnamedVar
Represents an unnamed variable '_'.
|
Modifier and Type | Method and Description |
---|---|
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 |
Term.getCyclicVar() |
VarTerm |
DefaultTerm.getCyclicVar() |
VarTerm |
CyclicTerm.getCyclicVar() |
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
|
VarTerm |
Structure.varToReplace(Term t,
Unifier un) |
Modifier and Type | Method and Description |
---|---|
java.util.List<VarTerm> |
Structure.getSingletonVars() |
java.util.List<VarTerm> |
Literal.getSingletonVars()
returns all singleton vars (that appears once) in this literal
|
Modifier and Type | Method and Description |
---|---|
boolean |
VarTerm.hasVar(VarTerm t,
Unifier u) |
boolean |
Term.hasVar(VarTerm t,
Unifier u) |
boolean |
Structure.hasVar(VarTerm t,
Unifier u) |
boolean |
Rule.hasVar(VarTerm t,
Unifier u) |
boolean |
Pred.hasVar(VarTerm t,
Unifier u) |
boolean |
DefaultTerm.hasVar(VarTerm t,
Unifier u) |
void |
VarTerm.setTail(VarTerm v) |
void |
ListTermImpl.setTail(VarTerm v)
set the tail of this list
|
void |
ListTerm.setTail(VarTerm v) |
Modifier and Type | Method and Description |
---|---|
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) |
Constructor and Description |
---|
CyclicTerm(Literal t,
VarTerm v)
creates a positive literal
|
CyclicTerm(Literal t,
VarTerm v,
Unifier u) |