Method __init__

lean_py/z3/tactic.py:159–162

(self, tactic: Tactic, max_iter: int)

    __slots__ = ("_tactic", "_max")

    def __init__(self, tactic: Tactic, max_iter: int) -> None:
        super().__init__("repeat")
        self._tactic = tactic
        self._max = max_iter

    def apply(self, goal: Goal) -> ApplyResult:
        current = ApplyResult([goal])