Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Hsmtlib.Solvers.Cmd.OnlineCmd
Description
Module with the functions used in online Mode.
Documentation
onlineGetValueResponse :: Process -> Command -> IO GValResult Source
onlineCheckSat :: Process -> IO SatResult Source
onlineGetAssertions :: Process -> IO String Source
onlineGetValue :: Process -> [Expr] -> IO GValResult Source
onlineGetProof :: Process -> IO String Source
onlineGetUnsatCore :: Process -> IO String Source
onlineExit :: Process -> IO String Source