Hets - the Heterogeneous Tool Set

Copyright(c) Klaus Luettich, Uni Bremen 2005
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-protable(Logic)
Safe HaskellNone

SoftFOL.CreateDFGDoc

Description

Printing a (G_theory CASL _) into a DFG Doc.

Documentation

printTheoryAsSoftFOL

Arguments

:: IRI 
-> Int

0 = DFG, 1 = TPTP

-> Bool

if True a conjecture false is added otherwise its a theory without its own conjectures.

-> G_theory 
-> IO (Maybe Doc)