Hsmtlib.Solvers.Cmd.ScriptCmd

Module with the functions used in script Mode.

Documentation

data ScriptConf

Constructors

ScriptConf

Fields

sHandle :: Handle

sCmdPath :: CmdPath

sArgs :: Args

sFilePath :: FilePath

writeToScript :: ScriptConf -> Command -> IO ()

scriptFun :: ScriptConf -> Command -> IO String

scriptFunExec :: ScriptConf -> Command -> IO String

scriptGenResponse :: ScriptConf -> Command -> IO GenResult

scriptCheckSatResponse :: ScriptConf -> Command -> IO SatResult

scriptGetValueResponse :: ScriptConf -> Command -> IO GValResult

scriptSetLogic :: ScriptConf -> Name -> IO GenResult

scriptSetOption :: ScriptConf -> Option -> IO GenResult

scriptSetInfo :: ScriptConf -> Attr -> IO GenResult

scriptDeclareType :: ScriptConf -> Name -> Integer -> IO GenResult

scriptDefineType :: ScriptConf -> Name -> [Name] -> Type -> IO GenResult

scriptDeclareFun :: ScriptConf -> Name -> [Type] -> Type -> IO GenResult

scriptDefineFun :: ScriptConf -> Name -> [Binder] -> Type -> Expr -> IO GenResult

scriptPush :: ScriptConf -> Integer -> IO GenResult

scriptPop :: ScriptConf -> Integer -> IO GenResult

scriptAssert :: ScriptConf -> Expr -> IO GenResult

scriptCheckSat :: ScriptConf -> IO SatResult

scriptGetAssertions :: ScriptConf -> IO String

scriptGetValue :: ScriptConf -> [Expr] -> IO GValResult

scriptGetProof :: ScriptConf -> IO String

scriptGetUnsatCore :: ScriptConf -> IO String

scriptGetInfo :: ScriptConf -> InfoFlag -> IO String

scriptGetOption :: ScriptConf -> Name -> IO String

scriptExit :: ScriptConf -> IO String