Index - G
| get | |
| 1 (Function) | TPDB.Input.Memory |
| 2 (Function) | TPDB.Input.File, TPDB.Input |
| getACTerminationInput | 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 |
| getDummy | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getE | TPDB.Input.File, TPDB.Input |
| getE_trs | TPDB.Input.File, TPDB.Input |
| getFunApp | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getInput | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getProof | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getRule | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getRulesWith | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getSymbol | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getTerm | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getTerminationInput | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getTrsInput | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| getVar | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
| get_srs | TPDB.Input.File, TPDB.Input |
| get_trs | TPDB.Input.File, TPDB.Input |