Searched refs:add_equiv (Results 1 – 1 of 1) sorted by relevance
230 def add_equiv(self, a, b): member in IntEquivalenceRelation328 var_class = self._class_relation.add_equiv(var_class, bit_class)