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

Safe HaskellSafe-Inferred

Hsmtlib.Solvers.Cmd.OnlineCmd

Description

Module with the functions used in online Mode.

Documentation

onlineFun :: Process -> Command -> IO StringSource

onlineGenResponse :: Process -> Command -> IO GenResultSource

onlineCheckSatResponse :: Process -> Command -> IO SatResultSource

onlineGetValueResponse :: Process -> Command -> IO GValResultSource

onlineSetLogic :: Process -> Name -> IO GenResultSource

onlineSetOption :: Process -> Option -> IO GenResultSource

onlineSetInfo :: Process -> Attr -> IO GenResultSource

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

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

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

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

onlinePush :: Process -> Integer -> IO GenResultSource

onlinePop :: Process -> Integer -> IO GenResultSource

onlineAssert :: Process -> Expr -> IO GenResultSource

onlineCheckSat :: Process -> IO SatResultSource

onlineGetAssertions :: Process -> IO StringSource

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

onlineGetProof :: Process -> IO StringSource

onlineGetUnsatCore :: Process -> IO StringSource

onlineGetInfo :: Process -> InfoFlag -> IO StringSource

onlineGetOption :: Process -> Name -> IO StringSource

onlineExit :: Process -> IO StringSource