Hoogle Search

Within LTS Haskell 24.42 (ghc-9.10.3)

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

Exact lookup

1. allSatSolverReturnedDSat :: AllSatResult -> Bool

   sbv	Data.SBV.Dynamic

   Did the solver report delta-satisfiable at the end?

2. allSatSolverReturnedUnknown :: AllSatResult -> Bool

   sbv	Data.SBV.Dynamic

   Did the solver report unknown at the end?

3. allSatTrackUFs :: SMTConfig -> Bool

   sbv	Data.SBV.Dynamic

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

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

   sbv	Data.SBV.Dynamic

   Find all satisfying assignments using the given SMT-solver

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

   sbv	Data.SBV.Internals

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

6. allSatMaxModelCount :: SMTConfig -> Maybe Int

   sbv	Data.SBV.Internals

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

7. allSatPrintAlong :: SMTConfig -> Bool

   sbv	Data.SBV.Internals

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

8. allSatTrackUFs :: SMTConfig -> Bool

   sbv	Data.SBV.Internals

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

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

   sbv	Data.SBV.Trans

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

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

    sbv	Data.SBV.Trans

    Generalization of allSat

Page 118 of many | Previous | Next