Method __init__

lean_py/z3/tactic.py:82–83

(self, name: str)

    __slots__ = ("_name",)

    def __init__(self, name: str) -> None:
        self._name = name

    def apply(self, goal: Goal) -> ApplyResult:
        """Apply this tactic to a goal via Pantograph."""