Index - G
| get | TPDB.Input |
| getChild | |
| 1 (Function) | TPDB.XTC.Read, TPDB.XTC |
| 2 (Function) | 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 |
| getCP | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getDummy | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getE | TPDB.Input |
| getE_trs | TPDB.Input |
| getFunApp | |
| 1 (Function) | TPDB.XTC.Read, TPDB.XTC |
| 2 (Function) | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getFuncsym | TPDB.XTC.Read, TPDB.XTC |
| getInput | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getProblem | TPDB.XTC.Read, TPDB.XTC |
| getProof | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getRule | |
| 1 (Function) | TPDB.XTC.Read, TPDB.XTC |
| 2 (Function) | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getRules | |
| 1 (Function) | TPDB.XTC.Read, TPDB.XTC |
| 2 (Function) | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getSignature | TPDB.XTC.Read, TPDB.XTC |
| getStartterm | TPDB.XTC.Read, TPDB.XTC |
| getStrategy | TPDB.XTC.Read, TPDB.XTC |
| getTerm | |
| 1 (Function) | TPDB.XTC.Read, TPDB.XTC |
| 2 (Function) | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getTerminationInput | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getTRS | TPDB.XTC.Read, TPDB.XTC |
| getTrs | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getTrsInput | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getTrsWith | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getType | TPDB.XTC.Read, TPDB.XTC |
| getVar | |
| 1 (Function) | TPDB.XTC.Read, TPDB.XTC |
| 2 (Function) | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| get_srs | TPDB.Input |
| get_trs | TPDB.Input |
| gotoChild | |
| 1 (Function) | TPDB.XTC.Read, TPDB.XTC |
| 2 (Function) | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |