-
Notifications
You must be signed in to change notification settings - Fork 3
/
logicutils_tests.py
82 lines (63 loc) · 2.86 KB
/
logicutils_tests.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
# -*- coding: utf-8 -*-
##
## This file is part of Invenio.
## Copyright (C) 2010, 2011 CERN.
##
## Invenio is free software; you can redistribute it and/or
## modify it under the terms of the GNU General Public License as
## published by the Free Software Foundation; either version 2 of the
## License, or (at your option) any later version.
##
## Invenio is distributed in the hope that it will be useful, but
## WITHOUT ANY WARRANTY; without even the implied warranty of
## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
## General Public License for more details.
##
## You should have received a copy of the GNU General Public License
## along with Invenio; if not, write to the Free Software Foundation, Inc.,
## 59 Temple Place, Suite 330, Boston, MA 02111-1307, USA.
"""Unit tests for logic library."""
import unittest
from invenio.logicutils import expr, Expr, to_cnf, pl_true
from invenio.testutils import make_test_suite, run_test_suite
class exprExprOpsTest(unittest.TestCase):
"""Testing expr and Expr against one another."""
def test_trivial_expr(self):
"""logicutils - create trivial Expr with expr()"""
self.assertEqual(expr('a | b'), Expr('|', 'a', 'b'))
def test_deep_expr(self):
"""logicutils - create deep Expr with expr()"""
self.assertEqual(expr('a | b | c | d | e'),
Expr('|', Expr('|', Expr('|', Expr('|', 'a', 'b'), 'c'), 'd'), 'e'))
class toCNFTest(unittest.TestCase):
"""Testing conversion to conjunctive normal form"""
def test_singleton(self):
"""logicutils - singletons are already in CNF"""
self.assertEqual(to_cnf(expr('a')),
Expr('a'))
def test_complex_example_Norvig(self):
"""logicutils - (P&Q) | (~P & ~Q) in CNF"""
self.assertEqual(str(to_cnf('(P&Q) | (~P & ~Q)')),
str('((~P | P) & (~Q | P) & (~P | Q) & (~Q | Q))'))
def test_ORed_pair(self):
"""logicutils - ORed pair should be in CNF"""
self.assertEqual(to_cnf(expr('a | b')),
Expr('|', 'a', 'b'))
def test_ANDed_pair(self):
"""logicutils - ANDed pair should be in CNF"""
self.assertEqual(to_cnf(expr('a & b')),
Expr('&', 'a', 'b'))
class prop_logicTest(unittest.TestCase):
"""Testing basic propositional logic functionality"""
P = Expr('P')
def test_pl_true_P_true(self):
"""logicutils - True thing is evaluated as such"""
self.assertEqual(pl_true(self.P, {self.P: True}),
True)
def test_pl_true_P_false(self):
"""logicutils - False thing is evaluated as such"""
self.assertEqual(pl_true(self.P, {self.P: False}),
False)
TEST_SUITE = make_test_suite(exprExprOpsTest, toCNFTest, prop_logicTest)
if __name__ == "__main__":
run_test_suite(TEST_SUITE)