243 check(checkPlanarity(graph) == planar, "Planarity checking failed"); |
243 check(checkPlanarity(graph) == planar, "Planarity checking failed"); |
244 |
244 |
245 if (planar) { |
245 if (planar) { |
246 checkEmbedding(graph, pe); |
246 checkEmbedding(graph, pe); |
247 |
247 |
248 PlanarDrawing<Graph> pd(graph); |
248 { |
249 pd.run(pe.embeddingMap()); |
249 PlanarDrawing<Graph> pd(graph); |
250 checkDrawing(graph, pd); |
250 pd.run(pe.embeddingMap()); |
251 |
251 checkDrawing(graph, pd); |
252 PlanarColoring<Graph> pc(graph); |
252 } |
253 pc.runFiveColoring(pe.embeddingMap()); |
253 |
254 checkColoring(graph, pc, 5); |
254 { |
|
255 PlanarDrawing<Graph> pd(graph); |
|
256 pd.run(); |
|
257 checkDrawing(graph, pd); |
|
258 } |
|
259 |
|
260 { |
|
261 PlanarColoring<Graph> pc(graph); |
|
262 pc.runFiveColoring(pe.embeddingMap()); |
|
263 checkColoring(graph, pc, 5); |
|
264 } |
|
265 |
|
266 { |
|
267 PlanarColoring<Graph> pc(graph); |
|
268 pc.runFiveColoring(); |
|
269 checkColoring(graph, pc, 5); |
|
270 } |
255 |
271 |
256 } else { |
272 } else { |
257 checkKuratowski(graph, pe); |
273 checkKuratowski(graph, pe); |
258 } |
274 } |
259 } |
275 } |