(left, right)
return get_env().formula_manager.Xor(left, right)
Returns the XOR of left and right

    :param left: Specify the left BV
    :type  left: FNode
    :param right: Specify the right BV
    :type  right: FNode
    :returns: The XOR of left and right
Returns the XOR of left and right
Returns the XOR of left and right
def Xor(left, right):
    """Returns the XOR of left and right

    :param left: Specify the left BV
    :type  left: FNode
    :param right: Specify the right BV
    :type  right: FNode
    :returns: The XOR of left and right
    """
    return get_env().formula_manager.Xor(left, right)
def Xor ( left , right ) : return get_env ( ) . formula_manager . Xor ( left , right )