コード例 #1
0
ファイル: tests_automata.py プロジェクト: vraman/Party
    def test_is_not_absorbing(self):
        node = Node('node')

        true_label = Label({})
        node.add_transition(true_label, [('dst1', True)])

        assert not is_absorbing(node)
コード例 #2
0
ファイル: tests_automata.py プロジェクト: 5nizza/Party
    def test_is_not_absorbing(self):
        node = Node('node')

        true_label = Label({})
        node.add_transition(true_label, [('dst1', True)])

        assert not is_absorbing(node)
コード例 #3
0
ファイル: tests_automata.py プロジェクト: vraman/Party
    def test_is_absorbing(self):
        node = Node('node')

        true_label = Label({})
        node.add_transition(true_label, [(node, True)])
        node.add_transition(Label({'r': True}), [(node, True)])

        assert is_absorbing(node)
コード例 #4
0
ファイル: tests_automata.py プロジェクト: 5nizza/Party
    def test_is_absorbing(self):
        node = Node('node')

        true_label = Label({})
        node.add_transition(true_label, [(node, True)])
        node.add_transition(Label({'r':True}), [(node, True)])

        assert is_absorbing(node)