(self, symbol)
return Or(*[set.as_relational(symbol) for set in self.args])
Rewrite a Union in terms of equalities and logic operators.
Rewrite a Union in terms of equalities and logic operators.
Rewrite a Union in terms of equalities and logic operators .
def as_relational(self, symbol):
        """Rewrite a Union in terms of equalities and logic operators. """
        return Or(*[set.as_relational(symbol) for set in self.args])
def as_relational ( self , symbol ) : return Or ( * [ set . as_relational ( symbol ) for set in self . args ] )