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()
