get | |
1 (Function) | TPDB.Input.Memory |
2 (Function) | TPDB.Input.File, 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.File, TPDB.Input |
getE_trs | TPDB.Input.File, TPDB.Input |
getFOSignature | TPDB.XTC.Read, TPDB.XTC |
getFunApp | |
1 (Function) | TPDB.XTC.Read, TPDB.XTC |
2 (Function) | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |
getFuncsym | TPDB.XTC.Read, TPDB.XTC |
getHOSignature | 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 |
getRead | TPDB.XTC.Read, TPDB.XTC |
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.File, TPDB.Input |
get_trs | TPDB.Input.File, TPDB.Input |
gotoChild | |
1 (Function) | TPDB.XTC.Read, TPDB.XTC |
2 (Function) | TPDB.CPF.Proof.Read, TPDB.CPF.Proof.Xml |