Python _unwind_labelの例

コード例 #1

ファイル: test_ltl2ba.py プロジェクト: 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}])

コード例 #2

ファイル: test_ltl2ba.py プロジェクト: 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
        }])

コード例 #3

ファイル: test_ltl2ba.py プロジェクト: 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}]

コード例 #4

ファイル: test_ltl2ba.py プロジェクト: 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}]