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

data SType Source #

Instances

Instances details
Eq SType Source # 
Instance details

Defined in Proofs.ConsistencyCheck

Methods

(==) :: SType -> SType -> Bool

(/=) :: SType -> SType -> Bool

Ord SType Source # 
Instance details

Defined in Proofs.ConsistencyCheck

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 # 
Instance details

Defined in Proofs.ConsistencyCheck

Methods

showsPrec :: Int -> SType -> ShowS

show :: SType -> String

showList :: [SType] -> ShowS