ta_finalStates | TPDB.CPF.Proof.Type |
ta_transitions | TPDB.CPF.Proof.Type |
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 | TPDB.Data, TPDB.XTC |
Theorydecl | TPDB.Data, TPDB.XTC |
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 |
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 | |
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 |
tr_arguments | TPDB.CPF.Proof.Type |
tr_height | TPDB.CPF.Proof.Type |
tr_symbol | TPDB.CPF.Proof.Type |
Type | TPDB.Data, TPDB.XTC |
type_ | TPDB.Data, TPDB.XTC |