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

Constructors

Instances

Eq SType Source #
Methods (==) :: SType -> SType -> Bool (/=) :: SType -> SType -> Bool
Ord SType Source #
Methods compare :: SType -> SType -> Ordering (<) :: SType -> SType -> Bool (<=) :: SType -> SType -> Bool (>) :: SType -> SType -> Bool (>=) :: SType -> SType -> Bool max :: SType -> SType -> SType min :: SType -> SType -> SType
Show SType Source #
Methods showsPrec :: Int -> SType -> ShowS show :: SType -> String showList :: [SType] -> ShowS

Constructors

ConsistencyStatus
Fields sType :: SType sMessage :: String

Instances

Eq ConsistencyStatus Source #
Methods (==) :: ConsistencyStatus -> ConsistencyStatus -> Bool (/=) :: ConsistencyStatus -> ConsistencyStatus -> Bool
Ord ConsistencyStatus Source #
Methods compare :: ConsistencyStatus -> ConsistencyStatus -> Ordering (<) :: ConsistencyStatus -> ConsistencyStatus -> Bool (<=) :: ConsistencyStatus -> ConsistencyStatus -> Bool (>) :: ConsistencyStatus -> ConsistencyStatus -> Bool (>=) :: ConsistencyStatus -> ConsistencyStatus -> Bool max :: ConsistencyStatus -> ConsistencyStatus -> ConsistencyStatus min :: ConsistencyStatus -> ConsistencyStatus -> ConsistencyStatus
Show ConsistencyStatus Source #
Methods showsPrec :: Int -> ConsistencyStatus -> ShowS show :: ConsistencyStatus -> String showList :: [ConsistencyStatus] -> ShowS