TPDB.XTC.Read

construct data object from XML tree.

Documentation

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

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

getProblem :: ArrowXml cat => cat (NTree XNode) (Problem Identifier Identifier)

getType :: Arrow t => t [Char] Type

getStrategy :: ArrowXml t => t (NTree XNode) (Maybe Strategy)

getStartterm :: ArrowXml a => a (NTree XNode) Startterm

getTRS :: ArrowXml t => t (NTree XNode) (RS Identifier (Term Identifier Identifier))

getSignature :: ArrowXml a => a (NTree XNode) Signature

getFOSignature :: ArrowXml t => t (NTree XNode) Signature

getHOSignature :: Arrow t1 => t1 t2 Signature

getFuncsym :: ArrowXml t => t (NTree XNode) Funcsym

getRead :: (Read t2, ArrowXml t1) => t1 XmlTree t2

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

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

readProblems :: FilePath -> IO [Problem Identifier Identifier]

readProblemsBS :: ByteString -> IO [Problem Identifier Identifier]