Hets - the Heterogeneous Tool Set

Copyright(c) C. Maeder DFKI GmbH 2010
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(Logic)
Safe HaskellNone

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

data SType

Constructors

CSUnchecked 
CSTimeout 
CSError 
CSInconsistent 
CSConsistent 

Instances

data ConsistencyStatus

Constructors

ConsistencyStatus 

Fields

sType :: SType
 
sMessage :: String
 

Instances

cStatusToColor :: ConsistencyStatus -> String

cStatusToPrefix :: ConsistencyStatus -> String

cInvert :: ConsistencyStatus -> ConsistencyStatus

basicProofToConStatus :: BasicProof -> ConsistencyStatus

getConsistencyOf :: DGNodeLab -> ConsistencyStatus