TPDB.CPF.Proof.Read

Documentation

readCP :: Text -> Either SomeException [CertificationProblem]

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

CertificationProblem { input = CertificationProblemInput , proof = TrsTerminationProof undefined }

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]