| Copyright | (c) Christian Maeder DFKI GmbH 2013 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | non-portable (via imports) |
| Safe Haskell | None |
Logic.LGToXml
Description
export logic graph information as XML
Documentation
usableProvers :: LogicGraph -> IO Element Source #
proversOfLogic :: AnyLogic -> IO [Element] Source #
lGToXml :: LogicGraph -> IO Element Source #
logicToXml :: AnyLogic -> IO Element Source #
comorphismToXml :: AnyComorphism -> Element Source #