Add Z3Sort>>isIntSort in parallel to isBoolSort

shingarov · Oct 28, 2024 · c49bd81 · c49bd81
1 parent e3045b7
commit c49bd81
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/src/Z3/Z3IntSort.class.st b/src/Z3/Z3IntSort.class.st
@@ -14,6 +14,11 @@ Z3IntSort >> cast: val [
 	^val toInt
 ]
 
+{ #category : #testing }
+Z3IntSort >> isIntSort [
+	^ true
+]
+
 { #category : #'type theory' }
 Z3IntSort >> nodeClass [
 	^ Int

diff --git a/src/Z3/Z3Sort.class.st b/src/Z3/Z3Sort.class.st
@@ -94,6 +94,11 @@ Z3Sort >> isBoolSort [
 	^ false
 ]
 
+{ #category : #testing }
+Z3Sort >> isIntSort [
+	^ false
+]
+
 { #category : #accessing }
 Z3Sort >> kind [
 	^ SORT_AST