Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder DFKI GmbH 2013
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (via imports)
Safe HaskellNone

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 #