| $++$ | Termlib.Utils |
| :>: | Termlib.Precedence |
| :~: | Termlib.Precedence |
| 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 |
| BasicTerms | Termlib.Problem, Termlib.Repl |
| block | Termlib.Utils |
| bothsides | Termlib.Rule |
| Canon | Termlib.Variable |
| canonical | Termlib.Variable |
| canonise | |
| 1 (Function) | Termlib.Term |
| 2 (Function) | Termlib.Rule, Termlib.Repl |
| canonVarName | Termlib.Variable |
| cardinality | |
| 1 (Function) | Termlib.Signature |
| 2 (Function) | Termlib.Term, Termlib.Repl |
| cElems | Termlib.Problem.XmlParser |
| children | Termlib.TermGraph |
| colon | Termlib.Term.Parser |
| columns | Termlib.Utils |
| columns' | Termlib.Utils |
| complexterm | Termlib.Problem.TpdbParser |
| compose | Termlib.Substitution |
| conc | Termlib.TermGraph |
| cond | Termlib.Problem.TpdbParser |
| condlist | Termlib.Problem.TpdbParser |
| constrs | Termlib.Problem, Termlib.Repl |
| constructors | Termlib.Trs, Termlib.Repl |
| content | Termlib.TermGraph |
| ContextSensitive | Termlib.Problem, Termlib.Repl |
| csstrat | Termlib.Problem.TpdbParser |
| csstratlist | Termlib.Problem.TpdbParser |
| defaultAttribs | |
| 1 (Function) | Termlib.Variable |
| 2 (Function) | Termlib.FunctionSymbol |
| defineds | Termlib.Problem, Termlib.Repl |
| definedSymbols | Termlib.Trs, Termlib.Repl |
| definingSymbol | Termlib.Trs |
| depth | Termlib.Term, Termlib.Repl |
| directSubgraphs | Termlib.TermGraph |
| docHeight | Termlib.Utils |
| docLength | Termlib.Utils |
| dpComponents | Termlib.Problem, Termlib.Repl |
| eclasses | Termlib.Precedence |
| Edge | |
| 1 (Type/Class) | Termlib.TermGraph |
| 2 (Data Constructor) | Termlib.TermGraph |
| edge | Termlib.TermGraph |
| EdgeLabel | Termlib.TermGraph |
| edges | Termlib.TermGraph |
| eitherM | Termlib.Utils |
| empty | |
| 1 (Function) | Termlib.Signature |
| 2 (Function) | Termlib.Substitution |
| 3 (Function) | Termlib.Trs |
| 4 (Function) | Termlib.Precedence |
| 5 (Function) | Termlib.ArgumentFiltering |
| 6 (Function) | Termlib.ContextSensitive |
| emptyRuleset | Termlib.Problem, Termlib.Repl |
| emptySignature | Termlib.FunctionSymbol |
| emptyTrs | Termlib.Repl |
| emptyVariables | Termlib.Variable |
| encompasses | Termlib.Substitution, Termlib.Repl |
| enum | Termlib.Utils |
| Enumerateable | Termlib.Utils |
| enumerated | Termlib.Utils |
| eqlist | Termlib.Problem.TpdbParser |
| equation | Termlib.Problem.TpdbParser |
| Filtering | |
| 1 (Type/Class) | Termlib.ArgumentFiltering |
| 2 (Data Constructor) | Termlib.ArgumentFiltering |
| filtering | Termlib.ArgumentFiltering |
| filterRules | Termlib.Trs, Termlib.Repl |
| findByAttribute | Termlib.Signature |
| finwhite | Termlib.Problem.TpdbParser |
| FL | Termlib.TermGraph |
| fold | Termlib.ArgumentFiltering |
| foldWithKey | Termlib.Signature |
| fresh | |
| 1 (Function) | Termlib.Signature |
| 2 (Function) | Termlib.Variable |
| 3 (Function) | Termlib.FunctionSymbol |
| freshId | Termlib.TermGraph |
| freshNode | Termlib.TermGraph |
| fromList | Termlib.TermGraph |
| fromPair | Termlib.Rule |
| fromRules | Termlib.Trs, Termlib.Repl |
| fromTerm | Termlib.TermGraph |
| fromTermM | Termlib.TermGraph |
| fromTrs | Termlib.TermGraph |
| fsize | Termlib.Term, Termlib.Repl |
| Full | Termlib.Problem, Termlib.Repl |
| Fun | Termlib.Term, Termlib.Repl |
| funCardinality | Termlib.Term |
| FunctionName | Termlib.FunctionSymbol |
| functionSymbols | |
| 1 (Function) | Termlib.Term |
| 2 (Function) | Termlib.Rule |
| 3 (Function) | Termlib.Trs |
| garbageCollect | Termlib.TermGraph |
| genProperSubterms | Termlib.Term |
| genSubterms | Termlib.Term |
| getAttributes | |
| 1 (Function) | Termlib.Signature |
| 2 (Function) | Termlib.FunctionSymbol |
| getSignature | Termlib.Signature |
| getSym | Termlib.Term.Parser |
| getSymbol | Termlib.Problem.TpdbParser |
| getVar | Termlib.Term.Parser |
| getVariables | Termlib.Problem.TpdbParser |
| 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 |
| Label | Termlib.FunctionSymbol |
| label | Termlib.TermGraph |
| laxident | Termlib.Problem.TpdbParser |
| lhs | |
| 1 (Function) | Termlib.Rule, Termlib.Repl |
| 2 (Function) | Termlib.TermGraph |
| lhss | Termlib.Trs, Termlib.Repl |
| liftMemo | Termlib.Utils |
| liftP | Termlib.Problem.XmlParser |
| liftS | Termlib.Signature |
| listofrules | Termlib.Problem.TpdbParser |
| listofthdecl | Termlib.Problem.TpdbParser |
| listProduct | Termlib.Utils |
| lookup | |
| 1 (Function) | Termlib.Signature |
| 2 (Function) | Termlib.Variable |
| 3 (Function) | Termlib.FunctionSymbol |
| 4 (Function) | Termlib.Substitution |
| MalformedRule | Termlib.Problem.ParseErrors |
| MalformedTerm | Termlib.Problem.ParseErrors |
| map | Termlib.Substitution |
| mapRules | |
| 1 (Function) | Termlib.Trs, Termlib.Repl |
| 2 (Function) | Termlib.Problem |
| mapTerms | Termlib.Trs |
| Match | Termlib.TermGraph |
| match | |
| 1 (Function) | Termlib.Substitution |
| 2 (Function) | Termlib.TermGraph |
| matches | |
| 1 (Function) | Termlib.Substitution, Termlib.Repl |
| 2 (Function) | Termlib.TermGraph |
| maybeFresh | |
| 1 (Function) | Termlib.Signature |
| 2 (Function) | Termlib.Variable |
| 3 (Function) | Termlib.FunctionSymbol |
| MaybeT | |
| 1 (Type/Class) | Termlib.Utils |
| 2 (Data Constructor) | Termlib.Utils |
| measureName | Termlib.Problem |
| member | Termlib.Trs, Termlib.Repl |
| memo | Termlib.Utils |
| MemoAction | Termlib.Utils |
| mkEdge | Termlib.TermGraph |
| mkFun | Termlib.TermGraph |
| mkNode | Termlib.TermGraph |
| mkVariable | Termlib.TermGraph |
| modifyProblem | Termlib.Problem.TpdbParser |
| modifySignature | Termlib.Signature |
| NatLabel | Termlib.FunctionSymbol |
| newId | Termlib.TermGraph |
| nfNormalize | Termlib.TermGraph |
| Node | |
| 1 (Type/Class) | Termlib.TermGraph |
| 2 (Data Constructor) | Termlib.TermGraph |
| nodeId | Termlib.TermGraph |
| nodes | Termlib.TermGraph |
| nonVariableSubterms | |
| 1 (Function) | Termlib.Term |
| 2 (Function) | Termlib.Repl |
| oneint | Termlib.Problem.TpdbParser |
| onSignature | Termlib.Problem.TpdbParser |
| onVariables | Termlib.Problem.TpdbParser |
| Order | Termlib.Precedence |
| Outermost | Termlib.Problem, Termlib.Repl |
| Overlap | Termlib.Rule, Termlib.Repl |
| overlaps | |
| 1 (Function) | Termlib.Rule |
| 2 (Function) | Termlib.Trs, Termlib.Repl |
| P | Termlib.Problem.XmlParser |
| padToHeight | Termlib.Utils |
| padToLength | Termlib.Utils |
| paragraph | Termlib.Utils |
| parens | Termlib.Term.Parser |
| Parsable | Termlib.Utils |
| parse | Termlib.Utils |
| ParsecParseError | Termlib.Problem.ParseErrors |
| ParseError | Termlib.Problem.ParseErrors |
| parseFromString | |
| 1 (Function) | Termlib.Utils |
| 2 (Function) | Termlib.Term.Parser |
| 3 (Function) | Termlib.Repl |
| parseOne | Termlib.Problem.XmlParser |
| parseProblem | |
| 1 (Function) | Termlib.Problem.XmlParser |
| 2 (Function) | Termlib.Problem.TpdbParser |
| Parser | Termlib.Problem.XmlParser |
| parseRule | Termlib.Problem.XmlParser |
| parseRules | Termlib.Problem.XmlParser |
| parseSignature | Termlib.Problem.XmlParser |
| parseStartTerms | Termlib.Problem.XmlParser |
| parseStrategy | Termlib.Problem.XmlParser |
| parseTerm | Termlib.Problem.XmlParser |
| ParseWarning | Termlib.Problem.ParseErrors |
| PartiallySupportedStartTerms | Termlib.Problem.ParseErrors |
| PartiallySupportedStrategy | Termlib.Problem.ParseErrors |
| Position | Termlib.TermGraph |
| pprint | Termlib.Utils |
| pprintChar | Termlib.Utils |
| pprintComponents | Termlib.Problem |
| pprintInt | Termlib.Utils |
| pprintNamedTrs | Termlib.Trs.PrettyPrint |
| pprintTrs | Termlib.Trs.PrettyPrint |
| PPTree | |
| 1 (Type/Class) | Termlib.Utils |
| 2 (Data Constructor) | Termlib.Utils |
| pptRoots | Termlib.Utils |
| pptSuc | Termlib.Utils |
| Precedence | |
| 1 (Type/Class) | Termlib.Precedence |
| 2 (Data Constructor) | Termlib.Precedence |
| precedence | Termlib.Precedence |
| prepend | Termlib.TermGraph |
| PrettyPrintable | Termlib.Utils |
| printTree | Termlib.Utils |
| Problem | |
| 1 (Type/Class) | Termlib.Problem, Termlib.Repl |
| 2 (Data Constructor) | Termlib.Problem, Termlib.Repl |
| problemFromFile | Termlib.Problem.Parser |
| problemFromString | |
| 1 (Function) | Termlib.Problem.XmlParser |
| 2 (Function) | Termlib.Problem.TpdbParser |
| 3 (Function) | Termlib.Problem.Parser |
| ProblemNotFoundError | Termlib.Problem.ParseErrors |
| Projection | Termlib.ArgumentFiltering |
| properNonVariableSubterms | Termlib.Term |
| properSubterms | Termlib.Term, Termlib.Repl |
| qtext | Termlib.Utils |
| ranks | Termlib.Precedence |
| recursionDepth | Termlib.Precedence |
| reduced | Termlib.Rule |
| rename | Termlib.TermGraph |
| Renaming | Termlib.Term |
| replace | Termlib.TermGraph |
| ReplacementMap | Termlib.ContextSensitive, Termlib.Problem |
| replacingPositions | Termlib.ContextSensitive |
| restrictToSymbols | |
| 1 (Function) | Termlib.Signature |
| 2 (Function) | Termlib.FunctionSymbol |
| rewrite | Termlib.Rule |
| rewriteAny | Termlib.Rule |
| rewriteAnyRhs | Termlib.Rule |
| rewriteAnyRule | Termlib.Rule |
| rewriteCandidates | Termlib.Rule |
| rewriteRhsAnyRule | Termlib.Rule |
| rewrites | Termlib.Rule |
| rhs | |
| 1 (Function) | Termlib.Rule, Termlib.Repl |
| 2 (Function) | Termlib.TermGraph |
| rhss | Termlib.Trs, Termlib.Repl |
| root | |
| 1 (Function) | Termlib.Term, Termlib.Repl |
| 2 (Function) | Termlib.TermGraph |
| rootedEdge | Termlib.TermGraph |
| RootLabel | Termlib.FunctionSymbol |
| rootPosition | Termlib.TermGraph |
| Rule | |
| 1 (Type/Class) | Termlib.Rule, Termlib.Repl |
| 2 (Data Constructor) | Termlib.Rule, Termlib.Repl |
| rule | |
| 1 (Function) | Termlib.Term.Parser |
| 2 (Function) | Termlib.Problem.TpdbParser |
| Rulelist | |
| 1 (Type/Class) | Termlib.Problem.XmlParser |
| 2 (Type/Class) | Termlib.Problem.TpdbParser |
| rules | |
| 1 (Function) | Termlib.Trs |
| 2 (Function) | Termlib.TermGraph |
| RuleSet | Termlib.Trs |
| Ruleset | |
| 1 (Type/Class) | Termlib.Problem, Termlib.Repl |
| 2 (Data Constructor) | Termlib.Problem, Termlib.Repl |
| ruleSet | Termlib.Trs |
| ruleset | Termlib.Problem |
| runMaybeT | Termlib.Utils |
| runMemoAction | Termlib.Utils |
| runParser | Termlib.Problem.XmlParser |
| runSignature | Termlib.Signature |
| sanitise | Termlib.Problem |
| sautomat | Termlib.Problem.TpdbParser |
| scb | Termlib.Problem.TpdbParser |
| scons | Termlib.Problem.TpdbParser |
| sdp | Termlib.Problem, Termlib.Repl |
| setReplacing | Termlib.ContextSensitive |
| sexpr | Termlib.Problem.TpdbParser |
| sfull | Termlib.Problem.TpdbParser |
| Signature | |
| 1 (Type/Class) | Termlib.Signature |
| 2 (Type/Class) | Termlib.FunctionSymbol |
| signature | Termlib.Problem, Termlib.Repl |
| SignatureMonad | |
| 1 (Type/Class) | Termlib.Signature |
| 2 (Type/Class) | Termlib.FunctionSymbol |
| simpleterm | Termlib.Problem.TpdbParser |
| singleton | |
| 1 (Function) | Termlib.Substitution |
| 2 (Function) | Termlib.Trs |
| sinner | Termlib.Problem.TpdbParser |
| size | Termlib.Term, Termlib.Repl |
| snub | Termlib.Utils |
| sources | Termlib.TermGraph |
| souter | Termlib.Problem.TpdbParser |
| spec | Termlib.Problem.TpdbParser |
| speclist | Termlib.Problem.TpdbParser |
| St | |
| 1 (Type/Class) | Termlib.TermGraph |
| 2 (Data Constructor) | Termlib.TermGraph |
| sta | Termlib.Problem.TpdbParser |
| starttermdecl | Termlib.Problem.TpdbParser |
| StartTerms | Termlib.Problem, Termlib.Repl |
| startTerms | Termlib.Problem, Termlib.Repl |
| step | Termlib.TermGraph |
| Strategy | |
| 1 (Type/Class) | Termlib.TermGraph |
| 2 (Type/Class) | Termlib.Problem, Termlib.Repl |
| strategy | Termlib.Problem, Termlib.Repl |
| strategydecl | Termlib.Problem.TpdbParser |
| strictComponents | Termlib.Problem, Termlib.Repl |
| strictDPs | Termlib.Problem, Termlib.Repl |
| Strictness | Termlib.Rule |
| StrictRule | Termlib.Rule |
| strictTrs | Termlib.Problem, Termlib.Repl |
| strs | Termlib.Problem, Termlib.Repl |
| subgraphAt | Termlib.TermGraph |
| subsumes | Termlib.Substitution, Termlib.Repl |
| subterms | |
| 1 (Function) | Termlib.Term |
| 2 (Function) | Termlib.Repl |
| sym | Termlib.Problem.XmlParser |
| symArity | Termlib.FunctionSymbol |
| Symbol | |
| 1 (Type/Class) | Termlib.FunctionSymbol |
| 2 (Data Constructor) | Termlib.FunctionSymbol |
| symbol | Termlib.FunctionSymbol |
| symbolLabel | Termlib.FunctionSymbol |
| symbolName | Termlib.FunctionSymbol |
| SymbolNotInSignature | Termlib.Problem.ParseErrors |
| symbols | |
| 1 (Function) | Termlib.Signature |
| 2 (Function) | Termlib.FunctionSymbol |
| 3 (Function) | Termlib.Repl |
| symIdent | Termlib.FunctionSymbol |
| symIsCompound | Termlib.FunctionSymbol |
| symIsMarked | Termlib.FunctionSymbol |
| symLabel | Termlib.FunctionSymbol |
| SymMap | Termlib.Problem.XmlParser |
| target | Termlib.TermGraph |
| Term | Termlib.Term, Termlib.Repl |
| term | |
| 1 (Function) | Termlib.Term.Parser |
| 2 (Function) | Termlib.Problem.TpdbParser |
| TermAlgebra | Termlib.Problem, Termlib.Repl |
| termEq | Termlib.TermGraph |
| TermGraph | |
| 1 (Type/Class) | Termlib.TermGraph |
| 2 (Data Constructor) | Termlib.TermGraph |
| TermGraphRule | Termlib.TermGraph |
| termlist | Termlib.Problem.TpdbParser |
| TermParser | Termlib.Term.Parser |
| TGR | Termlib.TermGraph |
| TGS | |
| 1 (Type/Class) | Termlib.TermGraph |
| 2 (Data Constructor) | Termlib.TermGraph |
| thdecl | Termlib.Problem.TpdbParser |
| theq | Termlib.Problem.TpdbParser |
| thid | Termlib.Problem.TpdbParser |
| toList | |
| 1 (Function) | Termlib.Signature |
| 2 (Function) | Termlib.Substitution |
| toPair | Termlib.Rule |
| topReduced | Termlib.Rule |
| topRewrite | Termlib.Rule |
| topRewrites | Termlib.Rule |
| toRules | Termlib.Trs, Termlib.Repl |
| toTerm | Termlib.TermGraph |
| TPDBParser | Termlib.Problem.TpdbParser |
| Trs | |
| 1 (Type/Class) | Termlib.Trs, Termlib.Repl |
| 2 (Data Constructor) | Termlib.Trs |
| trsComponents | Termlib.Problem, Termlib.Repl |
| typeofproof | Termlib.Problem.TpdbParser |
| underline | Termlib.Utils |
| underlineWith | Termlib.Utils |
| unify | Termlib.Substitution |
| union | |
| 1 (Function) | Termlib.Substitution |
| 2 (Function) | Termlib.Trs, Termlib.Repl |
| unions | Termlib.Trs |
| UnknownError | Termlib.Problem.ParseErrors |
| UnknownFileError | Termlib.Problem.ParseErrors |
| UnsupportedRewritingError | Termlib.Problem.ParseErrors |
| UnsupportedStrategy | Termlib.Problem.ParseErrors |
| User | Termlib.Variable |
| 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 |
| warn | |
| 1 (Function) | Termlib.Problem.XmlParser |
| 2 (Function) | Termlib.Problem.TpdbParser |
| wdp | Termlib.Problem, Termlib.Repl |
| weakComponents | Termlib.Problem, Termlib.Repl |
| weakDPs | Termlib.Problem, Termlib.Repl |
| WeakRule | Termlib.Rule |
| weakTrs | Termlib.Problem, Termlib.Repl |
| wellFormed | |
| 1 (Function) | Termlib.Trs, Termlib.Repl |
| 2 (Function) | Termlib.Problem |
| whitespace | |
| 1 (Function) | Termlib.Term.Parser |
| 2 (Function) | Termlib.Problem.TpdbParser |
| whitespaced | Termlib.Term.Parser |
| whitespaces | Termlib.Problem.TpdbParser |
| whitespaces1 | Termlib.Problem.TpdbParser |
| withFreshCompounds | Termlib.Problem, Termlib.Repl |
| WithTerms | Termlib.Repl |
| wtrs | Termlib.Problem, Termlib.Repl |
| \\ | Termlib.Trs, Termlib.Repl |