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

Method __and__

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

Source from the content-addressed store, hash-verified

405 super().__init__(ast, BoolSort(), vars)
406
407 def __and__(self, other: BoolRef) -> BoolRef:
408 return And(self, other)
409
410 def __or__(self, other: BoolRef) -> BoolRef:
411 return Or(self, other)

Callers

nothing calls this directly

Calls 1

AndFunction · 0.85

Tested by

no test coverage detected