Method __init__

lean_py/z3/tactic.py:236–237

(self, name: str, ctx: object = None)

    """Probe — measures properties of goals."""

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

    def __call__(self, goal: object = None) -> float:
        return 0.0