(self, iff, left, right)
return self.create_node(node_type=op.ITE, args=(iff, left, right))
Creates an expression of the form:
            if( iff ) then  left  else  right

        Restriction:
          - Iff must be BOOL
          - Left and Right must be both of the same type
Creates an expression of the form:
            if( iff ) then  left  else  right
Creates an expression of the form : if ( iff ) then left else right
def Ite(self, iff, left, right):
        """ Creates an expression of the form:
            if( iff ) then  left  else  right

        Restriction:
          - Iff must be BOOL
          - Left and Right must be both of the same type
        """
        return self.create_node(node_type=op.ITE, args=(iff, left, right))
def Ite ( self , iff , left , right ) : return self . create_node ( node_type = op . ITE , args = ( iff , left , right ) )