Hets - the Heterogeneous Tool Set

Copyright(c) Uni Bremen 2005-2009
LicenseGPLv2 or higher, see LICENSE.txt
Portabilitynon-portable (uses uni and development graphs)
Safe HaskellSafe-Inferred



Graphical user interface for Hets. The GUI is based on the UniForM Workbench http://www.informatik.uni-bremen.de/uniform/wb. The UniForm Workbench provides an event system and encapsulations of TclTk http://www.informatik.uni-bremen.de/htk/ and uDraw(Graph) http://www.informatik.uni-bremen.de/uDrawGraph/en/index.html (see module GraphDisp).

GUI.AbstractGraphView is a graph interface, based on the Workbench encapsulation of uDraw(Graph). Provides additional functions for hiding and redisplaying (groups of) nodes and edges. (Obsolete, use GraphAbstraction instead)

GUI.ConsoleUtils are similar utilities for using without HTk (only console).

GUI.GenericATP is a generic graphical interface for automatic theorem provers. Decides between Gtk and HTk implementation.

GUI.GraphAbstraction provides an interface to uDrawGraph.

GUI.GraphDisplay provides functions to display a DevGraph in a new window.

GUI.GraphLogic provides the functionality for the menus created with GUI.GraphMenu

GUI.GraphMenu creates the File and the Edit menu of uDrawGraph, as well as the local node and edge menus and types.

GUI.GraphTypes defines the types used in GUI.GraphDisplay, GUI.GraphLogic and GUI.GraphMenu.

GUI.GtkConsistencyChecker gui for checking consistency.

GUI.GtkGenericATP gtk version of generic prove gui.

GUI.GtkLinkTypeChoice small window letting the user select the link types that should be displayed or hidden.

GUI.GtkProverGUI prover gui implementation in gtk.

GUI.GtkUtils a bunch of utility functions for use in and outside of gtk.

GUI.HTkGenericATP htk version of generic prove gui.

GUI.HTkProofDetails sets an additional window used by GUI.ProverGUI for displaying and saving proof details (prover output, tactic script, proof tree).

GUI.HTkProverGUI is a goal management GUI for the structured level.

GUI.HTkUtils provides some utilities on top of HTk.

GUI.ProverGUI is a goal management GUI for the structured level. Decides between Gtk and HTk implementation.

GUI.ShowGraph displays the final graph.

GUI.ShowLibGraph displays the library graph.

GUI.ShowLogicGraph displays the logic graph.

GUI.Taxonomy displays a subsort relation (taxonomy).

GUI.Utils are either GUI.HTkUtils, GUI.GtkUtils or GUI.ConsoleUtils.

GUI.UDGUtils just imports and exports uDrawGraph modules.