| ... |
... |
@@ -10,23 +10,22 @@ |
| 10 |
10 |
|
| 11 |
11 |
|=((( |
| 12 |
12 |
Preconditions |
| 13 |
|
-)))|=(% class="nohighlight" %)(% class="nohighlight" %) |
| 14 |
|
-((( |
|
13 |
+)))|((( |
| 15 |
15 |
* No node is assigned to a layer yet. |
| 16 |
16 |
))) |
| 17 |
|
-|(% class="highlight" %)(% class="highlight" %) |
|
16 |
+|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) |
| 18 |
18 |
((( |
| 19 |
19 |
Postconditions |
| 20 |
20 |
)))|((( |
| 21 |
21 |
* The graph is now cycle-free. Still, no node is assigned to a layer yet. |
| 22 |
22 |
))) |
| 23 |
|
-|(% class="highlight" %)(% class="highlight" %) |
|
22 |
+|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) |
| 24 |
24 |
((( |
| 25 |
25 |
Remarks |
| 26 |
26 |
)))|((( |
| 27 |
27 |
* All implementations of phase one must include a dependency on the {{code language="none"}}ReversedEdgeRestorer{{/code}}, to be included after phase five. |
| 28 |
28 |
))) |
| 29 |
|
-|(% class="highlight" %)(% class="highlight" %) |
|
28 |
+|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) |
| 30 |
30 |
((( |
| 31 |
31 |
Implementations |
| 32 |
32 |
)))|((( |
| ... |
... |
@@ -45,24 +45,23 @@ |
| 45 |
45 |
|
| 46 |
46 |
|=((( |
| 47 |
47 |
Preconditions |
| 48 |
|
-)))|=(% class="nohighlight" %)(% class="nohighlight" %) |
| 49 |
|
-((( |
|
47 |
+)))|((( |
| 50 |
50 |
* The graph is cycle-free. |
| 51 |
51 |
* The nodes have not been layered yet. |
| 52 |
52 |
))) |
| 53 |
|
-|(% class="highlight" %)(% class="highlight" %) |
|
51 |
+|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) |
| 54 |
54 |
((( |
| 55 |
55 |
Postconditions |
| 56 |
56 |
)))|((( |
| 57 |
57 |
* The graph has a layering. |
| 58 |
58 |
))) |
| 59 |
|
-|(% class="highlight" %)(% class="highlight" %) |
|
57 |
+|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) |
| 60 |
60 |
((( |
| 61 |
61 |
Remarks |
| 62 |
62 |
)))|((( |
| 63 |
63 |
* Implementations should usually include a dependency on the {{code language="none"}}LayerConstraintHandler{{/code}}, unless they already adhere to layer constraints themselves. |
| 64 |
64 |
))) |
| 65 |
|
-|(% class="highlight" %)(% class="highlight" %) |
|
63 |
+|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) |
| 66 |
66 |
((( |
| 67 |
67 |
Implementations |
| 68 |
68 |
)))|((( |
| ... |
... |
@@ -82,13 +82,12 @@ |
| 82 |
82 |
|
| 83 |
83 |
|=((( |
| 84 |
84 |
Preconditions |
| 85 |
|
-)))|=(% class="nohighlight" %)(% class="nohighlight" %) |
| 86 |
|
-((( |
|
83 |
+)))|((( |
| 87 |
87 |
* The graph has a proper layering. (except for self-loops) |
| 88 |
88 |
* An implementation may allow in-layer connections. |
| 89 |
89 |
* Usually, all nodes are required to have a least fixed port sides. |
| 90 |
90 |
))) |
| 91 |
|
-|(% class="highlight" %)(% class="highlight" %) |
|
88 |
+|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) |
| 92 |
92 |
((( |
| 93 |
93 |
Postconditions |
| 94 |
94 |
)))|((( |
| ... |
... |
@@ -95,7 +95,7 @@ |
| 95 |
95 |
* The order of nodes in each layer is fixed. |
| 96 |
96 |
* All nodes have a fixed port order. |
| 97 |
97 |
))) |
| 98 |
|
-|(% class="highlight" %)(% class="highlight" %) |
|
95 |
+|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) |
| 99 |
99 |
((( |
| 100 |
100 |
Remarks |
| 101 |
101 |
)))|((( |
| ... |
... |
@@ -102,7 +102,7 @@ |
| 102 |
102 |
* If fixed port sides are required, the {{code language="none"}}PortPositionProcessor{{/code}} may be of use. |
| 103 |
103 |
* Support for in-layer connections may be required to be able to handle certain problems. (odd port sides, for instance) |
| 104 |
104 |
))) |
| 105 |
|
-|(% class="highlight" %)(% class="highlight" %) |
|
102 |
+|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) |
| 106 |
106 |
((( |
| 107 |
107 |
Implementations |
| 108 |
108 |
)))|((( |
| ... |
... |
@@ -118,8 +118,7 @@ |
| 118 |
118 |
|
| 119 |
119 |
|=((( |
| 120 |
120 |
Preconditions |
| 121 |
|
-)))|=(% class="nohighlight" %)(% class="nohighlight" %) |
| 122 |
|
-((( |
|
118 |
+)))|((( |
| 123 |
123 |
* The graph has a proper layering. (except for self-loops) |
| 124 |
124 |
* Node orders are fixed. |
| 125 |
125 |
* Port positions are fixed. |
| ... |
... |
@@ -126,7 +126,7 @@ |
| 126 |
126 |
* An implementation may allow in-layer connections. |
| 127 |
127 |
* An implementation may require node margins to be set. |
| 128 |
128 |
))) |
| 129 |
|
-|(% class="highlight" %)(% class="highlight" %) |
|
125 |
+|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) |
| 130 |
130 |
((( |
| 131 |
131 |
Postconditions |
| 132 |
132 |
)))|((( |
| ... |
... |
@@ -134,7 +134,7 @@ |
| 134 |
134 |
* The height of each layer is set. |
| 135 |
135 |
* The height of the graph is set to the maximal layer height. |
| 136 |
136 |
))) |
| 137 |
|
-|(% class="highlight" %)(% class="highlight" %) |
|
133 |
+|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) |
| 138 |
138 |
((( |
| 139 |
139 |
Remarks |
| 140 |
140 |
)))|((( |
| ... |
... |
@@ -142,7 +142,7 @@ |
| 142 |
142 |
* If node margins are supported, the {{code language="none"}}NodeMarginCalculator{{/code}} can compute them. |
| 143 |
143 |
* Port positions can be fixed by using the {{code language="none"}}PortPositionProcessor{{/code}}. |
| 144 |
144 |
))) |
| 145 |
|
-|(% class="highlight" %)(% class="highlight" %) |
|
141 |
+|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) |
| 146 |
146 |
((( |
| 147 |
147 |
Implementations |
| 148 |
148 |
)))|((( |
| ... |
... |
@@ -162,14 +162,13 @@ |
| 162 |
162 |
|
| 163 |
163 |
|=((( |
| 164 |
164 |
Preconditions |
| 165 |
|
-)))|=(% class="nohighlight" %)(% class="nohighlight" %) |
| 166 |
|
-((( |
|
161 |
+)))|((( |
| 167 |
167 |
* The graph has a proper layering. (except for self-loops) |
| 168 |
168 |
* Nodes are assigned y coordinates. |
| 169 |
169 |
* Layer heights are correctly set. |
| 170 |
170 |
* An implementation may allow in-layer connections. |
| 171 |
171 |
))) |
| 172 |
|
-|(% class="highlight" %)(% class="highlight" %) |
|
167 |
+|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) |
| 173 |
173 |
((( |
| 174 |
174 |
Postconditions |
| 175 |
175 |
)))|((( |
| ... |
... |
@@ -178,13 +178,13 @@ |
| 178 |
178 |
* The graph's width is set. |
| 179 |
179 |
* The bend points of all edges are set. |
| 180 |
180 |
))) |
| 181 |
|
-|(% class="highlight" %)(% class="highlight" %) |
|
176 |
+|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) |
| 182 |
182 |
((( |
| 183 |
183 |
Remarks |
| 184 |
184 |
)))|((( |
| 185 |
185 |
None. |
| 186 |
186 |
))) |
| 187 |
|
-|(% class="highlight" %)(% class="highlight" %) |
|
182 |
+|=(% class="highlight-grey" data-highlight-colour="grey" %)(% class="highlight-grey" data-highlight-colour="grey" %) |
| 188 |
188 |
((( |
| 189 |
189 |
Implementations |
| 190 |
190 |
)))|((( |