Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## 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)`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES