Hets - the Heterogeneous Tool Set

Copyright(c) Heng Jiang and Till Mossakowski Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (Logic)
Safe HaskellNone

GUI.ShowLogicGraph

Description

display the logic graph

Documentation

showLG :: IO () Source #