Copyright | (c) C. Maeder DFKI GmbH 2010 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Christian.Maeder@dfki.de |
Stability | provisional |
Portability | non-portable(Logic) |
Safe Haskell | None |
Proofs.ConsistencyCheck
Description
devGraph rule that calls consistency checker for specific logics
Documentation
consistencyCheck :: Bool -> G_cons_checker -> AnyComorphism -> LibName -> LibEnv -> DGraph -> LNode DGNodeLab -> Int -> IO ConsistencyStatus Source #
Constructors
CSUnchecked | |
CSTimeout | |
CSError | |
CSInconsistent | |
CSConsistent |
data ConsistencyStatus Source #
Constructors
ConsistencyStatus | |
Instances
Eq ConsistencyStatus Source # | |
Ord ConsistencyStatus Source # | |
Show ConsistencyStatus Source # | |
cStatusToColor :: ConsistencyStatus -> String Source #
cStatusToPrefix :: ConsistencyStatus -> String Source #