-
Notifications
You must be signed in to change notification settings - Fork 10
/
test_nondeterministic_transition_function.py
93 lines (83 loc) · 4.17 KB
/
test_nondeterministic_transition_function.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
"""
Test the nondeterministic transition functions
"""
import unittest
from pyformlang.finite_automaton import State, Symbol, \
NondeterministicTransitionFunction
class TestNondeterministicTransitionFunction(unittest.TestCase):
""" Tests the nondeterministic transitions functions
"""
def test_creation(self):
""" Tests the creation of nondeterministic transition functions
"""
transition_function = NondeterministicTransitionFunction()
self.assertIsNotNone(transition_function)
def test_add_transitions(self):
""" Tests the addition of transitions
"""
transition_function = NondeterministicTransitionFunction()
s_from = State(0)
s_to = State(1)
s_to_bis = State(2)
symb_by = Symbol("a")
transition_function.add_transition(s_from, symb_by, s_to)
transition_function.add_transition(s_from, symb_by, s_to)
transition_function.add_transition(s_from, symb_by, s_to_bis)
transition_function.add_transition(s_to, symb_by, s_to)
self.assertEqual(transition_function.get_number_transitions(), 3)
def test_number_transitions(self):
""" Tests the number of transitions
"""
transition_function = NondeterministicTransitionFunction()
self.assertEqual(transition_function.get_number_transitions(), 0)
s_from = State(0)
s_to = State(1)
s_to_bis = State(2)
symb_by = Symbol("a")
symb_by2 = Symbol("b")
transition_function.add_transition(s_from, symb_by, s_to)
self.assertEqual(transition_function.get_number_transitions(), 1)
transition_function.add_transition(s_from, symb_by, s_to)
self.assertEqual(transition_function.get_number_transitions(), 1)
transition_function.add_transition(s_from, symb_by2, s_to_bis)
self.assertEqual(transition_function.get_number_transitions(), 2)
transition_function.add_transition(s_to, symb_by, s_to_bis)
self.assertEqual(transition_function.get_number_transitions(), 3)
transition_function.add_transition(s_from, symb_by, s_from)
self.assertEqual(transition_function.get_number_transitions(), 4)
def test_remove_transitions(self):
""" Tests the removal of transitions
"""
transition_function = NondeterministicTransitionFunction()
s_from = State(0)
s_to = State(1)
symb_by = Symbol("a")
transition_function.add_transition(s_from, symb_by, s_to)
self.assertEqual(transition_function.remove_transition(s_from,
symb_by,
s_to), 1)
self.assertEqual(len(transition_function(s_to, symb_by)), 0)
self.assertEqual(transition_function.get_number_transitions(), 0)
self.assertEqual(len(transition_function(s_from, symb_by)), 0)
self.assertEqual(transition_function.remove_transition(s_from,
symb_by,
s_to), 0)
transition_function.add_transition(s_from, symb_by, s_to)
transition_function.add_transition(s_from, symb_by, s_from)
self.assertEqual(transition_function.remove_transition(s_from,
symb_by,
s_to), 1)
self.assertEqual(transition_function.get_number_transitions(), 1)
self.assertEqual(len(transition_function(s_from, symb_by)), 1)
def test_call(self):
""" Tests the call of a transition function
"""
transition_function = NondeterministicTransitionFunction()
s_from = State(0)
s_to = State(1)
symb_by = Symbol("a")
transition_function.add_transition(s_from, symb_by, s_to)
self.assertEqual(transition_function(s_from, symb_by), {s_to})
self.assertEqual(len(transition_function(s_to, symb_by)), 0)
transition_function.add_transition(s_from, symb_by, s_from)
self.assertEqual(transition_function(s_from, symb_by), {s_to, s_from})