Class Statistics

lean_py/z3/solver.py:1041–1063

Solver statistics.

class Statistics:
    """Solver statistics."""

    def __init__(self, data: dict | None = None) -> None:
        self._data = data or {}

    def __len__(self) -> int:
        return len(self._data)

    def __getitem__(self, key: str) -> Any:
        return self._data.get(key, 0)

    def __contains__(self, key: str) -> bool:
        return key in self._data

    def keys(self) -> list[str]:
        return list(self._data.keys())

    def get_key_value(self, key: str) -> Any:
        return self._data.get(key, 0)

    def __repr__(self) -> str:
        return repr(self._data)


# ---------------------------------------------------------------------------