Hsmtlib.Solvers.Cmd.OnlineCmd

Module with the functions used in online Mode.

Documentation

onlineFun :: Process -> Command -> IO String

onlineGenResponse :: Process -> Command -> IO GenResult

onlineCheckSatResponse :: Process -> Command -> IO SatResult

onlineGetValueResponse :: Process -> Command -> IO GValResult

onlineSetLogic :: Process -> Name -> IO GenResult

onlineSetOption :: Process -> Option -> IO GenResult

onlineSetInfo :: Process -> Attr -> IO GenResult

onlineDeclareType :: Process -> Name -> Integer -> IO GenResult

onlineDefineType :: Process -> Name -> [Name] -> Type -> IO GenResult

onlineDeclareFun :: Process -> Name -> [Type] -> Type -> IO GenResult

onlineDefineFun :: Process -> Name -> [Binder] -> Type -> Expr -> IO GenResult

onlinePush :: Process -> Integer -> IO GenResult

onlinePop :: Process -> Integer -> IO GenResult

onlineAssert :: Process -> Expr -> IO GenResult

onlineCheckSat :: Process -> IO SatResult

onlineGetAssertions :: Process -> IO String

onlineGetValue :: Process -> [Expr] -> IO GValResult

onlineGetProof :: Process -> IO String

onlineGetUnsatCore :: Process -> IO String

onlineGetInfo :: Process -> InfoFlag -> IO String

onlineGetOption :: Process -> Name -> IO String

onlineExit :: Process -> IO String