| ident | |
| 1 (Function) | Termlib.Variable |
| 2 (Function) | Termlib.Term.Parser |
| 3 (Function) | Termlib.Problem.TpdbParser |
| idlist | Termlib.Problem.TpdbParser |
| ifM | Termlib.Utils |
| immediateSubterms | Termlib.Term, Termlib.Repl |
| Innermost | Termlib.Problem, Termlib.Repl |
| innermost | Termlib.TermGraph |
| innermostRewriteStep | Termlib.TermGraph |
| insert | |
| 1 (Function) | Termlib.Trs, Termlib.Repl |
| 2 (Function) | Termlib.Precedence |
| intersect | Termlib.Trs, Termlib.Repl |
| intlist | Termlib.Problem.TpdbParser |
| invEnum | Termlib.Utils |
| invert | |
| 1 (Function) | Termlib.Rule, Termlib.Repl |
| 2 (Function) | Termlib.Trs |
| inwhite | Termlib.Problem.TpdbParser |
| isCollapsing | |
| 1 (Function) | Termlib.Rule |
| 2 (Function) | Termlib.Trs |
| isCompound | Termlib.FunctionSymbol |
| isConstructor | Termlib.Trs |
| isDangling | Termlib.TermGraph |
| isDCProblem | Termlib.Problem, Termlib.Repl |
| isDPProblem | Termlib.Problem, Termlib.Repl |
| isDuplicating | |
| 1 (Function) | Termlib.Rule, Termlib.Repl |
| 2 (Function) | Termlib.Trs |
| isEmpty | Termlib.Trs, Termlib.Repl |
| isErasing | Termlib.Rule, Termlib.Repl |
| isFlat | |
| 1 (Function) | Termlib.Term |
| 2 (Function) | Termlib.Rule |
| 3 (Function) | Termlib.Repl |
| isFun | Termlib.TermGraph |
| isGround | |
| 1 (Function) | Termlib.Term |
| 2 (Function) | Termlib.Rule |
| 3 (Function) | Termlib.Trs |
| 4 (Function) | Termlib.Repl |
| isLeftFlat | Termlib.Rule |
| isLeftGround | Termlib.Rule |
| isLeftLinear | |
| 1 (Function) | Termlib.Rule |
| 2 (Function) | Termlib.Trs |
| isLeftShallow | Termlib.Rule |
| isLinear | |
| 1 (Function) | Termlib.Term |
| 2 (Function) | Termlib.Rule |
| 3 (Function) | Termlib.Repl |
| isMarked | Termlib.FunctionSymbol |
| isNestedRecursive | Termlib.Trs, Termlib.Repl |
| isNonDuplicating | Termlib.Rule, Termlib.Repl |
| isNonErasing | Termlib.Rule, Termlib.Repl |
| isNonSizeDecreasing | Termlib.Rule |
| isNonSizeIncreasing | |
| 1 (Function) | Termlib.Rule |
| 2 (Function) | Termlib.Trs |
| isOrthogonal | Termlib.Trs, Termlib.Repl |
| isOverlapping | Termlib.Trs, Termlib.Repl |
| isOverlay | Termlib.Trs, Termlib.Repl |
| isProperSubtermOf | Termlib.Term |
| isProperSupertermOf | Termlib.Term |
| isRCProblem | Termlib.Problem, Termlib.Repl |
| isRedex | Termlib.TermGraph |
| isRenamedUnifiable | Termlib.Substitution, Termlib.Repl |
| isRewriteRule | Termlib.Rule |
| isRightFlat | Termlib.Rule |
| isRightGround | Termlib.Rule |
| isRightLinear | |
| 1 (Function) | Termlib.Rule |
| 2 (Function) | Termlib.Trs |
| isRightShallow | Termlib.Rule |
| isShallow | |
| 1 (Function) | Termlib.Term |
| 2 (Function) | Termlib.Rule |
| 3 (Function) | Termlib.Repl |
| isSizeDecreasing | Termlib.Rule |
| isSizeIncreasing | |
| 1 (Function) | Termlib.Rule |
| 2 (Function) | Termlib.Trs |
| isSubtermOf | |
| 1 (Function) | Termlib.Term |
| 2 (Function) | Termlib.Repl |
| isSupertermOf | Termlib.Term, Termlib.Repl |
| isSymbol | Termlib.FunctionSymbol |
| isUnifiable | Termlib.Substitution, Termlib.Repl |
| isVariable | |
| 1 (Function) | Termlib.Variable |
| 2 (Function) | Termlib.Term, Termlib.Repl |
| 3 (Function) | Termlib.TermGraph |