Skip to content

Commit 3d6d69a

Browse files
bash olyabachish
bash olya
authored and
bachish
committed
make parity test smaller
1 parent ae06098 commit 3d6d69a

5 files changed

Lines changed: 93 additions & 223 deletions

File tree

‎test-shared/src/test/kotlin/solver/correctnessTests/dyckKParityAlpha/Test.kt‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ package solver.correctnessTests.dyckKParityAlpha
33
import org.junit.jupiter.api.Test
44
import solver.correctnessTests.AbstractCorrectnessTest
55

6-
class DyckKParityAlphaTest : AbstractCorrectnessTest() {
6+
class DyckKParityTest : AbstractCorrectnessTest() {
77
@Test
88
override fun checkTreeCorrectnessForGrammar() {
99
runTests(dyckAlphaGrammarKParity())

‎test-shared/src/test/resources/correctness/tree/dyckAlphaGrammarKParity/nontermIsLeaf/input.dot‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,6 @@
11
digraph G {
2-
start -> 3;
32
start -> 4;
4-
start -> 5;
53
start -> 7;
6-
start -> 8;
74
3->4[label="op--1"];
85
4->5[label="cp--1"];
96
7->4[label="ob--1"];

‎test-shared/src/test/resources/correctness/tree/dyckAlphaGrammarKParity/nontermIsLeaf/result.dot‎

Lines changed: 44 additions & 116 deletions
Original file line numberDiff line numberDiff line change
@@ -3,11 +3,11 @@ labelloc="t"
33
label=""
44
subgraph cluster_0{
55
labelloc="t"
6-
_0_0 [label = "0 Nonterminal S, input: [3, 3]", shape = invtrapezium]
7-
_0_1 [label = "1 Range , input: [3, 3], rsm: [S_0, S_1]", shape = ellipse]
8-
_0_2 [label = "2 Nonterminal Sp, input: [3, 3]", shape = invtrapezium]
9-
_0_3 [label = "3 Range , input: [3, 3], rsm: [Sp_0, Sp_0]", shape = ellipse]
10-
_0_4 [label = "4 Epsilon RSM: Sp_0, input: [3, 3]", shape = invhouse]
6+
_0_0 [label = "0 Nonterminal S, input: [4, 4]", shape = invtrapezium]
7+
_0_1 [label = "1 Range , input: [4, 4], rsm: [S_0, S_1]", shape = ellipse]
8+
_0_2 [label = "2 Nonterminal Sp, input: [4, 4]", shape = invtrapezium]
9+
_0_3 [label = "3 Range , input: [4, 4], rsm: [Sp_0, Sp_0]", shape = ellipse]
10+
_0_4 [label = "4 Epsilon RSM: Sp_0, input: [4, 4]", shape = invhouse]
1111
_0_0->_0_1
1212
_0_1->_0_2
1313
_0_2->_0_3
@@ -16,124 +16,52 @@ _0_3->_0_4
1616

1717
subgraph cluster_1{
1818
labelloc="t"
19-
_1_0 [label = "0 Nonterminal S, input: [3, 5]", shape = invtrapezium]
20-
_1_1 [label = "1 Range , input: [3, 5], rsm: [S_0, S_1]", shape = ellipse]
21-
_1_2 [label = "10 Range , input: [4, 5], rsm: [Sp_6, Sp_3]", shape = ellipse]
22-
_1_3 [label = "11 Intermediate input: 4, rsm: Sp_2, input: [3, 4]", shape = plain]
23-
_1_4 [label = "12 Terminal 'cp--1', input: [4, 5]", shape = rectangle]
24-
_1_5 [label = "13 Range , input: [3, 4], rsm: [Sp_0, Sp_2]", shape = ellipse]
25-
_1_6 [label = "14 Range , input: [4, 4], rsm: [Sp_2, Sp_6]", shape = ellipse]
26-
_1_7 [label = "15 Terminal 'op--1', input: [3, 4]", shape = rectangle]
27-
_1_8 [label = "16 Nonterminal Sp, input: [4, 4]", shape = invtrapezium]
28-
_1_9 [label = "2 Nonterminal Sp, input: [3, 5]", shape = invtrapezium]
29-
_1_10 [label = "3 Range , input: [3, 5], rsm: [Sp_0, Sp_4]", shape = ellipse]
30-
_1_11 [label = "4 Intermediate input: 5, rsm: Sp_3, input: [3, 5]", shape = plain]
31-
_1_12 [label = "5 Range , input: [3, 5], rsm: [Sp_0, Sp_3]", shape = ellipse]
32-
_1_13 [label = "6 Range , input: [5, 5], rsm: [Sp_3, Sp_4]", shape = ellipse]
33-
_1_14 [label = "7 Intermediate input: 4, rsm: Sp_6, input: [3, 5]", shape = plain]
34-
_1_15 [label = "8 Nonterminal Sp, input: [5, 5]", shape = invtrapezium]
35-
_1_16 [label = "9 Range , input: [3, 4], rsm: [Sp_0, Sp_6]", shape = ellipse]
19+
_1_0 [label = "0 Nonterminal S, input: [7, 7]", shape = invtrapezium]
20+
_1_1 [label = "1 Range , input: [7, 7], rsm: [S_0, S_1]", shape = ellipse]
21+
_1_2 [label = "2 Nonterminal Sp, input: [7, 7]", shape = invtrapezium]
22+
_1_3 [label = "3 Range , input: [7, 7], rsm: [Sp_0, Sp_0]", shape = ellipse]
23+
_1_4 [label = "4 Epsilon RSM: Sp_0, input: [7, 7]", shape = invhouse]
3624
_1_0->_1_1
37-
_1_1->_1_9
38-
_1_2->_1_4
39-
_1_3->_1_5
40-
_1_3->_1_6
41-
_1_5->_1_7
42-
_1_6->_1_8
43-
_1_9->_1_10
44-
_1_10->_1_11
45-
_1_11->_1_12
46-
_1_11->_1_13
47-
_1_12->_1_14
48-
_1_13->_1_15
49-
_1_14->_1_16
50-
_1_14->_1_2
51-
_1_16->_1_3
25+
_1_1->_1_2
26+
_1_2->_1_3
27+
_1_3->_1_4
5228
}
5329

5430
subgraph cluster_2{
5531
labelloc="t"
56-
_2_0 [label = "0 Nonterminal S, input: [4, 4]", shape = invtrapezium]
57-
_2_1 [label = "1 Range , input: [4, 4], rsm: [S_0, S_1]", shape = ellipse]
58-
_2_2 [label = "2 Nonterminal Sp, input: [4, 4]", shape = invtrapezium]
59-
_2_3 [label = "3 Range , input: [4, 4], rsm: [Sp_0, Sp_0]", shape = ellipse]
60-
_2_4 [label = "4 Epsilon RSM: Sp_0, input: [4, 4]", shape = invhouse]
32+
_2_0 [label = "0 Nonterminal S, input: [7, 8]", shape = invtrapezium]
33+
_2_1 [label = "1 Range , input: [7, 8], rsm: [S_0, S_1]", shape = ellipse]
34+
_2_2 [label = "10 Intermediate input: 8, rsm: Si_1, input: [4, 8]", shape = plain]
35+
_2_3 [label = "11 Range , input: [4, 8], rsm: [Si_0, Si_1]", shape = ellipse]
36+
_2_4 [label = "12 Range , input: [8, 8], rsm: [Si_1, Si_4]", shape = ellipse]
37+
_2_5 [label = "13 Terminal 'cb--1', input: [4, 8]", shape = rectangle]
38+
_2_6 [label = "14 Nonterminal Sp, input: [8, 8]", shape = invtrapezium]
39+
_2_7 [label = "15 Range , input: [8, 8], rsm: [Sp_0, Sp_0]", shape = ellipse]
40+
_2_8 [label = "16 Epsilon RSM: Sp_0, input: [8, 8]", shape = invhouse]
41+
_2_9 [label = "2 Nonterminal Sp, input: [7, 8]", shape = invtrapezium]
42+
_2_10 [label = "3 Range , input: [7, 8], rsm: [Sp_0, Sp_4]", shape = ellipse]
43+
_2_11 [label = "4 Intermediate input: 4, rsm: Sp_1, input: [7, 8]", shape = plain]
44+
_2_12 [label = "5 Range , input: [7, 4], rsm: [Sp_0, Sp_1]", shape = ellipse]
45+
_2_13 [label = "6 Range , input: [4, 8], rsm: [Sp_1, Sp_4]", shape = ellipse]
46+
_2_14 [label = "7 Terminal 'ob--1', input: [7, 4]", shape = rectangle]
47+
_2_15 [label = "8 Nonterminal Si, input: [4, 8]", shape = invtrapezium]
48+
_2_16 [label = "9 Range , input: [4, 8], rsm: [Si_0, Si_4]", shape = ellipse]
6149
_2_0->_2_1
62-
_2_1->_2_2
50+
_2_1->_2_9
6351
_2_2->_2_3
64-
_2_3->_2_4
65-
}
66-
67-
subgraph cluster_3{
68-
labelloc="t"
69-
_3_0 [label = "0 Nonterminal S, input: [5, 5]", shape = invtrapezium]
70-
_3_1 [label = "1 Range , input: [5, 5], rsm: [S_0, S_1]", shape = ellipse]
71-
_3_2 [label = "2 Nonterminal Sp, input: [5, 5]", shape = invtrapezium]
72-
_3_3 [label = "3 Range , input: [5, 5], rsm: [Sp_0, Sp_0]", shape = ellipse]
73-
_3_4 [label = "4 Epsilon RSM: Sp_0, input: [5, 5]", shape = invhouse]
74-
_3_0->_3_1
75-
_3_1->_3_2
76-
_3_2->_3_3
77-
_3_3->_3_4
78-
}
79-
80-
subgraph cluster_4{
81-
labelloc="t"
82-
_4_0 [label = "0 Nonterminal S, input: [7, 7]", shape = invtrapezium]
83-
_4_1 [label = "1 Range , input: [7, 7], rsm: [S_0, S_1]", shape = ellipse]
84-
_4_2 [label = "2 Nonterminal Sp, input: [7, 7]", shape = invtrapezium]
85-
_4_3 [label = "3 Range , input: [7, 7], rsm: [Sp_0, Sp_0]", shape = ellipse]
86-
_4_4 [label = "4 Epsilon RSM: Sp_0, input: [7, 7]", shape = invhouse]
87-
_4_0->_4_1
88-
_4_1->_4_2
89-
_4_2->_4_3
90-
_4_3->_4_4
91-
}
92-
93-
subgraph cluster_5{
94-
labelloc="t"
95-
_5_0 [label = "0 Nonterminal S, input: [7, 8]", shape = invtrapezium]
96-
_5_1 [label = "1 Range , input: [7, 8], rsm: [S_0, S_1]", shape = ellipse]
97-
_5_2 [label = "10 Intermediate input: 8, rsm: Si_1, input: [4, 8]", shape = plain]
98-
_5_3 [label = "11 Range , input: [4, 8], rsm: [Si_0, Si_1]", shape = ellipse]
99-
_5_4 [label = "12 Range , input: [8, 8], rsm: [Si_1, Si_4]", shape = ellipse]
100-
_5_5 [label = "13 Terminal 'cb--1', input: [4, 8]", shape = rectangle]
101-
_5_6 [label = "14 Nonterminal Sp, input: [8, 8]", shape = invtrapezium]
102-
_5_7 [label = "2 Nonterminal Sp, input: [7, 8]", shape = invtrapezium]
103-
_5_8 [label = "3 Range , input: [7, 8], rsm: [Sp_0, Sp_4]", shape = ellipse]
104-
_5_9 [label = "4 Intermediate input: 4, rsm: Sp_1, input: [7, 8]", shape = plain]
105-
_5_10 [label = "5 Range , input: [7, 4], rsm: [Sp_0, Sp_1]", shape = ellipse]
106-
_5_11 [label = "6 Range , input: [4, 8], rsm: [Sp_1, Sp_4]", shape = ellipse]
107-
_5_12 [label = "7 Terminal 'ob--1', input: [7, 4]", shape = rectangle]
108-
_5_13 [label = "8 Nonterminal Si, input: [4, 8]", shape = invtrapezium]
109-
_5_14 [label = "9 Range , input: [4, 8], rsm: [Si_0, Si_4]", shape = ellipse]
110-
_5_0->_5_1
111-
_5_1->_5_7
112-
_5_2->_5_3
113-
_5_2->_5_4
114-
_5_3->_5_5
115-
_5_4->_5_6
116-
_5_7->_5_8
117-
_5_8->_5_9
118-
_5_9->_5_10
119-
_5_9->_5_11
120-
_5_10->_5_12
121-
_5_11->_5_13
122-
_5_13->_5_14
123-
_5_14->_5_2
124-
}
125-
126-
subgraph cluster_6{
127-
labelloc="t"
128-
_6_0 [label = "0 Nonterminal S, input: [8, 8]", shape = invtrapezium]
129-
_6_1 [label = "1 Range , input: [8, 8], rsm: [S_0, S_1]", shape = ellipse]
130-
_6_2 [label = "2 Nonterminal Sp, input: [8, 8]", shape = invtrapezium]
131-
_6_3 [label = "3 Range , input: [8, 8], rsm: [Sp_0, Sp_0]", shape = ellipse]
132-
_6_4 [label = "4 Epsilon RSM: Sp_0, input: [8, 8]", shape = invhouse]
133-
_6_0->_6_1
134-
_6_1->_6_2
135-
_6_2->_6_3
136-
_6_3->_6_4
52+
_2_2->_2_4
53+
_2_3->_2_5
54+
_2_4->_2_6
55+
_2_6->_2_7
56+
_2_7->_2_8
57+
_2_9->_2_10
58+
_2_10->_2_11
59+
_2_11->_2_12
60+
_2_11->_2_13
61+
_2_12->_2_14
62+
_2_13->_2_15
63+
_2_15->_2_16
64+
_2_16->_2_2
13765
}
13866

13967
}

‎test-shared/src/test/resources/correctness/tree/dyckBetaGrammarKParity/nontermIsLeaf/input.dot‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,6 @@
11
digraph G {
2-
start -> 3;
32
start -> 4;
4-
start -> 5;
53
start -> 7;
6-
start -> 8;
74
3->4[label="op--1"];
85
4->5[label="cp--1"];
96
7->4[label="ob--1"];

‎test-shared/src/test/resources/correctness/tree/dyckBetaGrammarKParity/nontermIsLeaf/result.dot‎

Lines changed: 48 additions & 100 deletions
Original file line numberDiff line numberDiff line change
@@ -3,121 +3,69 @@ labelloc="t"
33
label=""
44
subgraph cluster_0{
55
labelloc="t"
6-
_0_0 [label = "0 Nonterminal S, input: [3, 3]", shape = invtrapezium]
7-
_0_1 [label = "1 Range , input: [3, 3], rsm: [S_0, S_1]", shape = ellipse]
8-
_0_2 [label = "2 Nonterminal Sp, input: [3, 3]", shape = invtrapezium]
9-
_0_3 [label = "3 Range , input: [3, 3], rsm: [Sp_0, Sp_0]", shape = ellipse]
10-
_0_4 [label = "4 Epsilon RSM: Sp_0, input: [3, 3]", shape = invhouse]
6+
_0_0 [label = "0 Nonterminal S, input: [4, 4]", shape = invtrapezium]
7+
_0_1 [label = "1 Range , input: [4, 4], rsm: [S_0, S_1]", shape = ellipse]
8+
_0_2 [label = "2 Nonterminal Sp, input: [4, 4]", shape = invtrapezium]
119
_0_0->_0_1
1210
_0_1->_0_2
13-
_0_2->_0_3
14-
_0_3->_0_4
1511
}
1612

1713
subgraph cluster_1{
1814
labelloc="t"
19-
_1_0 [label = "0 Nonterminal S, input: [3, 5]", shape = invtrapezium]
20-
_1_1 [label = "1 Range , input: [3, 5], rsm: [S_0, S_1]", shape = ellipse]
21-
_1_2 [label = "2 Nonterminal Sp, input: [3, 5]", shape = invtrapezium]
22-
_1_3 [label = "3 Range , input: [3, 5], rsm: [Sp_0, Sp_4]", shape = ellipse]
23-
_1_4 [label = "4 Intermediate input: 4, rsm: Sp_1, input: [3, 5]", shape = plain]
24-
_1_5 [label = "5 Range , input: [3, 4], rsm: [Sp_0, Sp_1]", shape = ellipse]
25-
_1_6 [label = "6 Range , input: [4, 5], rsm: [Sp_1, Sp_4]", shape = ellipse]
26-
_1_7 [label = "7 Terminal 'op--1', input: [3, 4]", shape = rectangle]
27-
_1_8 [label = "8 Nonterminal Si, input: [4, 5]", shape = invtrapezium]
15+
_1_0 [label = "0 Nonterminal S, input: [7, 7]", shape = invtrapezium]
16+
_1_1 [label = "1 Range , input: [7, 7], rsm: [S_0, S_1]", shape = ellipse]
17+
_1_2 [label = "2 Nonterminal Sp, input: [7, 7]", shape = invtrapezium]
18+
_1_3 [label = "3 Range , input: [7, 7], rsm: [Sp_0, Sp_0]", shape = ellipse]
19+
_1_4 [label = "4 Epsilon RSM: Sp_0, input: [7, 7]", shape = invhouse]
2820
_1_0->_1_1
2921
_1_1->_1_2
3022
_1_2->_1_3
3123
_1_3->_1_4
32-
_1_4->_1_5
33-
_1_4->_1_6
34-
_1_5->_1_7
35-
_1_6->_1_8
3624
}
3725

3826
subgraph cluster_2{
3927
labelloc="t"
40-
_2_0 [label = "0 Nonterminal S, input: [4, 4]", shape = invtrapezium]
41-
_2_1 [label = "1 Range , input: [4, 4], rsm: [S_0, S_1]", shape = ellipse]
42-
_2_2 [label = "2 Nonterminal Sp, input: [4, 4]", shape = invtrapezium]
28+
_2_0 [label = "0 Nonterminal S, input: [7, 8]", shape = invtrapezium]
29+
_2_1 [label = "1 Range , input: [7, 8], rsm: [S_0, S_1]", shape = ellipse]
30+
_2_2 [label = "10 Range , input: [4, 8], rsm: [Sp_6, Sp_3]", shape = ellipse]
31+
_2_3 [label = "11 Range , input: [8, 8], rsm: [Sp_0, Sp_0]", shape = ellipse]
32+
_2_4 [label = "12 Intermediate input: 4, rsm: Sp_2, input: [7, 4]", shape = plain]
33+
_2_5 [label = "13 Terminal 'cb--1', input: [4, 8]", shape = rectangle]
34+
_2_6 [label = "14 Epsilon RSM: Sp_0, input: [8, 8]", shape = invhouse]
35+
_2_7 [label = "15 Range , input: [7, 4], rsm: [Sp_0, Sp_2]", shape = ellipse]
36+
_2_8 [label = "16 Range , input: [4, 4], rsm: [Sp_2, Sp_6]", shape = ellipse]
37+
_2_9 [label = "17 Terminal 'ob--1', input: [7, 4]", shape = rectangle]
38+
_2_10 [label = "18 Nonterminal Sp, input: [4, 4]", shape = invtrapezium]
39+
_2_11 [label = "19 Range , input: [4, 4], rsm: [Sp_0, Sp_0]", shape = ellipse]
40+
_2_12 [label = "2 Nonterminal Sp, input: [7, 8]", shape = invtrapezium]
41+
_2_13 [label = "20 Epsilon RSM: Sp_0, input: [4, 4]", shape = invhouse]
42+
_2_14 [label = "3 Range , input: [7, 8], rsm: [Sp_0, Sp_4]", shape = ellipse]
43+
_2_15 [label = "4 Intermediate input: 8, rsm: Sp_3, input: [7, 8]", shape = plain]
44+
_2_16 [label = "5 Range , input: [7, 8], rsm: [Sp_0, Sp_3]", shape = ellipse]
45+
_2_17 [label = "6 Range , input: [8, 8], rsm: [Sp_3, Sp_4]", shape = ellipse]
46+
_2_18 [label = "7 Intermediate input: 4, rsm: Sp_6, input: [7, 8]", shape = plain]
47+
_2_19 [label = "8 Nonterminal Sp, input: [8, 8]", shape = invtrapezium]
48+
_2_20 [label = "9 Range , input: [7, 4], rsm: [Sp_0, Sp_6]", shape = ellipse]
4349
_2_0->_2_1
44-
_2_1->_2_2
45-
}
46-
47-
subgraph cluster_3{
48-
labelloc="t"
49-
_3_0 [label = "0 Nonterminal S, input: [5, 5]", shape = invtrapezium]
50-
_3_1 [label = "1 Range , input: [5, 5], rsm: [S_0, S_1]", shape = ellipse]
51-
_3_2 [label = "2 Nonterminal Sp, input: [5, 5]", shape = invtrapezium]
52-
_3_0->_3_1
53-
_3_1->_3_2
54-
}
55-
56-
subgraph cluster_4{
57-
labelloc="t"
58-
_4_0 [label = "0 Nonterminal S, input: [7, 7]", shape = invtrapezium]
59-
_4_1 [label = "1 Range , input: [7, 7], rsm: [S_0, S_1]", shape = ellipse]
60-
_4_2 [label = "2 Nonterminal Sp, input: [7, 7]", shape = invtrapezium]
61-
_4_3 [label = "3 Range , input: [7, 7], rsm: [Sp_0, Sp_0]", shape = ellipse]
62-
_4_4 [label = "4 Epsilon RSM: Sp_0, input: [7, 7]", shape = invhouse]
63-
_4_0->_4_1
64-
_4_1->_4_2
65-
_4_2->_4_3
66-
_4_3->_4_4
67-
}
68-
69-
subgraph cluster_5{
70-
labelloc="t"
71-
_5_0 [label = "0 Nonterminal S, input: [7, 8]", shape = invtrapezium]
72-
_5_1 [label = "1 Range , input: [7, 8], rsm: [S_0, S_1]", shape = ellipse]
73-
_5_2 [label = "10 Range , input: [4, 8], rsm: [Sp_6, Sp_3]", shape = ellipse]
74-
_5_3 [label = "11 Intermediate input: 4, rsm: Sp_2, input: [7, 4]", shape = plain]
75-
_5_4 [label = "12 Terminal 'cb--1', input: [4, 8]", shape = rectangle]
76-
_5_5 [label = "13 Range , input: [7, 4], rsm: [Sp_0, Sp_2]", shape = ellipse]
77-
_5_6 [label = "14 Range , input: [4, 4], rsm: [Sp_2, Sp_6]", shape = ellipse]
78-
_5_7 [label = "15 Terminal 'ob--1', input: [7, 4]", shape = rectangle]
79-
_5_8 [label = "16 Nonterminal Sp, input: [4, 4]", shape = invtrapezium]
80-
_5_9 [label = "17 Range , input: [4, 4], rsm: [Sp_0, Sp_0]", shape = ellipse]
81-
_5_10 [label = "18 Epsilon RSM: Sp_0, input: [4, 4]", shape = invhouse]
82-
_5_11 [label = "2 Nonterminal Sp, input: [7, 8]", shape = invtrapezium]
83-
_5_12 [label = "3 Range , input: [7, 8], rsm: [Sp_0, Sp_4]", shape = ellipse]
84-
_5_13 [label = "4 Intermediate input: 8, rsm: Sp_3, input: [7, 8]", shape = plain]
85-
_5_14 [label = "5 Range , input: [7, 8], rsm: [Sp_0, Sp_3]", shape = ellipse]
86-
_5_15 [label = "6 Range , input: [8, 8], rsm: [Sp_3, Sp_4]", shape = ellipse]
87-
_5_16 [label = "7 Intermediate input: 4, rsm: Sp_6, input: [7, 8]", shape = plain]
88-
_5_17 [label = "8 Nonterminal Sp, input: [8, 8]", shape = invtrapezium]
89-
_5_18 [label = "9 Range , input: [7, 4], rsm: [Sp_0, Sp_6]", shape = ellipse]
90-
_5_0->_5_1
91-
_5_1->_5_11
92-
_5_2->_5_4
93-
_5_3->_5_5
94-
_5_3->_5_6
95-
_5_5->_5_7
96-
_5_6->_5_8
97-
_5_8->_5_9
98-
_5_9->_5_10
99-
_5_11->_5_12
100-
_5_12->_5_13
101-
_5_13->_5_14
102-
_5_13->_5_15
103-
_5_14->_5_16
104-
_5_15->_5_17
105-
_5_16->_5_18
106-
_5_16->_5_2
107-
_5_18->_5_3
108-
}
109-
110-
subgraph cluster_6{
111-
labelloc="t"
112-
_6_0 [label = "0 Nonterminal S, input: [8, 8]", shape = invtrapezium]
113-
_6_1 [label = "1 Range , input: [8, 8], rsm: [S_0, S_1]", shape = ellipse]
114-
_6_2 [label = "2 Nonterminal Sp, input: [8, 8]", shape = invtrapezium]
115-
_6_3 [label = "3 Range , input: [8, 8], rsm: [Sp_0, Sp_0]", shape = ellipse]
116-
_6_4 [label = "4 Epsilon RSM: Sp_0, input: [8, 8]", shape = invhouse]
117-
_6_0->_6_1
118-
_6_1->_6_2
119-
_6_2->_6_3
120-
_6_3->_6_4
50+
_2_1->_2_12
51+
_2_2->_2_5
52+
_2_3->_2_6
53+
_2_4->_2_7
54+
_2_4->_2_8
55+
_2_7->_2_9
56+
_2_8->_2_10
57+
_2_10->_2_11
58+
_2_11->_2_13
59+
_2_12->_2_14
60+
_2_14->_2_15
61+
_2_15->_2_16
62+
_2_15->_2_17
63+
_2_16->_2_18
64+
_2_17->_2_19
65+
_2_18->_2_20
66+
_2_18->_2_2
67+
_2_19->_2_3
68+
_2_20->_2_4
12169
}
12270

12371
}

0 commit comments

Comments
 (0)