Hets - the Heterogeneous Tool Set

Copyrightuni-bremen and DFKI
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerr.pascanu@jacobs-university.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CMDL.ConsCommands

Description

CMDL.ConsCommands contains all commands related to consistency/conservativity checks

Documentation

cConservCheck :: String -> CmdlState -> IO CmdlState

cConservCheckAll :: CmdlState -> IO CmdlState

cConsistCheck :: CmdlState -> IO CmdlState

cConsistCheckAll :: CmdlState -> IO CmdlState