Safe Haskell | None |
---|---|
Language | Haskell98 |
- readCP :: String -> IO [CertificationProblem]
- readCP_with_tracelevel :: Int -> String -> IO [CertificationProblem]
- getCP :: ArrowXml cat => cat (NTree XNode) CertificationProblem
- getInput :: ArrowXml a => a XmlTree CertificationProblemInput
- getTerminationInput :: ArrowXml cat => cat XmlTree CertificationProblemInput
- getComplexityInput :: ArrowXml cat => cat XmlTree 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 t1 => String -> t -> t1 (NTree XNode) t
- 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
Documentation
readCP :: String -> IO [CertificationProblem] Source
dangerous: not all constructor arguments will be set. the function produces something like
CertificationProblem { input = CertificationProblemInput , proof = TrsTerminationProof undefined }
readCP_with_tracelevel :: Int -> String -> IO [CertificationProblem] Source
getInput :: ArrowXml a => a XmlTree CertificationProblemInput Source
getTerminationInput :: ArrowXml cat => cat XmlTree CertificationProblemInput Source
getComplexityInput :: ArrowXml cat => cat XmlTree CertificationProblemInput Source
getComplexityMeasure :: ArrowXml a => a (NTree XNode) ComplexityMeasure Source
getComplexityClass :: ArrowXml t => t (NTree XNode) ComplexityClass Source
getTrsInput :: ArrowXml t => t (NTree XNode) [Rule (Term Identifier Identifier)] Source
getTrs :: ArrowXml t => t (NTree XNode) [Rule (Term Identifier Identifier)] Source
getTrsWith :: ArrowXml t => Relation -> t (NTree XNode) [Rule (Term Identifier Identifier)] Source
getRules :: ArrowXml t => Relation -> t (NTree XNode) [Rule (Term Identifier Identifier)] Source
getRule :: ArrowXml t => Relation -> t (NTree XNode) (Rule (Term Identifier Identifier)) Source
getTerm :: ArrowXml a => a XmlTree (Term Identifier Identifier) Source
getFunApp :: ArrowXml a => a XmlTree (Term Identifier Identifier) Source