Index - V
| Var | Termlib.Term, Termlib.Repl |
| var | Termlib.Problem.XmlParser |
| varCardinality | Termlib.Term |
| varDepth | Termlib.Term |
| Variable | Termlib.Variable |
| variable | Termlib.Variable |
| VariableMonad | Termlib.Variable |
| variableName | Termlib.Variable |
| Variables | Termlib.Variable |
| variables | |
| 1 (Function) | Termlib.Term |
| 2 (Function) | Termlib.Rule |
| 3 (Function) | Termlib.Trs |
| 4 (Function) | Termlib.Problem, Termlib.Repl |
| variant | Termlib.Substitution, Termlib.Repl |
| varlist | Termlib.Problem.TpdbParser |
| vars | Termlib.Repl |
| VL | Termlib.TermGraph |