Index
| $$ | TPDB.Pretty |
| <+> | TPDB.Pretty |
| <> | TPDB.Pretty |
| afeArity | TPDB.CPF.Proof.Type |
| afeFilter | TPDB.CPF.Proof.Type |
| afeSymbol | TPDB.CPF.Proof.Type |
| AFIfEqual | TPDB.CPF.Proof.Type |
| AFMax | TPDB.CPF.Proof.Type |
| AFMin | TPDB.CPF.Proof.Type |
| AFNatural | TPDB.CPF.Proof.Type |
| AFProduct | TPDB.CPF.Proof.Type |
| AFSum | TPDB.CPF.Proof.Type |
| AFVariable | TPDB.CPF.Proof.Type |
| angles | TPDB.Pretty |
| anylist | TPDB.Plain.Read |
| apply | TPDB.DP.Unify |
| Arctic | TPDB.CPF.Proof.Type |
| ArgumentFilterEntry | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| ArithFunction | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| arity | |
| 1 (Function) | TPDB.Data, TPDB.XTC |
| 2 (Function) | TPDB.CPF.Proof.Type |
| atTag | |
| 1 (Function) | TPDB.XTC.Read, TPDB.XTC |
| 2 (Function) | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| Auxiliary | TPDB.DP.Transform, TPDB.DP |
| braces | TPDB.Pretty |
| brackets | TPDB.Pretty |
| CertificationProblem | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| CertificationProblemInput | TPDB.CPF.Proof.Type |
| check | TPDB.DP.Graph |
| Coefficient | TPDB.CPF.Proof.Type |
| Coefficient_Coefficient | TPDB.CPF.Proof.Type |
| comma | TPDB.Pretty |
| complain | TPDB.Xml |
| Complexity | TPDB.Data, TPDB.XTC |
| ComplexityClass | TPDB.CPF.Proof.Type |
| complexityClass | TPDB.CPF.Proof.Type |
| ComplexityClassPolynomial | TPDB.CPF.Proof.Type |
| ComplexityInput | TPDB.CPF.Proof.Type |
| ComplexityMeasure | TPDB.CPF.Proof.Type |
| complexityMeasure | TPDB.CPF.Proof.Type |
| ComplexityProof | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| ComplexityProofFIXME | TPDB.CPF.Proof.Type |
| components | TPDB.DP.Graph |
| content | TPDB.Xml.Pretty |
| Contents | TPDB.Xml |
| convert_srs_rule | TPDB.Convert |
| convert_trs_rule | TPDB.Convert |
| cp | TPDB.Xml.Pretty |
| CParser | |
| 1 (Type/Class) | TPDB.Xml |
| 2 (Data Constructor) | TPDB.Xml |
| cpfVersion | TPDB.CPF.Proof.Type |
| Declaration | TPDB.Plain.Read |
| declaration | TPDB.Plain.Read |
| defined | TPDB.DP.Transform, TPDB.DP |
| degree | TPDB.CPF.Proof.Type |
| DepGraphComponent | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| DepGraphProc | TPDB.CPF.Proof.Type |
| DerivationalComplexity | TPDB.CPF.Proof.Type |
| dgcDpProof | TPDB.CPF.Proof.Type |
| dgcDps | TPDB.CPF.Proof.Type |
| dgcRealScc | TPDB.CPF.Proof.Type |
| dimension | TPDB.CPF.Proof.Type |
| displayIO | TPDB.Pretty |
| Doc | TPDB.Pretty |
| doctypedecl | TPDB.Xml.Pretty |
| document | TPDB.Xml.Pretty |
| Domain | TPDB.CPF.Proof.Type |
| domain | TPDB.CPF.Proof.Type |
| dp | TPDB.DP.Transform, TPDB.DP |
| DpProof | TPDB.CPF.Proof.Type |
| DPS | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| DpTrans | TPDB.CPF.Proof.Type |
| dptrans_dpProof | TPDB.CPF.Proof.Type |
| dptrans_dps | TPDB.CPF.Proof.Type |
| edges | TPDB.DP.Graph |
| element | |
| 1 (Function) | TPDB.Xml.Pretty |
| 2 (Function) | TPDB.Xml |
| element0 | TPDB.Xml |
| empty | TPDB.Pretty |
| enclose | TPDB.Pretty |
| Equal | TPDB.Data, TPDB.XTC |
| equal | TPDB.Data, TPDB.XTC |
| equal_rules | TPDB.Data, TPDB.XTC |
| errmsg | TPDB.Xml |
| escape | TPDB.Xml |
| Exotic | TPDB.CPF.Proof.Type |
| E_Integer | TPDB.CPF.Proof.Type |
| E_Rational | TPDB.CPF.Proof.Type |
| FiniteModel | TPDB.CPF.Proof.Type |
| fixpoint | TPDB.DP.Usable |
| fresh_var | TPDB.DP.TCap |
| fromMarkedIdentifier | TPDB.CPF.Proof.Util |
| from_strict_rules | TPDB.Data, TPDB.XTC |
| fsep | TPDB.Pretty |
| Full | TPDB.Data, TPDB.XTC |
| get | TPDB.Input |
| getChild | |
| 1 (Function) | TPDB.XTC.Read, TPDB.XTC |
| 2 (Function) | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getComplexityClass | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getComplexityInput | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getComplexityMeasure | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getCP | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getDummy | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getE | TPDB.Input |
| getE_trs | TPDB.Input |
| getFunApp | |
| 1 (Function) | TPDB.XTC.Read, TPDB.XTC |
| 2 (Function) | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getFuncsym | TPDB.XTC.Read, TPDB.XTC |
| getInput | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getProblem | TPDB.XTC.Read, TPDB.XTC |
| getProof | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getRule | |
| 1 (Function) | TPDB.XTC.Read, TPDB.XTC |
| 2 (Function) | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getRules | |
| 1 (Function) | TPDB.XTC.Read, TPDB.XTC |
| 2 (Function) | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getSignature | TPDB.XTC.Read, TPDB.XTC |
| getStartterm | TPDB.XTC.Read, TPDB.XTC |
| getStrategy | TPDB.XTC.Read, TPDB.XTC |
| getTerm | |
| 1 (Function) | TPDB.XTC.Read, TPDB.XTC |
| 2 (Function) | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getTerminationInput | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getTRS | TPDB.XTC.Read, TPDB.XTC |
| getTrs | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getTrsInput | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getTrsWith | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getType | TPDB.XTC.Read, TPDB.XTC |
| getVar | |
| 1 (Function) | TPDB.XTC.Read, TPDB.XTC |
| 2 (Function) | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| get_srs | TPDB.Input |
| get_trs | TPDB.Input |
| gotoChild | |
| 1 (Function) | TPDB.XTC.Read, TPDB.XTC |
| 2 (Function) | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| hcat | TPDB.Pretty |
| hsep | TPDB.Pretty |
| Identifier | |
| 1 (Type/Class) | TPDB.Data, TPDB.XTC, TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.Data, TPDB.XTC |
| info | TPDB.Xml |
| Innermost | TPDB.Data, TPDB.XTC |
| input | TPDB.CPF.Proof.Type |
| Interpret | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| Interpretation | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| Interpretation_Type | TPDB.CPF.Proof.Type |
| interpretation_type | TPDB.CPF.Proof.Type |
| interprets | TPDB.CPF.Proof.Type |
| isMarked | TPDB.DP.Transform, TPDB.DP |
| isOriginal | TPDB.DP.Transform, TPDB.DP |
| isStrictSubtermOf | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| isSubtermOf | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| isvar | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Label | TPDB.CPF.Proof.Type |
| LblNumber | TPDB.CPF.Proof.Type |
| LblSymbol | TPDB.CPF.Proof.Type |
| leafpos | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| lexer | TPDB.Plain.Read |
| lhs | TPDB.Data, TPDB.XTC |
| lsyms | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| lvars | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| make_srs | TPDB.Plain.Read |
| make_trs | TPDB.Plain.Read |
| many | TPDB.Xml |
| Marked | |
| 1 (Type/Class) | TPDB.DP.Transform, TPDB.DP |
| 2 (Data Constructor) | TPDB.DP.Transform, TPDB.DP |
| markedSymbols | TPDB.CPF.Proof.Type |
| mark_top | TPDB.DP.Transform, TPDB.DP |
| Matrix | TPDB.CPF.Proof.Type |
| Matrix_Interpretation | TPDB.CPF.Proof.Type |
| mgu | TPDB.DP.Unify |
| Minus_Infinite | TPDB.CPF.Proof.Type |
| mirror | TPDB.Mirror |
| mk | TPDB.Data, TPDB.XTC |
| mkel | TPDB.Xml |
| mknullary | TPDB.Data, TPDB.XTC |
| mkunary | TPDB.Data, TPDB.XTC |
| Model | TPDB.CPF.Proof.Type |
| model | TPDB.CPF.Proof.Type |
| must_succeed | TPDB.Xml |
| name | |
| 1 (Function) | TPDB.Data, TPDB.XTC |
| 2 (Function) | TPDB.CPF.Proof.Type |
| Naturals | TPDB.CPF.Proof.Type |
| needed | TPDB.DP.Usable |
| nest | TPDB.Pretty |
| Node | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| nospaceString | TPDB.Xml |
| no_sharp_name_HACK | TPDB.Data.Xml |
| OCPRedPair | TPDB.CPF.Proof.Type |
| OrderingConstraintProof | TPDB.CPF.Proof.Type |
| orelse | TPDB.Xml |
| Origin | TPDB.CPF.Proof.Type |
| origin | TPDB.CPF.Proof.Type |
| Original | TPDB.DP.Transform, TPDB.DP |
| Outermost | TPDB.Data, TPDB.XTC |
| parens | TPDB.Pretty |
| Parser | TPDB.Plain.Read |
| PathOrder | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| peArity | TPDB.CPF.Proof.Type |
| peek | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| peek_symbol | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| pePrecedence | TPDB.CPF.Proof.Type |
| peSymbol | TPDB.CPF.Proof.Type |
| PIsEmpty | TPDB.CPF.Proof.Type |
| Plus_Infinite | TPDB.CPF.Proof.Type |
| pmap | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| poke | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| pokes | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| poke_symbol | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Polynomial | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| Polynomial_Coefficient | TPDB.CPF.Proof.Type |
| Polynomial_Variable | TPDB.CPF.Proof.Type |
| pos | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Position | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| positions | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| PrecedenceEntry | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| Pretty | TPDB.Pretty |
| pretty | TPDB.Pretty |
| prettyList | TPDB.Pretty |
| PrettyTerm | TPDB.Plain.Write |
| prettyTerm | TPDB.Plain.Write |
| Problem | |
| 1 (Type/Class) | TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.Data, TPDB.XTC |
| Product | TPDB.CPF.Proof.Type |
| prolog | TPDB.Xml.Pretty |
| Proof | TPDB.CPF.Proof.Type |
| proof | TPDB.CPF.Proof.Type |
| ProofOrigin | TPDB.CPF.Proof.Type |
| punctuate | TPDB.Pretty |
| Rationals | TPDB.CPF.Proof.Type |
| readCP | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| Reader | TPDB.Plain.Read |
| reader | TPDB.Plain.Read |
| readProblems | TPDB.XTC.Read, TPDB.XTC |
| RedPair | TPDB.CPF.Proof.Type |
| RedPairProc | TPDB.CPF.Proof.Type |
| Relation | TPDB.Data, TPDB.XTC |
| relation | TPDB.Data, TPDB.XTC |
| RelativeNonterminationProof | TPDB.CPF.Proof.Type |
| RelativeTerminationProof | TPDB.CPF.Proof.Type |
| render | TPDB.Pretty |
| renderCompact | TPDB.Pretty |
| repair_signature_srs | TPDB.Plain.Read |
| repair_signature_trs | TPDB.Plain.Read |
| repair_variables | TPDB.Plain.Read |
| required | TPDB.DP.Usable |
| restrict | TPDB.DP.Usable |
| rhs | TPDB.Data, TPDB.XTC |
| RIsEmpty | TPDB.CPF.Proof.Type |
| rmkel | TPDB.Xml |
| RPInterpretation | TPDB.CPF.Proof.Type |
| rpmap | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| RPPathOrder | TPDB.CPF.Proof.Type |
| rppDpProof | TPDB.CPF.Proof.Type |
| rppDps | TPDB.CPF.Proof.Type |
| rppOrderingConstraintProof | TPDB.CPF.Proof.Type |
| rppUsableRules | TPDB.CPF.Proof.Type |
| rr_orderingConstraintProof | TPDB.CPF.Proof.Type |
| RS | |
| 1 (Type/Class) | TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.Data, TPDB.XTC |
| Rule | |
| 1 (Type/Class) | TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.Data, TPDB.XTC |
| RuleRemoval | TPDB.CPF.Proof.Type |
| rules | TPDB.Data, TPDB.XTC |
| Rules_Declaration | TPDB.Plain.Read |
| RuntimeComplexity | TPDB.CPF.Proof.Type |
| Semlab | TPDB.CPF.Proof.Type |
| SemLabProc | TPDB.CPF.Proof.Type |
| separate | TPDB.Data, TPDB.XTC |
| SES | TPDB.Data, TPDB.XTC |
| sharp_name_HACK | TPDB.Data.Xml |
| signature | TPDB.Data, TPDB.XTC |
| SimpleDoc | TPDB.Pretty |
| slpDpProof | TPDB.CPF.Proof.Type |
| slpDps | TPDB.CPF.Proof.Type |
| slpModel | TPDB.CPF.Proof.Type |
| slpTrs | TPDB.CPF.Proof.Type |
| sortVariables | TPDB.CPF.Proof.Util |
| spine | TPDB.Convert |
| SRS | TPDB.Data, TPDB.XTC |
| srs | TPDB.Plain.Read |
| srs2trs | TPDB.Convert |
| Startterm | TPDB.Data, TPDB.XTC |
| startterm | TPDB.Data, TPDB.XTC |
| Startterm_Constructor_based | TPDB.Data, TPDB.XTC |
| Startterm_Full | TPDB.Data, TPDB.XTC |
| Strategy | TPDB.Data, TPDB.XTC |
| strategy | TPDB.Data, TPDB.XTC |
| Strategy_Declaration | TPDB.Plain.Read |
| Strict | TPDB.Data, TPDB.XTC |
| strict | TPDB.Data, TPDB.XTC |
| strictDimension | TPDB.CPF.Proof.Type |
| strict_rules | TPDB.Data, TPDB.XTC |
| strict_subterms | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| StringReversal | TPDB.CPF.Proof.Type |
| strip | TPDB.Xml |
| subterms | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Sum | TPDB.CPF.Proof.Type |
| Symbol | TPDB.CPF.Proof.Type |
| symbol | TPDB.CPF.Proof.Type |
| symbolize | TPDB.CPF.Proof.Write, TPDB.CPF.Proof.Xml |
| SymLabel | TPDB.CPF.Proof.Type |
| SymName | TPDB.CPF.Proof.Type |
| sympos | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| syms | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| SymSharp | TPDB.CPF.Proof.Type |
| symsl | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| sys | TPDB.DP.Graph |
| tcap | TPDB.DP.TCap |
| Term | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Termination | TPDB.Data, TPDB.XTC |
| TES | TPDB.Data, TPDB.XTC, TPDB.CPF.Proof.Type |
| text | TPDB.Pretty |
| Theory_Declaration | TPDB.Plain.Read |
| times | TPDB.DP.Unify |
| ToExotic | TPDB.CPF.Proof.Type |
| toExotic | TPDB.CPF.Proof.Type |
| Tool | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| top | TPDB.Data, TPDB.XTC |
| tox | TPDB.CPF.Proof.Write, TPDB.CPF.Proof.Xml |
| Tropical | TPDB.CPF.Proof.Type |
| TRS | TPDB.Data, TPDB.XTC |
| trs | |
| 1 (Function) | TPDB.Data, TPDB.XTC |
| 2 (Function) | TPDB.Plain.Read |
| 3 (Function) | TPDB.CPF.Proof.Type |
| trs2srs | TPDB.Convert |
| TrsInput | TPDB.CPF.Proof.Type |
| trsinput_trs | TPDB.CPF.Proof.Type |
| TrsNonterminationProof | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| TrsNonterminationProofFIXME | TPDB.CPF.Proof.Type |
| TrsTerminationProof | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| trsTerminationProof | TPDB.CPF.Proof.Type |
| Type | TPDB.Data, TPDB.XTC |
| type_ | TPDB.Data, TPDB.XTC |
| ulpDpProof | TPDB.CPF.Proof.Type |
| ulpDps | TPDB.CPF.Proof.Type |
| ulpTrs | TPDB.CPF.Proof.Type |
| unCParser | TPDB.Xml |
| unifies | TPDB.DP.Unify |
| Unknown_Declaration | TPDB.Plain.Read |
| Unlab | TPDB.CPF.Proof.Type |
| UnlabProc | TPDB.CPF.Proof.Type |
| unspine | TPDB.Convert |
| usable | TPDB.DP.Usable |
| Value | TPDB.CPF.Proof.Type |
| value | TPDB.CPF.Proof.Type |
| Var | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| varpos | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| vars | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Var_Declaration | TPDB.Plain.Read |
| vcat | TPDB.Pretty |
| Vector | TPDB.CPF.Proof.Type |
| version | TPDB.CPF.Proof.Type |
| vmap | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| voccs | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| vsep | TPDB.Pretty |
| walk | TPDB.DP.TCap |
| Weak | TPDB.Data, TPDB.XTC |
| weak | TPDB.Data, TPDB.XTC |
| weak_rules | TPDB.Data, TPDB.XTC |
| with_rules | TPDB.Data, TPDB.XTC |
| wrap | TPDB.Xml |
| xfromstring | TPDB.Xml |
| XRead | TPDB.Xml |
| xread | TPDB.Xml |
| _identifier_hash | TPDB.Data, TPDB.XTC |