| 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
proversOfLogic :: AnyLogic -> IO [Element]
lGToXml :: LogicGraph -> IO Element
logicToXml :: AnyLogic -> IO Element