Method num_no_patterns

lean_py/z3/core.py:870–872

Return number of no-patterns (0).

(self)

        raise IndexError("No patterns")

    def num_no_patterns(self) -> int:
        """Return number of no-patterns (0)."""
        return 0

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