Hsmtlib-0.2.0.6: Haskell library for easy interaction with SMT-LIB 2 compliant solvers.

Safe HaskellSafe-Inferred

Hsmtlib.Solvers.Cmd.ScriptCmd

Description

Module with the functions used in script Mode.

Documentation

data ScriptConf Source

Constructors

ScriptConf 

Fields

sHandle :: Handle
 
sCmdPath :: CmdPath
 
sArgs :: Args
 
sFilePath :: FilePath
 

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

scriptFun :: ScriptConf -> Command -> IO StringSource

scriptFunExec :: ScriptConf -> Command -> IO StringSource

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

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

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

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

scriptGetInfo :: ScriptConf -> InfoFlag -> IO StringSource

scriptGetOption :: ScriptConf -> Name -> IO StringSource