Method num_scopes

lean_py/z3/solver.py:577–579

Return number of push scopes.

(self)

            self._assertions = self._assertions[: self._stack.pop()]

    def num_scopes(self) -> int:
        """Return number of push scopes."""
        return len(self._stack)

    def check(self, *assumptions: BoolRef) -> CheckSatResult:
        asserts = list(self._assertions)