Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Hsmtlib.Solvers.Cmd.ScriptCmd
Description
Module with the functions used in script Mode.
Documentation
data ScriptConf Source
writeToScript :: ScriptConf -> Command -> IO () Source
scriptFunExec :: ScriptConf -> Command -> IO String Source
scriptGenResponse :: ScriptConf -> Command -> IO GenResult Source
scriptCheckSatResponse :: ScriptConf -> Command -> IO SatResult Source
scriptSetLogic :: ScriptConf -> Name -> IO GenResult Source
scriptSetOption :: ScriptConf -> Option -> IO GenResult Source
scriptSetInfo :: ScriptConf -> Attr -> IO GenResult Source
scriptDeclareType :: ScriptConf -> Name -> Integer -> IO GenResult Source
scriptDefineType :: ScriptConf -> Name -> [Name] -> Type -> IO GenResult Source
scriptDeclareFun :: ScriptConf -> Name -> [Type] -> Type -> IO GenResult Source
scriptDefineFun :: ScriptConf -> Name -> [Binder] -> Type -> Expr -> IO GenResult Source
scriptPush :: ScriptConf -> Integer -> IO GenResult Source
scriptAssert :: ScriptConf -> Expr -> IO GenResult Source
scriptGetValue :: ScriptConf -> [Expr] -> IO GValResult Source
scriptGetProof :: ScriptConf -> IO String Source
scriptGetInfo :: ScriptConf -> InfoFlag -> IO String Source
scriptGetOption :: ScriptConf -> Name -> IO String Source
scriptExit :: ScriptConf -> IO String Source