Hoogle Search

Within Stackage Nightly 2025-09-28 (ghc-9.12.2)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. setLogic :: SolverContext m => Logic -> m ()

    sbv Data.SBV.Internals

    Set the logic.

  2. setOption :: SolverContext m => SMTOption -> m ()

    sbv Data.SBV.Internals

    Set an option.

  3. setTimeOut :: SolverContext m => Integer -> m ()

    sbv Data.SBV.Internals

    Set a solver time-out value, in milli-seconds. This function essentially translates to the SMTLib call (set-info :timeout val), and your backend solver may or may not support it! The amount given is in milliseconds. Also see the function timeOut for finer level control of time-outs, directly from SBV.

  4. setup :: Program st -> Symbolic ()

    sbv Data.SBV.Tools.WeakestPreconditions

    Any set-up required

  5. setBitTo :: SFiniteBits a => SBV a -> Int -> SBool -> SBV a

    sbv Data.SBV.Trans

    A combo of setBit and clearBit, when the bit to be set is symbolic.

  6. setInfo :: SolverContext m => String -> [String] -> m ()

    sbv Data.SBV.Trans

    Set info. Example: setInfo ":status" ["unsat"].

  7. setLogic :: SolverContext m => Logic -> m ()

    sbv Data.SBV.Trans

    Set the logic.

  8. setOption :: SolverContext m => SMTOption -> m ()

    sbv Data.SBV.Trans

    Set an option.

  9. setTimeOut :: SolverContext m => Integer -> m ()

    sbv Data.SBV.Trans

    Set a solver time-out value, in milli-seconds. This function essentially translates to the SMTLib call (set-info :timeout val), and your backend solver may or may not support it! The amount given is in milliseconds. Also see the function timeOut for finer level control of time-outs, directly from SBV.

  10. setarch :: ProcessType r => r

    shell-conduit Data.Conduit.Shell

    No documentation available.

Page 64 of many | Previous | Next