MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / __xor__

Method __xor__

lean_py/z3/core.py:416–417  ·  view source on GitHub ↗
(self, other: BoolRef)

Source from the content-addressed store, hash-verified

414 return Not(self)
415
416 def __xor__(self, other: BoolRef) -> BoolRef:
417 return Xor(self, other)
418
419 # Bool→Int coercion: z3py converts b + 0 to If(b, 1, 0) + 0
420 def __add__(self, other: object) -> ArithRef:

Callers

nothing calls this directly

Calls 1

XorFunction · 0.85

Tested by

no test coverage detected