Index
| anylist | TPDB.Plain.Read |
| arity | TPDB.Data, TPDB.XTC |
| atTag | TPDB.XTC.Read, TPDB.XTC |
| Complexity | TPDB.Data, TPDB.XTC |
| Declaration | TPDB.Plain.Read |
| declaration | TPDB.Plain.Read |
| Full | TPDB.Data, TPDB.XTC |
| getChild | TPDB.XTC.Read, TPDB.XTC |
| getFunApp | TPDB.XTC.Read, TPDB.XTC |
| getFuncsym | TPDB.XTC.Read, TPDB.XTC |
| getProblem | TPDB.XTC.Read, TPDB.XTC |
| getRule | TPDB.XTC.Read, TPDB.XTC |
| getRules | TPDB.XTC.Read, TPDB.XTC |
| getSignature | TPDB.XTC.Read, TPDB.XTC |
| getStrategy | TPDB.XTC.Read, TPDB.XTC |
| getTerm | TPDB.XTC.Read, TPDB.XTC |
| getTRS | TPDB.XTC.Read, TPDB.XTC |
| getType | TPDB.XTC.Read, TPDB.XTC |
| getVar | TPDB.XTC.Read, TPDB.XTC |
| gotoChild | TPDB.XTC.Read, TPDB.XTC |
| Identifier | |
| 1 (Type/Class) | TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.Data, TPDB.XTC |
| Innermost | TPDB.Data, TPDB.XTC |
| lexer | TPDB.Plain.Read |
| lhs | TPDB.Data, TPDB.XTC |
| make_srs | TPDB.Plain.Read |
| make_trs | TPDB.Plain.Read |
| name | TPDB.Data, TPDB.XTC |
| Node | TPDB.Data, TPDB.XTC |
| Outermost | TPDB.Data, TPDB.XTC |
| Parser | TPDB.Plain.Read |
| Pretty | TPDB.Plain.Write |
| pretty | TPDB.Plain.Write |
| Problem | |
| 1 (Type/Class) | TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.Data, TPDB.XTC |
| Reader | TPDB.Plain.Read |
| reader | TPDB.Plain.Read |
| readProblems | TPDB.XTC.Read, TPDB.XTC |
| repair_variables | TPDB.Plain.Read |
| rhs | TPDB.Data, TPDB.XTC |
| 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 |
| rules | TPDB.Data, TPDB.XTC |
| Rules_Declaration | TPDB.Plain.Read |
| separate | TPDB.Data, TPDB.XTC |
| signature | TPDB.Data, TPDB.XTC |
| SRS | TPDB.Data, TPDB.XTC |
| srs | TPDB.Plain.Read |
| Strategy | TPDB.Data, TPDB.XTC |
| strategy | TPDB.Data, TPDB.XTC |
| Strategy_Declaration | TPDB.Plain.Read |
| strict | TPDB.Data, TPDB.XTC |
| Term | TPDB.Data, TPDB.XTC |
| Termination | TPDB.Data, TPDB.XTC |
| Theory_Declaration | TPDB.Plain.Read |
| top | TPDB.Data, TPDB.XTC |
| TRS | TPDB.Data, TPDB.XTC |
| trs | |
| 1 (Function) | TPDB.Data, TPDB.XTC |
| 2 (Function) | TPDB.Plain.Read |
| Type | TPDB.Data, TPDB.XTC |
| type_ | TPDB.Data, TPDB.XTC |
| Unknown_Declaration | TPDB.Plain.Read |
| Var | TPDB.Data, TPDB.XTC |
| Var_Declaration | TPDB.Plain.Read |