Hets - the Heterogeneous Tool Set

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

Proofs.StatusUtils

Description

the proof status with manipulating functions

Synopsis

Documentation

lookupHistory :: LibName -> LibEnv -> ProofHistory

returns the history that belongs to the given library name

removeContraryChanges :: [DGChange] -> [DGChange]

remove the contray changes out of the list if it's necessary, so that the list can stay clean.

isIdentityEdge :: LEdge DGLinkLab -> LibEnv -> DGraph -> Bool

check if the given edge is an identity edge, namely a loop from a node to itself with an identity morphism.