Add Bool class>>distinct: as part of "multi-arity ops" protocol

shingarov · Oct 28, 2024 · 7599bbb · 7599bbb
1 parent 8244ada
commit 7599bbb
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/src/Z3/Bool.class.st b/src/Z3/Bool.class.st
@@ -14,6 +14,16 @@ Bool class >> and: aCollection [
 	^ Z3 mk_and: ctx _: aCollection size _: aCollection
 ]
 
+{ #category : #'multi-arity ops' }
+Bool class >> distinct: aCollection [
+	| ctx |
+
+	self assert: (aCollection allSatisfy: [ :e | e isBool ]).
+
+	ctx := aCollection isEmpty ifTrue: [ Z3Context current ] ifFalse: [ aCollection anyOne ctx ].
+	^ Z3 mk_or: ctx _: aCollection size _: aCollection
+]
+
 { #category : #'instance creation' }
 Bool class >> false [
 	^Z3Context current mkFalse