TPDB.CPF.Proof.Read

Documentation

readCP :: String -> IO [CertificationProblem]

dangerous: not all constructor arguments will be set. the function produces something like

CertificationProblem { input = CertificationProblemInput , proof = TrsTerminationProof undefined }

getCP :: ArrowXml cat => cat (NTree XNode) CertificationProblem

getInput :: ArrowXml a => a (NTree XNode) CertificationProblemInput

getTerminationInput :: ArrowXml cat => cat (NTree XNode) CertificationProblemInput

getComplexityInput :: ArrowXml cat => cat (NTree XNode) CertificationProblemInput

getComplexityMeasure :: ArrowXml a => a (NTree XNode) ComplexityMeasure

getComplexityClass :: ArrowXml t => t (NTree XNode) ComplexityClass

getTrsInput :: ArrowXml t => t (NTree XNode) [Rule (Term Identifier Identifier)]

getTrs :: ArrowXml t => t (NTree XNode) [Rule (Term Identifier Identifier)]

getTrsWith :: ArrowXml t => Relation -> t (NTree XNode) [Rule (Term Identifier Identifier)]

getProof :: ArrowXml a => a (NTree XNode) Proof

getDummy :: ArrowXml cat => String -> c -> cat (NTree XNode) c

getRules :: ArrowXml t => Relation -> t (NTree XNode) [Rule (Term Identifier Identifier)]

getRule :: ArrowXml t => Relation -> t (NTree XNode) (Rule (Term Identifier Identifier))

getTerm :: ArrowXml a => a XmlTree (Term Identifier Identifier)

getVar :: ArrowXml t => t XmlTree (Term Identifier s)

getFunApp :: ArrowXml a => a XmlTree (Term Identifier Identifier)

gotoChild :: ArrowXml t => String -> t (NTree XNode) (NTree XNode)

getChild :: ArrowXml t => String -> t (NTree XNode) XmlTree

atTag :: ArrowXml a => String -> a (NTree XNode) XmlTree