- getName
Gets the name of this variable.
- getValue
Gets the actual value of a term, which is either the term itself, or in the case
of variables, the v
- <init>
Creates a new variable, the name does not have to be unique and the the variable
can be free by supp
- isAnonymous
Reports wether or not this is an anonymous variable.
- getStorageCell
Provides the storage cell for the specified variable. Some types of variable may
defer their storage
- getSymbolKey
- isBound
Reports whether or not this variable is bound to a value.
- getId
A unique id for this variable.
- setTermTraverser
- free
Frees all assigned variables in the term, leaving them unnassigned.
- setSubstitution
Binds this variable to the specified value.
- toString