def add_var_constraint(self, v1, v2, comparison): for bi1, b1 in enumerate(self.__body): pos1 = PositionIndex.get_term_positions(b1, v1) if len(pos1) > 0: for bi2, b2 in enumerate(self.__body): pos2 = PositionIndex.get_term_positions(b2, v2) for p1 in pos1: for p2 in pos2: if p1 != p2 or bi1 != bi2: self.__var_constraints.append((bi1, p1, bi2, p2, comparison)) self.recalc_hash()
def add_var_constraint(self, v1, v2, comparison): for bi1, b1 in enumerate(self.__body): pos1 = PositionIndex.get_term_positions(b1, v1) if len(pos1) > 0: for bi2, b2 in enumerate(self.__body): pos2 = PositionIndex.get_term_positions(b2, v2) for p1 in pos1: for p2 in pos2: if p1 != p2 or bi1 != bi2: self.__var_constraints.append( (bi1, p1, bi2, p2, comparison)) self.recalc_hash()