| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
TPDB.CPF.Proof.Read
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]
- getComplexityInput :: Cursor -> [CertificationProblemInput]
- getComplexityMeasure :: Cursor -> [ComplexityMeasure]
- getComplexityClass :: Cursor Node -> [ComplexityClass]
- getTrsInput :: Cursor Node -> [[Rule (Term Identifier Symbol)]]
- getRulesWith :: Relation -> Cursor -> [[Rule (Term Identifier Symbol)]]
- getRule :: Relation -> Cursor -> [Rule (Term Identifier Symbol)]
- getProof :: Cursor -> [Proof]
- getDummy :: Name -> b -> Cursor -> [b]
- getTerm :: Cursor -> [Term Identifier Symbol]
- getVar :: Cursor -> [Term Identifier Symbol]
- getFunApp :: Cursor -> [Term Identifier Symbol]
- getSymbol :: Cursor -> [Symbol]
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 Symbol)]] Source #
getRulesWith :: Relation -> Cursor -> [[Rule (Term Identifier Symbol)]] Source #