summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDeianStefan <>2018-09-15 22:54:00 (GMT)
committerhdiff <hdiff@hdiff.luite.com>2018-09-15 22:54:00 (GMT)
commitc86e5117b0f64456eb21e3b1c6dff60234b4dfa4 (patch)
tree8f9bf62a7c9baf733d63009c7f525b89a4f4a7c6
parenta4f5cd58c9698e26453f056e26a2aedd92eb948b (diff)
version 0.0.0.70.0.0.7
-rw-r--r--boolector.cabal2
-rw-r--r--src/Boolector.hs7
2 files changed, 8 insertions, 1 deletions
diff --git a/boolector.cabal b/boolector.cabal
index 27e4605..3267fbe 100644
--- a/boolector.cabal
+++ b/boolector.cabal
@@ -1,5 +1,5 @@
name: boolector
-version: 0.0.0.6
+version: 0.0.0.7
synopsis: Haskell bindings for the Boolector SMT solver
description:
diff --git a/src/Boolector.hs b/src/Boolector.hs
index c5d3a0e..0d02020 100644
--- a/src/Boolector.hs
+++ b/src/Boolector.hs
@@ -219,6 +219,7 @@ module Boolector ( -- * Boolector monadic computations
-- *** Accessors
, isEqualSort
, isArraySort
+ , isBoolSort
, isBitvecSort
, isFunSort
, funSortCheck
@@ -1060,6 +1061,12 @@ isArraySort srt = case sortTy srt of
ArraySort _ _ -> True
_ -> False
+-- | Determine if @sort@ is a bool sort.
+isBoolSort :: Sort -> Bool
+isBoolSort srt = case sortTy srt of
+ BoolSort -> True
+ _ -> False
+
-- | Determine if @sort@ is a bit-vector sort.
isBitvecSort :: Sort -> Bool
isBitvecSort srt = case sortTy srt of