Skip to content

Commit a68f947

Browse files
authored
Merge pull request #100 from pauleve/master
Fix dual for _TRUE and _FALSE
2 parents c559254 + e0426c1 commit a68f947

File tree

2 files changed

+10
-0
lines changed

2 files changed

+10
-0
lines changed

boolean/boolean.py

+6
Original file line numberDiff line numberDiff line change
@@ -838,6 +838,9 @@ def __str__(self):
838838
def __repr__(self):
839839
return 'TRUE'
840840

841+
def __call__(self):
842+
return self
843+
841844
__nonzero__ = __bool__ = lambda s: True
842845

843846

@@ -863,6 +866,9 @@ def __str__(self):
863866
def __repr__(self):
864867
return 'FALSE'
865868

869+
def __call__(self):
870+
return self
871+
866872
__nonzero__ = __bool__ = lambda s: False
867873

868874

boolean/test_boolean.py

+4
Original file line numberDiff line numberDiff line change
@@ -606,6 +606,10 @@ def test_demorgan(self):
606606
self.assertEqual((~ ~ ~(a & b | c)).demorgan(), ~(a & b) & ~c)
607607
self.assertEqual(algebra.parse('~' * 10 + '(a&b|c)').demorgan(), a & b | c)
608608
self.assertEqual(algebra.parse('~' * 11 + '(a&b|c)').demorgan(), (~(a & b | c)).demorgan())
609+
_0 = algebra.FALSE
610+
_1 = algebra.TRUE
611+
self.assertEqual((~(_0)).demorgan(), _1)
612+
self.assertEqual((~(_1)).demorgan(), _0)
609613

610614
def test_order(self):
611615
algebra = BooleanAlgebra()

0 commit comments

Comments
 (0)