teaching/mtl-aas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

test negation of TOP/BOT

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2017-02-27 22:25:59 -08:00
parent c3d9292db9
commit 8760996bba
2 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
stl/ast.py
View file

@ -39,7 +39,7 @@ class _Top(AST):
return "⊤" return "⊤"
def __invert__(self): def __invert__(self):
return Bot() return BOT
class _Bot(AST): class _Bot(AST):
@ -47,7 +47,7 @@ class _Bot(AST):
return "⊥" return "⊥"
def __invert__(self): def __invert__(self):
return Top() return TOP
TOP = _Top() TOP = _Top()
BOT = _Bot() BOT = _Bot()

4
stl/test_ast.py
View file

@ -11,3 +11,7 @@ class TestSTLAST(unittest.TestCase):
self.assertEqual(stl.BOT, stl.BOT | stl.BOT) self.assertEqual(stl.BOT, stl.BOT | stl.BOT)
self.assertEqual(stl.TOP, stl.TOP | stl.BOT) self.assertEqual(stl.TOP, stl.TOP | stl.BOT)
self.assertEqual(stl.BOT, stl.TOP & stl.BOT) self.assertEqual(stl.BOT, stl.TOP & stl.BOT)
self.assertEqual(~stl.BOT, stl.TOP)
self.assertEqual(~stl.TOP, stl.BOT)
self.assertEqual(~~stl.BOT, stl.BOT)
self.assertEqual(~~stl.TOP, stl.TOP)