Commits

tomo cocoa  committed 55c4fce

added test cases

  • Participants
  • Parent commits ef0aaff

Comments (0)

Files changed (2)

 
     def __eq__(self, other):
         if type(self) == type(other):
-            return lp.equivalent(self.value, other.value)
+            return lp.equivalent_DNF(self.value, other.value)
         else:
             return False
 

File tests/test_ring.py

 q = lp.Var('q')
 r = lp.Var('r')
 ba_values = [ring.BooleanAlgebra(v)
-             for v in [p, q, r, ~p, ~q, p & q, q | r, p ^ r]]
+             for v in [p, q, r, ~p, ~q, p & q, q | r, p ^ r, lp.IfThen(r, p),
+                       lp.Iff(p, q)]]
 
 single_params = [{'a': a} for a
                  in integer_values +