示例#1
0
    def add_rule(self, key, rule):
        """Add a rule to the Ruleset

        @rule can be a Rule or a Fact. Returns True if add_rule() changes the
        RuleSet.
        """
        if isinstance(rule, Fact):
            # If the rule is a Fact, then add it to self.facts.
            if key not in self.facts:
                self.facts[key] = FactSet()
            return self.facts[key].add(rule)

        elif len(rule.body) == 0 and not rule.head.is_negated():
            # If the rule is a Rule, with no body, then it's a Fact, so
            # convert the Rule to a Fact to a Fact and add to self.facts.
            f = Fact(key, (a.name for a in rule.head.arguments))
            if key not in self.facts:
                self.facts[key] = FactSet()
            return self.facts[key].add(f)

        else:
            # else the rule is a regular rule, so add it to self.rules.
            if key in self.rules:
                return self.rules[key].add(rule)
            else:
                self.rules[key] = utility.OrderedSet([rule])
                return True
示例#2
0
 def setUp(self):
     super(TestFactSet, self).setUp()
     self.factset = FactSet()
示例#3
0
class TestFactSet(base.TestCase):
    def setUp(self):
        super(TestFactSet, self).setUp()
        self.factset = FactSet()

    def test_empty(self):
        self.assertFalse((1, 2, 3) in self.factset)
        self.assertEqual(0, len(self.factset))

    def test_add_one(self):
        f = (1, 2, 'a')
        self.factset.add(f)
        self.assertEqual(1, len(self.factset))
        self.assertEqual(set([f]), self.factset.find(((0, 1), (1, 2),
                                                      (2, 'a'))))

    def test_add_few(self):
        f1 = (1, 200, 'a')
        f2 = (2, 200, 'a')
        f3 = (3, 200, 'c')
        self.factset.add(f1)
        self.factset.add(f2)
        self.factset.add(f3)

        self.assertEqual(3, len(self.factset))
        self.assertEqual(set([f1, f2, f3]), self.factset.find(((1, 200),)))
        self.assertEqual(set([f1, f2]), self.factset.find(((2, 'a'),)))
        self.assertEqual(set([f1]), self.factset.find(((0, 1), (1, 200),
                                                       (2, 'a'),)))
        self.assertEqual(set(), self.factset.find(((0, 8),)))

    def test_remove(self):
        f1 = (1, 200, 'a')
        f2 = (2, 200, 'a')
        f3 = (3, 200, 'c')
        self.factset.add(f1)
        self.factset.add(f2)
        self.factset.add(f3)
        self.assertEqual(3, len(self.factset))

        self.assertTrue(self.factset.remove(f1))
        self.assertEqual(2, len(self.factset))
        self.assertEqual(set([f2, f3]), self.factset.find(((1, 200),)))

        self.assertTrue(self.factset.remove(f3))
        self.assertEqual(1, len(self.factset))
        self.assertEqual(set([f2]), self.factset.find(((1, 200),)))

        self.assertFalse(self.factset.remove(f3))

        self.assertTrue(self.factset.remove(f2))
        self.assertEqual(0, len(self.factset))
        self.assertEqual(set(), self.factset.find(((1, 200),)))

    def test_create_index(self):
        f1 = (1, 200, 'a')
        f2 = (2, 200, 'a')
        f3 = (3, 200, 'c')
        self.factset.add(f1)
        self.factset.add(f2)
        self.factset.add(f3)

        self.factset.create_index((1,))
        self.assertEqual(set([f1, f2, f3]), self.factset.find(((1, 200),)))
        self.assertEqual(set([f1, f2]), self.factset.find(((2, 'a'),)))
        self.assertEqual(set([f1, f2]), self.factset.find(((1, 200),
                                                           (2, 'a'))))
        self.assertEqual(set([f1]), self.factset.find(((0, 1), (1, 200),
                                                       (2, 'a'),)))
        self.assertEqual(set(), self.factset.find(((0, 8),)))

        self.factset.create_index((1, 2))
        self.assertEqual(set([f1, f2, f3]), self.factset.find(((1, 200),)))
        self.assertEqual(set([f1, f2]), self.factset.find(((2, 'a'),)))
        self.assertEqual(set([f1, f2]), self.factset.find(((1, 200),
                                                           (2, 'a'))))
        self.assertEqual(set([f1]), self.factset.find(((0, 1), (1, 200),
                                                       (2, 'a'),)))
        self.assertEqual(set(), self.factset.find(((0, 8),)))

    def test_remove_index(self):
        f1 = (1, 200, 'a')
        f2 = (2, 200, 'a')
        f3 = (3, 200, 'c')
        self.factset.add(f1)
        self.factset.add(f2)
        self.factset.add(f3)

        self.factset.create_index((1,))
        self.factset.create_index((1, 2))
        self.factset.remove_index((1,))
        self.factset.remove_index((1, 2))

        self.assertEqual(set([f1, f2, f3]), self.factset.find(((1, 200),)))
        self.assertEqual(set([f1, f2]), self.factset.find(((2, 'a'),)))
        self.assertEqual(set([f1, f2]), self.factset.find(((1, 200),
                                                           (2, 'a'))))
        self.assertEqual(set([f1]), self.factset.find(((0, 1), (1, 200),
                                                       (2, 'a'),)))
        self.assertEqual(set(), self.factset.find(((0, 8),)))

    def test_indexed_find(self):
        f1 = (1, 200, 'a')
        f2 = (2, 200, 'a')
        f3 = (3, 200, 'c')
        self.factset.add(f1)
        self.factset.add(f2)
        self.factset.add(f3)

        # Count iterations without index.
        iterations = []  # measure how many iterations find() uses.
        self.assertEqual(set([f1]), self.factset.find(((0, 1),), iterations))
        self.assertEqual(3, iterations[0])

        # Count iterations with index match.
        self.factset.create_index((0,))
        iterations = []
        self.assertEqual(set([f1]), self.factset.find(((0, 1),), iterations))
        self.assertEqual(1, iterations[0])

        # Count iterations when there is a matching index, but not match for
        # this particular key.
        iterations = []
        self.assertEqual(set(), self.factset.find(((0, 100),), iterations))
        self.assertEqual(1, iterations[0])

        # Count iterations after deleting index.
        self.factset.remove_index((0,))
        iterations = []
        self.assertEqual(set([f1]), self.factset.find(((0, 1),), iterations))
        self.assertEqual(3, iterations[0])
示例#4
0
 def clear_table(self, table):
     self.rules[table] = utility.OrderedSet()
     self.facts[table] = FactSet()
示例#5
0
 def setUp(self):
     super(TestFactSet, self).setUp()
     self.factset = FactSet()
示例#6
0
class TestFactSet(base.TestCase):
    def setUp(self):
        super(TestFactSet, self).setUp()
        self.factset = FactSet()

    def test_empty(self):
        self.assertFalse((1, 2, 3) in self.factset)
        self.assertEqual(0, len(self.factset))

    def test_add_one(self):
        f = (1, 2, 'a')
        self.factset.add(f)
        self.assertEqual(1, len(self.factset))
        self.assertEqual(set([f]), self.factset.find(
            ((0, 1), (1, 2), (2, 'a'))))

    def test_add_few(self):
        f1 = (1, 200, 'a')
        f2 = (2, 200, 'a')
        f3 = (3, 200, 'c')
        self.factset.add(f1)
        self.factset.add(f2)
        self.factset.add(f3)

        self.assertEqual(3, len(self.factset))
        self.assertEqual(set([f1, f2, f3]), self.factset.find(((1, 200), )))
        self.assertEqual(set([f1, f2]), self.factset.find(((2, 'a'), )))
        self.assertEqual(set([f1]),
                         self.factset.find((
                             (0, 1),
                             (1, 200),
                             (2, 'a'),
                         )))
        self.assertEqual(set(), self.factset.find(((0, 8), )))

    def test_remove(self):
        f1 = (1, 200, 'a')
        f2 = (2, 200, 'a')
        f3 = (3, 200, 'c')
        self.factset.add(f1)
        self.factset.add(f2)
        self.factset.add(f3)
        self.assertEqual(3, len(self.factset))

        self.assertTrue(self.factset.remove(f1))
        self.assertEqual(2, len(self.factset))
        self.assertEqual(set([f2, f3]), self.factset.find(((1, 200), )))

        self.assertTrue(self.factset.remove(f3))
        self.assertEqual(1, len(self.factset))
        self.assertEqual(set([f2]), self.factset.find(((1, 200), )))

        self.assertFalse(self.factset.remove(f3))

        self.assertTrue(self.factset.remove(f2))
        self.assertEqual(0, len(self.factset))
        self.assertEqual(set(), self.factset.find(((1, 200), )))

    def test_create_index(self):
        f1 = (1, 200, 'a')
        f2 = (2, 200, 'a')
        f3 = (3, 200, 'c')
        self.factset.add(f1)
        self.factset.add(f2)
        self.factset.add(f3)

        self.factset.create_index((1, ))
        self.assertEqual(set([f1, f2, f3]), self.factset.find(((1, 200), )))
        self.assertEqual(set([f1, f2]), self.factset.find(((2, 'a'), )))
        self.assertEqual(set([f1, f2]), self.factset.find(
            ((1, 200), (2, 'a'))))
        self.assertEqual(set([f1]),
                         self.factset.find((
                             (0, 1),
                             (1, 200),
                             (2, 'a'),
                         )))
        self.assertEqual(set(), self.factset.find(((0, 8), )))

        self.factset.create_index((1, 2))
        self.assertEqual(set([f1, f2, f3]), self.factset.find(((1, 200), )))
        self.assertEqual(set([f1, f2]), self.factset.find(((2, 'a'), )))
        self.assertEqual(set([f1, f2]), self.factset.find(
            ((1, 200), (2, 'a'))))
        self.assertEqual(set([f1]),
                         self.factset.find((
                             (0, 1),
                             (1, 200),
                             (2, 'a'),
                         )))
        self.assertEqual(set(), self.factset.find(((0, 8), )))

    def test_remove_index(self):
        f1 = (1, 200, 'a')
        f2 = (2, 200, 'a')
        f3 = (3, 200, 'c')
        self.factset.add(f1)
        self.factset.add(f2)
        self.factset.add(f3)

        self.factset.create_index((1, ))
        self.factset.create_index((1, 2))
        self.factset.remove_index((1, ))
        self.factset.remove_index((1, 2))

        self.assertEqual(set([f1, f2, f3]), self.factset.find(((1, 200), )))
        self.assertEqual(set([f1, f2]), self.factset.find(((2, 'a'), )))
        self.assertEqual(set([f1, f2]), self.factset.find(
            ((1, 200), (2, 'a'))))
        self.assertEqual(set([f1]),
                         self.factset.find((
                             (0, 1),
                             (1, 200),
                             (2, 'a'),
                         )))
        self.assertEqual(set(), self.factset.find(((0, 8), )))

    def test_indexed_find(self):
        f1 = (1, 200, 'a')
        f2 = (2, 200, 'a')
        f3 = (3, 200, 'c')
        self.factset.add(f1)
        self.factset.add(f2)
        self.factset.add(f3)

        # Count iterations without index.
        iterations = []  # measure how many iterations find() uses.
        self.assertEqual(set([f1]), self.factset.find(((0, 1), ), iterations))
        self.assertEqual(3, iterations[0])

        # Count iterations with index match.
        self.factset.create_index((0, ))
        iterations = []
        self.assertEqual(set([f1]), self.factset.find(((0, 1), ), iterations))
        self.assertEqual(1, iterations[0])

        # Count iterations when there is a matching index, but not match for
        # this particular key.
        iterations = []
        self.assertEqual(set(), self.factset.find(((0, 100), ), iterations))
        self.assertEqual(1, iterations[0])

        # Count iterations after deleting index.
        self.factset.remove_index((0, ))
        iterations = []
        self.assertEqual(set([f1]), self.factset.find(((0, 1), ), iterations))
        self.assertEqual(3, iterations[0])