def test_equal(self):
from boolean.boolean import DualBase
a, b, c = Symbol('a'), Symbol('b'), Symbol('c')
t1 = DualBase(a, b)
t1_2 = DualBase(b, a)
t2 = DualBase(a, b, c)
t2_2 = DualBase(b, c, a)
# Test __eq__.
self.assertTrue(t1 == t1)
self.assertTrue(t1_2 == t1)
self.assertTrue(t2_2 == t2)
self.assertFalse(t1 == t2)
self.assertFalse(t1 == 1)
self.assertFalse(t1 is True)
self.assertFalse(t1 is None)
# Test __ne__.
self.assertFalse(t1 != t1)
self.assertFalse(t1_2 != t1)
self.assertFalse(t2_2 != t2)
self.assertTrue(t1 != t2)
self.assertTrue(t1 != 1)
self.assertTrue(t1 is not True)
self.assertTrue(t1 is not None)
def test_isliteral(self):
from boolean.boolean import DualBase
a, b, c = Symbol('a'), Symbol('b'), Symbol('c')
t1 = DualBase(a, b)
t2 = DualBase(a, b, c)
self.assertFalse(t1.isliteral)
self.assertFalse(t2.isliteral)
def test_init(self):
from boolean.boolean import DualBase
a, b, c = Symbol('a'), Symbol('b'), Symbol('c')
t1 = DualBase(a, b)
t2 = DualBase(a, b, c)
t3 = DualBase(a, a)
t4 = DualBase(a, b, c)
self.assertRaises(TypeError, DualBase)
for term in (t1, t2, t3, t4):
self.assertTrue(isinstance(term, DualBase))
def test_literals(self):
from boolean.boolean import DualBase
a, b, c = Symbol('a'), Symbol('b'), Symbol('c')
t1 = DualBase(a, b)
t2 = DualBase(a, b, c)
t3 = DualBase(a, a)
t4 = DualBase(a, b, c)
for term in (t1, t2, t3, t4):
self.assertTrue(a in term.literals)
for term in (t1, t2, t4):
self.assertTrue(b in term.literals)
for term in (t2, t4):
self.assertTrue(c in term.literals)