(f)
return assert_infix_enabled_wrap
Raise an exception if infix notation is not enabled.
Raise an exception if infix notation is not enabled.
Raise an exception if infix notation is not enabled .
def assert_infix_enabled(f):
    """Raise an exception if infix notation is not enabled."""
    from functools import wraps
    from pysmt.exceptions import PysmtModeError
    INFIX_ERROR_MSG = """Infix notation is not enabled for the current environment.
Enable it by setting enable_infix_notation to True."""

    @wraps(f)
    def assert_infix_enabled_wrap(*args, **kwargs):
        from pysmt.environment import get_env
        if not get_env().enable_infix_notation:
            raise PysmtModeError(INFIX_ERROR_MSG)
        return f(*args, **kwargs)
    return assert_infix_enabled_wrap
def assert_infix_enabled ( f ) : from functools import wraps from pysmt . exceptions import PysmtModeError INFIX_ERROR_MSG = """Infix notation is not enabled for the current environment.
Enable it by setting enable_infix_notation to True.""" @ wraps ( f ) def assert_infix_enabled_wrap ( * args , * * kwargs ) : from pysmt . environment import get_env if not get_env ( ) . enable_infix_notation : raise PysmtModeError ( INFIX_ERROR_MSG ) return f ( * args , * * kwargs ) return assert_infix_enabled_wrap