Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Hsmtlib.Solvers.Cmd.ProcCom.Process
Description
The following module contains method that facilitate the comunication with the SMTSolvers.
- beginProcess :: CmdPath -> Args -> IO Process
- send :: Process -> String -> IO String
- endProcess :: Process -> IO ExitCode
- sendContext :: CmdPath -> Args -> Context -> IO String
- sendScript :: CmdPath -> Args -> FilePath -> IO String
- type Process = (Maybe Handle, Maybe Handle, Maybe Handle, ProcessHandle)
- type CmdPath = String
- type Args = [String]
Documentation
send :: Process -> String -> IO String Source
Sends the desired input to the process std_in and then reads from std out. Working smt with this method: - z3 - mathSat - cvc4
endProcess :: Process -> IO ExitCode Source
Sends the signal to terminate to the running process.
sendContext :: CmdPath -> Args -> Context -> IO String Source
It's the same function as readProcess. http://hackage.haskell.org/package/process-1.1.0.1/docs/System-Process.html
sendScript :: CmdPath -> Args -> FilePath -> IO String Source
Calls readProcess and pass as arguments the arguments given plus the name of the file with the context. An empty String is passed to the std_in.
It's the same function as readProcess. readProcess: http://hackage.haskell.org/package/process-1.1.0.1/docs/System-Process.html