Hets - the Heterogeneous Tool Set

Copyright(c) Simon Ulbricht, Uni Bremen 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertekknix@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

GUI.GtkDisprove

Description

This module provides a disproving module that checks consistency of inverted theorems.

Synopsis

Documentation

disproveAtNode :: GInfo -> Int -> DGraph -> IO ()

this function is being called from outside and manages the locking- mechanism of the node being called upon.