| Copyright | uni-bremen and DFKI |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | r.pascanu@jacobs-university.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
CMDL.ProveConsistency
Description
CMDL.ProveConsistency contains prove and consistency check command
- cProver :: String -> CmdlState -> IO CmdlState
- cConsChecker :: String -> CmdlState -> IO CmdlState
- doLoop :: MVar IntState -> MVar (Maybe ThreadId) -> MVar (Maybe Int_NodeInfo) -> MVar IntState -> [Int_NodeInfo] -> ProveCmdType -> IO ()
- sigIntHandler :: MVar (Maybe ThreadId) -> MVar IntState -> MVar (Maybe Int_NodeInfo) -> ThreadId -> MVar IntState -> LibName -> IO ()
Documentation
cConsChecker :: String -> CmdlState -> IO CmdlState
Selects a consistency checker
doLoop :: MVar IntState -> MVar (Maybe ThreadId) -> MVar (Maybe Int_NodeInfo) -> MVar IntState -> [Int_NodeInfo] -> ProveCmdType -> IO ()