| 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
Synopsis
- 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 Source #
checkList :: [BasicProof] -> Bool Source #
checkListDisproved :: [[BasicProof]] -> Bool Source #
cmdlProcessString :: FilePath -> Int -> String -> CmdlState -> IO (CmdlState, Maybe Command) Source #
resetErrorAndProcString :: FilePath -> Int -> String -> CmdlState -> IO (CmdlState, Maybe Command) Source #
execCmdlCmd :: CmdlCmdDescription -> CmdlState -> IO CmdlState Source #
printCmdResult :: CmdlState -> IO CmdlState Source #
cmdlProcessScriptFile :: Bool -> FilePath -> CmdlState -> IO CmdlState Source #
cmdlProcessFile :: Bool -> HetcatsOpts -> FilePath -> IO CmdlState Source #
The function processes the file of instructions