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

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

onlineGetInfo :: Process -> InfoFlag -> IO StringSource

onlineGetOption :: Process -> Name -> IO StringSource

onlineExit :: Process -> IO StringSource