Hets - the Heterogeneous Tool Set

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

GUI.Taxonomy

Description

This module provides the access to Achim Mahnke's taxonomy visualisation for subsort hierarchies.

Documentation

displayConceptGraph :: String -> G_theory -> IO () Source #

displaySubsortGraph :: String -> G_theory -> IO () Source #

displayGraph :: TaxoGraphKind -> String -> G_theory -> IO () Source #