Python _unwind_label Examples

Example #1

File: test_ltl2ba.py Project: 5nizza/Party

    def test_unwind_labels__main_case(self):
        pattern_lbl = {'r': True}
        vars = {'r', 'g'}

        concrete_labels = _unwind_label(pattern_lbl, vars)

        _assert_equal_list_dict(
            concrete_labels,
            [{'r': True, 'g': True}, {'r': True, 'g': False}])

Example #2

File: test_ltl2ba.py Project: vraman/Party

    def test_unwind_labels__main_case(self):
        pattern_lbl = {'r': True}
        vars = {'r', 'g'}

        concrete_labels = _unwind_label(pattern_lbl, vars)

        _assert_equal_list_dict(concrete_labels, [{
            'r': True,
            'g': True
        }, {
            'r': True,
            'g': False
        }])

Example #3

File: test_ltl2ba.py Project: vraman/Party

    def test_unwind_labels__concrete_lbl(self):
        pattern_lbl = {'r': True}
        vars = {'r'}

        concrete_labels = _unwind_label(pattern_lbl, vars)
        assert concrete_labels == [{'r': True}]

Example #4

File: test_ltl2ba.py Project: 5nizza/Party

    def test_unwind_labels__concrete_lbl(self):
        pattern_lbl = {'r': True}
        vars = {'r'}

        concrete_labels = _unwind_label(pattern_lbl, vars)
        assert concrete_labels == [{'r': True}]