Index - A
| addFreshVar | Termlib.Problem.TpdbParser |
| addStrictRule | Termlib.Problem.TpdbParser |
| addWeakRule | Termlib.Problem.TpdbParser |
| AF | Termlib.ArgumentFiltering |
| allComponents | Termlib.Problem, Termlib.Repl |
| alter | Termlib.ArgumentFiltering |
| alterAttributes | Termlib.Signature |
| anylist | Termlib.Problem.TpdbParser |
| anylist1 | Termlib.Problem.TpdbParser |
| anylist2 | Termlib.Problem.TpdbParser |
| anylist3 | Termlib.Problem.TpdbParser |
| anylist4 | Termlib.Problem.TpdbParser |
| anylist5 | Termlib.Problem.TpdbParser |
| append | Termlib.Trs, Termlib.Repl |
| apply | |
| 1 (Function) | Termlib.Substitution |
| 2 (Function) | Termlib.ArgumentFiltering |
| ArgumentFiltering | Termlib.ArgumentFiltering |
| argumentPositions | Termlib.FunctionSymbol |
| Arity | Termlib.FunctionSymbol |
| arity | Termlib.FunctionSymbol |
| astring | Termlib.Problem.TpdbParser |
| attached | Termlib.TermGraph |
| attribute | Termlib.Signature |
| Attributes | |
| 1 (Type/Class) | Termlib.Variable |
| 2 (Data Constructor) | Termlib.Variable |
| 3 (Type/Class) | Termlib.FunctionSymbol |
| 4 (Data Constructor) | Termlib.FunctionSymbol |
| attributes | Termlib.Signature |
| automatonstuff | Termlib.Problem.TpdbParser |