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

Method __enter__

lean_py/z3/solver.py:641–643  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

639 self._stack.clear()
640
641 def __enter__(self) -> Solver:
642 self.push()
643 return self
644
645 def __exit__(self, *exc) -> None:
646 self.pop()

Callers

nothing calls this directly

Calls 1

pushMethod · 0.95

Tested by

no test coverage detected