Index
| $$ | TPDB.Pretty |
| &| | TPDB.Xml |
| <+> | TPDB.Pretty |
| <> | TPDB.Pretty |
| A | TPDB.Data, TPDB.XTC |
| AC | TPDB.Data, TPDB.XTC |
| ACRewriteSystem | TPDB.CPF.Proof.Type |
| ACTerminationProof | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| ACTerminationProofFIXME | TPDB.CPF.Proof.Type |
| 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.Identifier, TPDB.Data, TPDB.XTC |
| 2 (Function) | TPDB.CPF.Proof.Type |
| asymbols | TPDB.CPF.Proof.Type |
| Attributes | |
| 1 (Type/Class) | TPDB.Data.Attributes |
| 2 (Data Constructor) | TPDB.Data.Attributes |
| attributes | TPDB.Data, TPDB.XTC |
| Auxiliary | TPDB.DP.Transform, TPDB.DP |
| Bounds | TPDB.CPF.Proof.Type |
| bounds_bound | TPDB.CPF.Proof.Type |
| bounds_closedTreeAutomaton | TPDB.CPF.Proof.Type |
| bounds_criterion | TPDB.CPF.Proof.Type |
| bounds_finalStates | TPDB.CPF.Proof.Type |
| Bounds_Type | TPDB.CPF.Proof.Type |
| bounds_type | TPDB.CPF.Proof.Type |
| Box | TPDB.CPF.Proof.Type |
| braces | TPDB.Pretty |
| brackets | TPDB.Pretty |
| C | TPDB.Data, TPDB.XTC |
| 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 |
| Compatibility | TPDB.CPF.Proof.Type |
| 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 |
| compute_attributes | TPDB.Data.Attributes |
| content | TPDB.Xml |
| Context | TPDB.CPF.Proof.Type |
| context | TPDB.CPF.Proof.Type |
| convert_srs_rule | TPDB.Convert |
| convert_trs_rule | TPDB.Convert |
| cpfVersion | TPDB.CPF.Proof.Type |
| Criterion | TPDB.CPF.Proof.Type |
| csymbols | TPDB.CPF.Proof.Type |
| Declaration | TPDB.Plain.Read |
| declaration | TPDB.Plain.Read |
| def | TPDB.XTC.Write, TPDB.XTC |
| 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 |
| depth | |
| 1 (Function) | TPDB.Data.Term.Cached |
| 2 (Function) | TPDB.Data.Term.Plain, TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| 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 |
| document | TPDB.XTC.Write, TPDB.XTC |
| 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 |
| element1 | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| empty | TPDB.Pretty |
| enclose | TPDB.Pretty |
| encloseSep | TPDB.Pretty |
| Equal | TPDB.Data.Rule, TPDB.Data, TPDB.XTC |
| equal | TPDB.Data.Rule, TPDB.Data, TPDB.XTC |
| EqualityRemoval | TPDB.CPF.Proof.Type |
| equal_rules | TPDB.Data, TPDB.XTC |
| Equations | TPDB.Data, TPDB.XTC |
| escape | TPDB.Xml |
| Exotic | TPDB.CPF.Proof.Type |
| E_Integer | TPDB.CPF.Proof.Type |
| E_Rational | TPDB.CPF.Proof.Type |
| fc_after | TPDB.CPF.Proof.Type |
| fc_before | TPDB.CPF.Proof.Type |
| fc_here | TPDB.CPF.Proof.Type |
| fc_symbol | TPDB.CPF.Proof.Type |
| FiniteModel | TPDB.CPF.Proof.Type |
| fixpoint | TPDB.DP.Usable |
| FlatContextClosure | TPDB.CPF.Proof.Type |
| flatContexts | TPDB.CPF.Proof.Type |
| fromDoc | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| fromMarkedIdentifier | TPDB.CPF.Proof.Util |
| from_strict_rules | TPDB.Data, TPDB.XTC |
| fsep | TPDB.Pretty |
| fs_arity | TPDB.Data, TPDB.XTC |
| fs_name | TPDB.Data, TPDB.XTC |
| fs_replacementmap | TPDB.Data, TPDB.XTC |
| fs_theory | TPDB.Data, TPDB.XTC |
| Full | TPDB.Data, TPDB.XTC |
| full_signature | TPDB.Data, TPDB.XTC |
| FunContext | TPDB.CPF.Proof.Type |
| Funcsym | |
| 1 (Type/Class) | TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.Data, TPDB.XTC |
| get | |
| 1 (Function) | TPDB.Input.Memory |
| 2 (Function) | TPDB.Input.File, TPDB.Input |
| getACTerminationInput | 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 |
| getDummy | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getE | TPDB.Input.File, TPDB.Input |
| getE_trs | TPDB.Input.File, TPDB.Input |
| getFunApp | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getInput | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getProof | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getRule | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getRulesWith | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getSymbol | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getTerm | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getTerminationInput | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getTrsInput | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getVar | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| get_srs | TPDB.Input.File, TPDB.Input |
| get_trs | TPDB.Input.File, TPDB.Input |
| hang | TPDB.Pretty |
| hcat | TPDB.Pretty |
| HigherOrderSignature | TPDB.Data, TPDB.XTC |
| hsep | TPDB.Pretty |
| Identifier | |
| 1 (Type/Class) | TPDB.Data.Identifier, TPDB.Data, TPDB.XTC, TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.Data.Identifier, TPDB.Data, TPDB.XTC |
| ignoredOrigin | TPDB.CPF.Proof.Type |
| indent | TPDB.Pretty |
| indexed | TPDB.DP.Graph |
| 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 |
| Kind | TPDB.CPF.Proof.Type |
| Label | TPDB.CPF.Proof.Type |
| LblNumber | TPDB.CPF.Proof.Type |
| LblSymbol | TPDB.CPF.Proof.Type |
| leafpos | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| left_linear | TPDB.Data.Attributes |
| lexer | TPDB.Plain.Read |
| lhs | TPDB.Data.Rule, TPDB.Data, TPDB.XTC |
| linear | TPDB.Data.Attributes |
| list | TPDB.Pretty |
| Loop | TPDB.CPF.Proof.Type |
| 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 |
| mark | TPDB.DP.Transform, TPDB.DP |
| 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 |
| Match | TPDB.CPF.Proof.Type |
| match | TPDB.DP.Unify |
| Matrix | TPDB.CPF.Proof.Type |
| Matrix_Interpretation | TPDB.CPF.Proof.Type |
| max_arity | TPDB.Data.Attributes |
| max_term_depth | TPDB.Data.Attributes |
| max_term_size | TPDB.Data.Attributes |
| max_var_count | TPDB.Data.Attributes |
| max_var_depth | TPDB.Data.Attributes |
| mempty | TPDB.Pretty |
| mgu | TPDB.DP.Unify |
| Minus_Infinite | TPDB.CPF.Proof.Type |
| mirror | TPDB.Mirror |
| mk | TPDB.Data.Identifier, 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 |
| Mono | TPDB.CPF.Proof.Type |
| name | |
| 1 (Function) | TPDB.Data.Identifier, TPDB.Data, TPDB.XTC |
| 2 (Function) | TPDB.CPF.Proof.Type |
| Naturals | TPDB.CPF.Proof.Type |
| needed | TPDB.DP.Usable |
| nest | TPDB.Pretty |
| Node | |
| 1 (Data Constructor) | TPDB.Data.Term.Cached |
| 2 (Data Constructor) | TPDB.Data.Term.Plain, 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 |
| Origin | TPDB.CPF.Proof.Type |
| origin | TPDB.CPF.Proof.Type |
| Original | TPDB.DP.Transform, TPDB.DP |
| original_variable | TPDB.Data.Rule, TPDB.Data, TPDB.XTC |
| Outermost | TPDB.Data, TPDB.XTC |
| parens | TPDB.Pretty |
| parseContents | TPDB.Xml |
| 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 |
| Proof | TPDB.CPF.Proof.Type |
| proof | TPDB.CPF.Proof.Type |
| ProofOrigin | TPDB.CPF.Proof.Type |
| Property | TPDB.Data, TPDB.XTC |
| 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 |
| readFile | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| readProblemF | TPDB.XTC.Read, TPDB.XTC |
| readProblemT | TPDB.XTC.Read, TPDB.XTC |
| RedPair | TPDB.CPF.Proof.Type |
| RedPairProc | TPDB.CPF.Proof.Type |
| Relation | TPDB.Data.Rule, TPDB.Data, TPDB.XTC |
| relation | TPDB.Data.Rule, TPDB.Data, TPDB.XTC |
| Relative | TPDB.CPF.Proof.Type |
| relative | TPDB.CPF.Proof.Write, TPDB.CPF.Proof.Xml |
| RelativeNonterminationProof | TPDB.CPF.Proof.Type |
| RelativeTerminationProof | TPDB.CPF.Proof.Type |
| remain | TPDB.CPF.Proof.Type |
| remove | TPDB.CPF.Proof.Type |
| render | TPDB.Pretty |
| renderCompact | TPDB.Pretty |
| renderLBS | TPDB.XTC.Write, TPDB.XTC |
| renderPretty | TPDB.Pretty |
| renderText | TPDB.XTC.Write, TPDB.XTC |
| renderWide | TPDB.Pretty |
| repair_signature_srs | TPDB.Plain.Read |
| repair_signature_trs | TPDB.Plain.Read |
| repair_variables | TPDB.Plain.Read |
| Replacementmap | |
| 1 (Type/Class) | TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.Data, TPDB.XTC |
| required | TPDB.DP.Usable |
| restrict | TPDB.DP.Usable |
| RewriteSequence | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| rewriteSequence | TPDB.CPF.Proof.Type |
| RewriteStep | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| rhs | TPDB.Data.Rule, TPDB.Data, TPDB.XTC |
| right_linear | TPDB.Data.Attributes |
| RIsEmpty | TPDB.CPF.Proof.Type |
| rmkel | TPDB.Xml |
| Roof | TPDB.CPF.Proof.Type |
| RootLabeling | TPDB.CPF.Proof.Type |
| 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 |
| rppMono | TPDB.CPF.Proof.Type |
| rppOrderingConstraintProof | TPDB.CPF.Proof.Type |
| rppTrs | 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 |
| rs_position | TPDB.CPF.Proof.Type |
| rs_rule | TPDB.CPF.Proof.Type |
| rs_term | TPDB.CPF.Proof.Type |
| Rule | |
| 1 (Type/Class) | TPDB.Data.Rule, TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.Data.Rule, TPDB.Data, TPDB.XTC |
| RuleRemoval | TPDB.CPF.Proof.Type |
| rules | TPDB.Data, TPDB.XTC |
| Rules_Declaration | TPDB.Plain.Read |
| RuntimeComplexity | TPDB.CPF.Proof.Type |
| safe_maximum | TPDB.Data.Attributes |
| Semlab | TPDB.CPF.Proof.Type |
| SemLabProc | TPDB.CPF.Proof.Type |
| sep | TPDB.Pretty |
| separate | TPDB.Data, TPDB.XTC |
| SES | TPDB.Data, TPDB.XTC |
| set_arity | TPDB.Convert |
| Signature | |
| 1 (Type/Class) | TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.Data, TPDB.XTC |
| signature | TPDB.Data, TPDB.XTC |
| SIsEmpty | TPDB.CPF.Proof.Type |
| size | |
| 1 (Function) | TPDB.Data.Term.Cached |
| 2 (Function) | TPDB.Data.Term.Plain, TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| size_of_signature | TPDB.Data.Attributes |
| 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 |
| Split | TPDB.CPF.Proof.Type |
| SRS | TPDB.Data, TPDB.XTC |
| srs | TPDB.Plain.Read |
| srs2trs | TPDB.Convert |
| Standard | TPDB.CPF.Proof.Type |
| standard | TPDB.CPF.Proof.Write, TPDB.CPF.Proof.Xml |
| Startterm | TPDB.Data, TPDB.XTC |
| startterm | TPDB.Data, TPDB.XTC |
| Startterm_Constructor_based | TPDB.Data, TPDB.XTC |
| Startterm_Full | TPDB.Data, TPDB.XTC |
| State | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| Strategy | TPDB.Data, TPDB.XTC |
| strategy | TPDB.Data, TPDB.XTC |
| Strategy_Declaration | TPDB.Plain.Read |
| Strict | |
| 1 (Data Constructor) | TPDB.Data.Rule, TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| strict | TPDB.Data.Rule, 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 |
| SubstEntry | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| Substitution | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| substitution | TPDB.CPF.Proof.Type |
| 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 | |
| 1 (Function) | TPDB.Data.Term.Cached |
| 2 (Function) | TPDB.Data.Term.Plain, TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| SymSharp | TPDB.CPF.Proof.Type |
| symsl | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| sys | TPDB.DP.Graph |
| ta_finalStates | TPDB.CPF.Proof.Type |
| ta_transitions | TPDB.CPF.Proof.Type |
| tcap | TPDB.DP.TCap |
| Term | |
| 1 (Type/Class) | TPDB.Data.Term.Cached |
| 2 (Type/Class) | TPDB.Data.Term.Plain, TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| TermC | |
| 1 (Type/Class) | TPDB.Data.Term.Cached |
| 2 (Type/Class) | TPDB.Data.Term.Plain, TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Termination | TPDB.Data, TPDB.XTC |
| TES | TPDB.Data, TPDB.XTC, TPDB.CPF.Proof.Type |
| text | TPDB.Pretty |
| tfold | |
| 1 (Function) | TPDB.Data.Term.Cached |
| 2 (Function) | TPDB.Data.Term.Plain, TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Theory | TPDB.Data, TPDB.XTC |
| Theorydecl | TPDB.Data, TPDB.XTC |
| Theory_Declaration | TPDB.Plain.Read |
| times | TPDB.DP.Unify |
| tmap | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| TNP_RuleRemoval | TPDB.CPF.Proof.Type |
| TNP_StringReversal | TPDB.CPF.Proof.Type |
| toContents | TPDB.Xml |
| 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 |
| tool | TPDB.CPF.Proof.Type |
| top | TPDB.Data.Rule, TPDB.Data, TPDB.XTC |
| total_term_size | TPDB.Data.Attributes |
| tox | TPDB.CPF.Proof.Write, TPDB.CPF.Proof.Xml |
| Transition | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| Transition_Epsilon | TPDB.CPF.Proof.Type |
| Transition_Lhs | TPDB.CPF.Proof.Type |
| transition_lhs | TPDB.CPF.Proof.Type |
| transition_rhs | TPDB.CPF.Proof.Type |
| Transition_Symbol | TPDB.CPF.Proof.Type |
| TreeAutomaton | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| Tropical | TPDB.CPF.Proof.Type |
| TRS | TPDB.Data, TPDB.XTC |
| Trs | TPDB.CPF.Proof.Type |
| 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 |
| TrsTerminationProof | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| trsTerminationProof | TPDB.CPF.Proof.Type |
| trsTerminationProof_Relative | TPDB.CPF.Proof.Type |
| trsTerminationProof_Standard | TPDB.CPF.Proof.Type |
| tr_arguments | TPDB.CPF.Proof.Type |
| tr_height | TPDB.CPF.Proof.Type |
| tr_symbol | TPDB.CPF.Proof.Type |
| tupled | TPDB.Pretty |
| 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 |
| unifies | TPDB.DP.Unify |
| Unknown_Declaration | TPDB.Plain.Read |
| UnlabProc | TPDB.CPF.Proof.Type |
| unspine | TPDB.Convert |
| usable | TPDB.DP.Usable |
| Value | TPDB.CPF.Proof.Type |
| value | TPDB.CPF.Proof.Type |
| Var | |
| 1 (Data Constructor) | TPDB.Data.Term.Cached |
| 2 (Data Constructor) | TPDB.Data.Term.Plain, TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| 3 (Type/Class) | TPDB.Data, TPDB.Data, TPDB.XTC, TPDB.XTC |
| varcount | TPDB.Data.Attributes |
| varcount_term | TPDB.Data.Attributes |
| VariableConditionViolated | TPDB.CPF.Proof.Type |
| Variables | TPDB.Data, TPDB.XTC |
| variables | TPDB.Data, TPDB.XTC |
| varpos | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| vars | |
| 1 (Function) | TPDB.Data.Term.Cached |
| 2 (Function) | TPDB.Data.Term.Plain, 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 |
| Weak | |
| 1 (Data Constructor) | TPDB.Data.Rule, TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| weak | TPDB.Data.Rule, TPDB.Data, TPDB.XTC |
| weak_rules | TPDB.Data, TPDB.XTC |
| with_rules | TPDB.Data, TPDB.XTC |
| writeFile | TPDB.XTC.Write, TPDB.XTC |
| XmlContent | TPDB.Xml |
| _identifier_hash | TPDB.Data.Identifier, TPDB.Data, TPDB.XTC |