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.

Exact lookup

1. allSatPrintAlong :: SMTConfig -> Bool

   sbv	Data.SBV.Dynamic

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

2. allSatResults :: AllSatResult -> [SMTResult]

   sbv	Data.SBV.Dynamic

   All satisfying models

3. allSatSolverReturnedDSat :: AllSatResult -> Bool

   sbv	Data.SBV.Dynamic

   Did the solver report delta-satisfiable at the end?

4. allSatSolverReturnedUnknown :: AllSatResult -> Bool

   sbv	Data.SBV.Dynamic

   Did the solver report unknown at the end?

5. allSatTrackUFs :: SMTConfig -> Bool

   sbv	Data.SBV.Dynamic

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

6. allSatWith :: SMTConfig -> Symbolic SVal -> IO AllSatResult

   sbv	Data.SBV.Dynamic

   Find all satisfying assignments using the given SMT-solver

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

   sbv	Data.SBV.Internals

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

8. allSatMaxModelCount :: SMTConfig -> Maybe Int

   sbv	Data.SBV.Internals

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

9. allSatPrintAlong :: SMTConfig -> Bool

   sbv	Data.SBV.Internals

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

10. allSatTrackUFs :: SMTConfig -> Bool

    sbv	Data.SBV.Internals

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

Page 118 of many | Previous | Next