permit

pypagate.permit(form: Formula | Term, *args, **kwargs)

Use as a decorator: If a Formula’s truthiness is True, allow the decorated function to be called, otherwise calling the decorated function does nothing.

Parameters:

• form – Allow execution of the proceeding function if form evaluates to true at the time of calling the proceeding function.

• args – Additional positional arguments to pass to the decorated function.

• kwargs – Additional keyword arguments to pass to the decorated function.