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 |