| 
 | GNU Prolog for Java | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use VariableTerm | |
|---|---|
| gnu.prolog.io | Classes used for IO | 
| gnu.prolog.io.parser.gen | |
| gnu.prolog.term | Contains the various types of Termthat can be used. | 
| gnu.prolog.vm | The Virtual Machine which is used to run the prolog code. | 
| gnu.prolog.vm.buildins.unification | |
| gnu.prolog.vm.interpreter | InterpretedCodeCompileruses the various classes beginning with I
 and extendingInstructionin theinstructionsub-package to 
 compile clauses toInterpretedByteCode. | 
| Uses of VariableTerm in gnu.prolog.io | 
|---|
| Fields in gnu.prolog.io with type parameters of type VariableTerm | |
|---|---|
|  Map<String,VariableTerm> | ReadOptions.singletons'singletons' ISO Prolog options it is not used currently. | 
|  Map<String,VariableTerm> | ReadOptions.variableNames'variable_names' ISO Prolog options | 
| Methods in gnu.prolog.io with parameters of type VariableTerm | |
|---|---|
| protected  void | TermWriter.displayVariable(WriteOptions options,
                VariableTerm variable)display variable term | 
| Uses of VariableTerm in gnu.prolog.io.parser.gen | 
|---|
| Methods in gnu.prolog.io.parser.gen that return VariableTerm | |
|---|---|
|  VariableTerm | TermParser.variable(ReadOptions options) | 
| Uses of VariableTerm in gnu.prolog.term | 
|---|
| Subclasses of VariableTerm in gnu.prolog.term | |
|---|---|
|  class | ChangeableTermTerms for which the value varies depending on prolog flags extend this class. | 
|  class | DoubleQuotesTermTerm for storing a double quoted string as what this resolves to varies depending on the value of the double_quotes flag. | 
| Uses of VariableTerm in gnu.prolog.vm | 
|---|
| Fields in gnu.prolog.vm declared as VariableTerm | |
|---|---|
| protected  VariableTerm[] | Interpreter.variables | 
| Methods in gnu.prolog.vm with parameters of type VariableTerm | |
|---|---|
|  void | Interpreter.addVariableUndo(VariableTerm variable)add variable undo | 
| Uses of VariableTerm in gnu.prolog.vm.buildins.unification | 
|---|
| Methods in gnu.prolog.vm.buildins.unification with parameters of type VariableTerm | |
|---|---|
| static boolean | Predicate_unify_with_occurs_check.occurCheck(VariableTerm variable,
           Term term)Perform occur check on variable | 
| Uses of VariableTerm in gnu.prolog.vm.interpreter | 
|---|
| Method parameters in gnu.prolog.vm.interpreter with type arguments of type VariableTerm | |
|---|---|
| static Term | Predicate_call.getClause(Term term,
          Map<Term,VariableTerm> argumentsToArgumentVariables)convert callable term to clause | 
| 
 | GNU Prolog for Java | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||