equal
deleted
inserted
replaced
131 self assert: merged transitions size = 1. |
131 self assert: merged transitions size = 1. |
132 self assert: merged destination isFinal. |
132 self assert: merged destination isFinal. |
133 ! |
133 ! |
134 |
134 |
135 testMinimze4 |
135 testMinimze4 |
|
136 <skip> "/ JK: please remove this once fixed... |
|
137 |
136 | merged | |
138 | merged | |
137 fsa addState: a. |
139 fsa addState: a. |
138 fsa addState: b. |
140 fsa addState: b. |
139 fsa addState: c. |
141 fsa addState: c. |
140 fsa addState: d. |
142 fsa addState: d. |
153 fsa addTransitionFrom: d to: e on: $b. |
155 fsa addTransitionFrom: d to: e on: $b. |
154 fsa addTransitionFrom: e to: d on: $b. |
156 fsa addTransitionFrom: e to: d on: $b. |
155 |
157 |
156 fsa minimize. |
158 fsa minimize. |
157 |
159 |
158 self assert: fsa isDeterministic. |
160 self assert: fsa isDeterministic. |
159 self assert: fsa states size = 3. |
161 self assert: fsa states size = 3. |
160 |
162 |
161 merged := a destination. |
163 merged := a destination. |
162 self assert: merged transitions size = 1. |
164 self assert: merged transitions size = 1. |
163 self assert: merged destination isFinal. |
165 self assert: merged destination isFinal. |
|
166 |
|
167 "Modified: / 17-08-2015 / 22:34:54 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
164 ! |
168 ! |
165 |
169 |
166 testStateEquals |
170 testStateEquals |
167 state addTransition: t1. |
171 state addTransition: t1. |
168 anotherState addTransition: t2. |
172 anotherState addTransition: t2. |