Safe Haskell | None |
---|---|
Language | Haskell98 |
Synopsis
- readCP :: Text -> Either SomeException [CertificationProblem]
- readFile :: FilePath -> IO CertificationProblem
- element1 :: Name -> Cursor -> [Cursor]
- fromDoc :: Cursor -> [CertificationProblem]
- getInput :: Cursor Node -> [CertificationProblemInput]
- getTerminationInput :: Cursor Node -> [CertificationProblemInput]
- getACTerminationInput :: Cursor -> [CertificationProblemInput]
- getSymbol :: Cursor Node -> [Identifier]
- getComplexityInput :: Cursor -> [CertificationProblemInput]
- getComplexityMeasure :: Cursor -> [ComplexityMeasure]
- getComplexityClass :: Cursor Node -> [ComplexityClass]
- getTrsInput :: Cursor Node -> [[Rule (Term Identifier Identifier)]]
- getRulesWith :: Relation -> Cursor -> [[Rule (Term Identifier Identifier)]]
- getRule :: Relation -> Cursor -> [Rule (Term Identifier Identifier)]
- getProof :: Cursor -> [Proof]
- getDummy :: Name -> b -> Cursor -> [b]
- getTerm :: Cursor -> [Term Identifier Identifier]
- getVar :: Cursor -> [Term Identifier Identifier]
- getFunApp :: Cursor -> [Term Identifier Identifier]
Documentation
readCP :: Text -> Either SomeException [CertificationProblem] Source #
dangerous: not all constructor arguments will be set. the function produces something like
CertificationProblem { input = CertificationProblemInput , proof = TrsTerminationProof undefined }
fromDoc :: Cursor -> [CertificationProblem] Source #
getComplexityClass :: Cursor Node -> [ComplexityClass] Source #
getTrsInput :: Cursor Node -> [[Rule (Term Identifier Identifier)]] Source #
getRulesWith :: Relation -> Cursor -> [[Rule (Term Identifier Identifier)]] Source #
getRule :: Relation -> Cursor -> [Rule (Term Identifier Identifier)] Source #
getTerm :: Cursor -> [Term Identifier Identifier] Source #
getVar :: Cursor -> [Term Identifier Identifier] Source #
getFunApp :: Cursor -> [Term Identifier Identifier] Source #