Method weight

lean_py/z3/core.py:850–852

Return quantifier weight (default 0).

(self)

        return self._bound[i]._sort

    def weight(self) -> int:
        """Return quantifier weight (default 0)."""
        return 0

    def qid(self) -> str:
        """Return quantifier identifier (empty string)."""