Method assertions

lean_py/z3/solver.py:842–843

(self)

        pass

    def assertions(self) -> list[BoolRef]:
        return list(self._assertions)

    def objectives(self) -> list[tuple[str, ExprRef]]:
        return list(self._objectives)