def test_potentially_constrained(self):
ineq1 = ((-1, "K2"), (1, "K1"), (1, "aabbc")) # K2-K1 < aabbc
ineq2 = ((1, "A2"), (-1, "A1"), (-1, "aabbc")) # A2-A1 > aabbc
potential_constraints = inequality_decider.potentially_constrained_variables(ineq1, ineq2)
self.assertEquals(len(potential_constraints), 2)
self.assertEquals(potential_constraints[("K2", "A2")], ("K1", "A1")) # K1 > A1 if K2 > A2
self.assertEquals(potential_constraints[("A1", "K1")], ("A2", "K2")) # A2 > K2 if A1 > K1
def test_independent(self):
ineq1 = ((-1, "K2"), (1, "K1"), (1, "aabbc"))
ineq2 = ((-1, "A2"), (1, "A1"), (1, "bbcaa"))
self.assertEquals(inequality_decider.potentially_constrained_variables(ineq1, ineq2), None)
