Index - R
| Rationals | TPDB.CPF.Proof.Type |
| readCP | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| readCP_with_tracelevel | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| Reader | TPDB.Plain.Read |
| reader | TPDB.Plain.Read |
| readProblems | TPDB.XTC.Read, TPDB.XTC |
| readProblemsBS | 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 |
| 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 |
| Replacementmap | |
| 1 (Type/Class) | TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.Data, TPDB.XTC |
| required | TPDB.DP.Usable |
| restrict | TPDB.DP.Usable |
| 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 |
| 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.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 |