mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-19 12:23:38 +00:00
Code Activity

Overload xor operator for BoolRef (#7043)

Browse source
This commit is contained in:
Asger Hautop Drewsen 2023-12-05 16:48:57 +01:00 • committed by GitHub
parent 4d4359f78a
commit 764f0d54a4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/api/python/z3/z3.py
View file

@ -1593,6 +1593,9 @@ class BoolRef(ExprRef):
def __or__(self, other): def __or__(self, other):
return Or(self, other) return Or(self, other)
def __xor__(self, other):
return Xor(self, other)
def __invert__(self): def __invert__(self):
return Not(self) return Not(self)