Method num_patterns

lean_py/z3/core.py:862–864

Return number of patterns (0 — patterns not supported).

(self)

        return ""

    def num_patterns(self) -> int:
        """Return number of patterns (0 — patterns not supported)."""
        return 0

    def pattern(self, i: int) -> ExprRef:
        """Return the i-th pattern."""