TPDB.CPF.Proof.Read

readCP

readCP_with_tracelevel

getCP

getInput

getTerminationInput

getComplexityInput

getComplexityMeasure

getComplexityClass

getTrsInput

getTrs

getTrsWith

getProof

getDummy

getRules

getRule

getTerm

getVar

getFunApp

gotoChild

getChild