(left, right)
return get_env().formula_manager.EqualsOrIff(left, right)
Returns Equals() or Iff() depending on the type of the arguments.

    This can be used to deal with ambiguous cases where we might be
    dealing with both Theory and Boolean atoms.
Returns Equals() or Iff() depending on the type of the arguments.
Returns Equals () or Iff () depending on the type of the arguments .
def EqualsOrIff(left, right):
    """Returns Equals() or Iff() depending on the type of the arguments.

    This can be used to deal with ambiguous cases where we might be
    dealing with both Theory and Boolean atoms.
    """
    return get_env().formula_manager.EqualsOrIff(left, right)
def EqualsOrIff ( left , right ) : return get_env ( ) . formula_manager . EqualsOrIff ( left , right )