| Copyright | (c) Jorina F. Gerken Till Mossakowski Uni Bremen 2002-2006 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | non-portable(Logic) |
| Safe Haskell | None |
Proofs.StatusUtils
Description
the proof status with manipulating functions
Synopsis
- lookupHistory :: LibName -> LibEnv -> ProofHistory
- removeContraryChanges :: [DGChange] -> [DGChange]
- isIdentityEdge :: LEdge DGLinkLab -> LibEnv -> DGraph -> Bool
Documentation
lookupHistory :: LibName -> LibEnv -> ProofHistory Source #
returns the history that belongs to the given library name
removeContraryChanges :: [DGChange] -> [DGChange] Source #
remove the contray changes out of the list if it's necessary, so that the list can stay clean.