Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

  1. allEqual :: EqSymbolic a => [a] -> SBool

    sbv Data.SBV.Trans

    Returns (symbolic) sTrue if all the elements of the given list are the same.

  2. allSat :: SatisfiableM m a => a -> m AllSatResult

    sbv Data.SBV.Trans

    Generalization of allSat

  3. allSatMaxModelCount :: SMTConfig -> Maybe Int

    sbv Data.SBV.Trans

    In a allSat call, return at most this many models. If nothing, return all.

  4. allSatMaxModelCountReached :: AllSatResult -> Bool

    sbv Data.SBV.Trans

    Did we reach the user given model count limit?

  5. allSatPrintAlong :: SMTConfig -> Bool

    sbv Data.SBV.Trans

    In a allSat call, print models as they are found.

  6. allSatResults :: AllSatResult -> [SMTResult]

    sbv Data.SBV.Trans

    All satisfying models

  7. allSatSolverReturnedDSat :: AllSatResult -> Bool

    sbv Data.SBV.Trans

    Did the solver report delta-satisfiable at the end?

  8. allSatSolverReturnedUnknown :: AllSatResult -> Bool

    sbv Data.SBV.Trans

    Did the solver report unknown at the end?

  9. allSatTrackUFs :: SMTConfig -> Bool

    sbv Data.SBV.Trans

    In a allSat call, should we try to extract values of uninterpreted functions?

  10. allSatWith :: SatisfiableM m a => SMTConfig -> a -> m AllSatResult

    sbv Data.SBV.Trans

    Generalization of allSatWith

Page 119 of many | Previous | Next