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

Method __invert__

lean_py/z3/core.py:413–414  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

411 return Or(self, other)
412
413 def __invert__(self) -> BoolRef:
414 return Not(self)
415
416 def __xor__(self, other: BoolRef) -> BoolRef:
417 return Xor(self, other)

Callers

nothing calls this directly

Calls 1

NotFunction · 0.85

Tested by

no test coverage detected