Commits

Nadia Polikarpova committed 35354e6

Added solverReset to Z3.Monad

Edited-by: Iago Abal <mail@iagoabal.eu>

Comments (0)

Files changed (1)

   , withModel
   , push
   , pop
+  , reset
   , getNumScopes
 
   -- * String Conversion
 pop :: MonadZ3 z3 => Int -> z3 ()
 pop = liftSolver1 Base.solverPop Base.pop
 
+-- | Backtrack all the way.
+reset :: MonadZ3 z3 => z3 ()
+reset = liftSolver0 Base.solverReset
+                    (error "reset requires solver")
+
 -- | Get number of backtracking points.
 getNumScopes :: MonadZ3 z3 => z3 Int
 getNumScopes = liftSolver0 Base.solverGetNumScopes