Python DecisionsSet Examples

Example #1

File: test_decisions.py Project: rainoftime/depsolver

    def test_decide(self):
        package = self.mkl_10_1_0
        decisions = DecisionsSet(self.pool)
        decisions.decide(package.id, 1, "because")

        self.assertTrue(package.id in decisions)
        self.assertEqual(len(decisions), 1)

Example #2

File: test_decisions.py Project: awwad/depsolver

    def test_decide(self):
        package = self.mkl_10_1_0
        decisions = DecisionsSet(self.pool)
        decisions.decide(package.id, 1, "because")

        self.assertTrue(package.id in decisions)
        self.assertEqual(len(decisions), 1)

Example #3

File: test_decisions.py Project: awwad/depsolver

    def test_is_undecided(self):
        package = self.mkl_10_1_0
        decisions = DecisionsSet(self.pool)
        decisions.decide(package.id, 1, "because")

        self.assertFalse(decisions.is_undecided(package.id))
        self.assertTrue(decisions.is_undecided(package.id + 1))

Example #4

File: test_decisions.py Project: awwad/depsolver

    def test_conflict(self):
        package = self.mkl_10_1_0
        decisions = DecisionsSet(self.pool)
        decisions.decide(package.id, 1, "because")

        self.assertTrue(decisions.conflict(-package.id))
        self.assertFalse(decisions.conflict(package.id))

Example #5

File: test_decisions.py Project: rainoftime/depsolver

    def test__add_decision_negated(self):
        r_level = 1

        package = self.mkl_10_1_0
        decisions = DecisionsSet(self.pool)
        decisions._add_decision(-package.id, r_level)

        self.assertTrue(package.id in decisions._decision_map)
        self.assertEqual(decisions._decision_map[package.id], -r_level)

Example #6

File: test_decisions.py Project: awwad/depsolver

    def test__add_decision_negated(self):
        r_level = 1

        package = self.mkl_10_1_0
        decisions = DecisionsSet(self.pool)
        decisions._add_decision(-package.id, r_level)

        self.assertTrue(package.id in decisions._decision_map)
        self.assertEqual(decisions._decision_map[package.id], -r_level)

Example #7

File: test_decisions.py Project: awwad/depsolver

    def test_iter(self):
        """Check we iter from last to first."""
        r_ids = [self.mkl_10_2_0.id, self.mkl_10_1_0.id]

        decisions = DecisionsSet(self.pool)
        decisions.decide(self.mkl_10_1_0.id, 1, "because")
        decisions.decide(self.mkl_10_2_0.id, 2, "because because")

        self.assertEqual(list(decision.literal for decision in decisions), r_ids)

Example #8

File: test_decisions.py Project: awwad/depsolver

    def test__add_decision(self):
        r_level = 1

        package = self.mkl_10_1_0
        decisions = DecisionsSet(self.pool)
        decisions._add_decision(package.id, r_level)

        self.assertTrue(package.id in decisions._decision_map)
        self.assertEqual(decisions._decision_map[package.id], r_level)

        self.assertRaises(DepSolverError, lambda: decisions._add_decision(package.id, r_level+1))

Example #9

File: test_decisions.py Project: rainoftime/depsolver

    def test__add_decision(self):
        r_level = 1

        package = self.mkl_10_1_0
        decisions = DecisionsSet(self.pool)
        decisions._add_decision(package.id, r_level)

        self.assertTrue(package.id in decisions._decision_map)
        self.assertEqual(decisions._decision_map[package.id], r_level)

        self.assertRaises(
            DepSolverError,
            lambda: decisions._add_decision(package.id, r_level + 1))

Example #10

File: test_decisions.py Project: rainoftime/depsolver

    def test_is_undecided(self):
        package1 = self.mkl_10_1_0
        package2 = self.mkl_10_2_0

        decisions = DecisionsSet(self.pool)
        decisions.decide(package1.id, 1, "because")
        decisions.decide(-package2.id, 1, "because")

        self.assertTrue(decisions.is_decided(package1.id))
        self.assertTrue(decisions.is_decided(package2.id))
        self.assertTrue(decisions.is_decided_install(package1.id))
        self.assertFalse(decisions.is_decided_install(package2.id))

Example #11

File: test_decisions.py Project: rainoftime/depsolver

    def test_satifsy(self):
        package = self.mkl_10_1_0
        decisions = DecisionsSet(self.pool)
        decisions.decide(package.id, 1, "because")

        self.assertTrue(decisions.satisfy(package.id))
        self.assertFalse(decisions.satisfy(-package.id))
        self.assertFalse(decisions.satisfy(package.id + 1))

Example #12

File: test_decisions.py Project: awwad/depsolver

    def test_is_undecided(self):
        package1 = self.mkl_10_1_0
        package2 = self.mkl_10_2_0

        decisions = DecisionsSet(self.pool)
        decisions.decide(package1.id, 1, "because")
        decisions.decide(-package2.id, 1, "because")

        self.assertTrue(decisions.is_decided(package1.id))
        self.assertTrue(decisions.is_decided(package2.id))
        self.assertTrue(decisions.is_decided_install(package1.id))
        self.assertFalse(decisions.is_decided_install(package2.id))

Example #13

File: test_decisions.py Project: rainoftime/depsolver

    def test_decision_level(self):
        r_level = 3

        package = self.mkl_10_1_0
        decisions = DecisionsSet(self.pool)
        decisions.decide(package.id, r_level, "because")

        self.assertEqual(decisions.decision_level(package.id), r_level)
        self.assertEqual(decisions.decision_level(-package.id), r_level)
        self.assertEqual(decisions.decision_level(package.id + 1), 0)

Example #14

File: test_decisions.py Project: rainoftime/depsolver

    def test_is_undecided(self):
        package = self.mkl_10_1_0
        decisions = DecisionsSet(self.pool)
        decisions.decide(package.id, 1, "because")

        self.assertFalse(decisions.is_undecided(package.id))
        self.assertTrue(decisions.is_undecided(package.id + 1))

Example #15

File: test_decisions.py Project: rainoftime/depsolver

    def test_conflict(self):
        package = self.mkl_10_1_0
        decisions = DecisionsSet(self.pool)
        decisions.decide(package.id, 1, "because")

        self.assertTrue(decisions.conflict(-package.id))
        self.assertFalse(decisions.conflict(package.id))

Example #16

File: test_decisions.py Project: awwad/depsolver

    def test_satifsy(self):
        package = self.mkl_10_1_0
        decisions = DecisionsSet(self.pool)
        decisions.decide(package.id, 1, "because")

        self.assertTrue(decisions.satisfy(package.id))
        self.assertFalse(decisions.satisfy(-package.id))
        self.assertFalse(decisions.satisfy(package.id + 1))

Example #17

File: test_decisions.py Project: rainoftime/depsolver

    def test_iter(self):
        """Check we iter from last to first."""
        r_ids = [self.mkl_10_2_0.id, self.mkl_10_1_0.id]

        decisions = DecisionsSet(self.pool)
        decisions.decide(self.mkl_10_1_0.id, 1, "because")
        decisions.decide(self.mkl_10_2_0.id, 2, "because because")

        self.assertEqual(list(decision.literal for decision in decisions),
                         r_ids)

Example #18

File: test_decisions.py Project: awwad/depsolver

    def test_decision_level(self):
        r_level = 3

        package = self.mkl_10_1_0
        decisions = DecisionsSet(self.pool)
        decisions.decide(package.id, r_level, "because")

        self.assertEqual(decisions.decision_level(package.id), r_level)
        self.assertEqual(decisions.decision_level(-package.id), r_level)
        self.assertEqual(decisions.decision_level(package.id + 1), 0)

Example #19

File: test_decisions.py Project: rainoftime/depsolver

    def test_revert_last(self):
        r_level = 1

        decisions = DecisionsSet(self.pool)
        decisions.decide(self.mkl_10_1_0.id, r_level, "because")
        decisions.decide(self.numpy_1_7_0.id, r_level, "because because")

        self.assertEqual(len(decisions), 2)
        self.assertTrue(decisions.is_decided(self.mkl_10_1_0.id))
        self.assertTrue(decisions.is_decided(self.numpy_1_7_0.id))
        self.assertEqual(decisions.last_literal, self.numpy_1_7_0.id)
        self.assertEqual(decisions.last_reason, "because because")

        decisions.revert_last()

        self.assertEqual(len(decisions), 1)
        self.assertTrue(decisions.is_decided(self.mkl_10_1_0.id))
        self.assertTrue(decisions.is_undecided(self.numpy_1_7_0.id))
        self.assertTrue(decisions.last_literal, self.mkl_10_1_0.id)
        self.assertTrue(decisions.last_reason, "because because")

Example #20

File: test_decisions.py Project: awwad/depsolver

    def test_revert_last(self):
        r_level = 1

        decisions = DecisionsSet(self.pool)
        decisions.decide(self.mkl_10_1_0.id, r_level, "because")
        decisions.decide(self.numpy_1_7_0.id, r_level, "because because")

        self.assertEqual(len(decisions), 2)
        self.assertTrue(decisions.is_decided(self.mkl_10_1_0.id))
        self.assertTrue(decisions.is_decided(self.numpy_1_7_0.id))
        self.assertEqual(decisions.last_literal, self.numpy_1_7_0.id)
        self.assertEqual(decisions.last_reason, "because because")

        decisions.revert_last()

        self.assertEqual(len(decisions), 1)
        self.assertTrue(decisions.is_decided(self.mkl_10_1_0.id))
        self.assertTrue(decisions.is_undecided(self.numpy_1_7_0.id))
        self.assertTrue(decisions.last_literal, self.mkl_10_1_0.id)
        self.assertTrue(decisions.last_reason, "because because")