Abstraction |
Included boxes |
Type |
B1 |
10, 10-11, 12 |
Iterative |
B2 |
16, 16c |
Conditional |
B3 |
29, 29c |
Conditional |
B4 |
31, 32-37, 40 |
Conditional |
B5 |
50, 64-68 |
Sequential |
B6 |
72, 72c |
Sequential |
B7 |
92, 92c |
Conditional |
B8 |
93, 93c |
Conditional |
B9 |
9, B1, B2, 18-21 |
Sequential |
B10 |
B3, B4, 41-42 |
Sequential |
B11 |
53, 57-59, B5, 60 |
Conditional |
B12 |
B6, 73 |
Sequential |
B13 |
90-91, B7, B8, 94 |
Sequential |
B14 |
70, 85-86 |
Sequential |
B15 |
78, 79-80, B14, 80 |
Conditional |
B16 |
B11, B12 |
Sequential |
B17 |
77, B15, B14 |
Conditional |
B18 |
B16, B17, B13 |
Sequential |
B19 |
49, B18, B14 |
Conditional |
B20 |
48, B19, B14 |
Conditional |
B21 |
B9, 25-28 |
Sequential |
B22 |
95, 25-28 |
Conditional |
B23 |
B20, B22 |
Sequential |
B24 |
43, 44 |
Sequential |
B25 |
B21, B10 |
Sequential |
B26 |
B23, B10 |
Sequential |
B27 |
30, B24, B26 |
Iterative |
B28 |
B25, B27, 90, 100-101 |
Sequential |