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