| Copyright | (c) Christian Maeder, DFKI GmbH 2009 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
CMDL.ProcessScript
Description
- isNotDisproved :: G_theory -> Bool
- checkList :: [BasicProof] -> Bool
- checkListDisproved :: [[BasicProof]] -> Bool
- cmdlProcessString :: FilePath -> Int -> String -> CmdlState -> IO (CmdlState, Maybe Command)
- resetErrorAndProcString :: FilePath -> Int -> String -> CmdlState -> IO (CmdlState, Maybe Command)
- execCmdlCmd :: CmdlCmdDescription -> CmdlState -> IO CmdlState
- cmdlProcessCmd :: Command -> CmdlState -> IO CmdlState
- printCmdResult :: CmdlState -> IO CmdlState
- cmdlProcessScriptFile :: Bool -> FilePath -> CmdlState -> IO CmdlState
- cmdlProcessFile :: Bool -> HetcatsOpts -> FilePath -> IO CmdlState
Documentation
isNotDisproved :: G_theory -> Bool
checkList :: [BasicProof] -> Bool
checkListDisproved :: [[BasicProof]] -> Bool
execCmdlCmd :: CmdlCmdDescription -> CmdlState -> IO CmdlState
cmdlProcessCmd :: Command -> CmdlState -> IO CmdlState
printCmdResult :: CmdlState -> IO CmdlState
cmdlProcessFile :: Bool -> HetcatsOpts -> FilePath -> IO CmdlState
The function processes the file of instructions