#5965

define the is_bool on ArithSortRef
Z3Prover · Apr 13, 2022 · ddbe17d · ddbe17d
1 parent 3f5eb7f
commit ddbe17d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
@@ -2279,6 +2279,9 @@ def is_int(self):
         """
         return self.kind() == Z3_INT_SORT
 
+    def is_bool(self):
+        return False
+
     def subsort(self, other):
         """Return `True` if `self` is a subsort of `other`."""
         return self.is_int() and is_arith_sort(other) and other.is_real()