equal
deleted
inserted
replaced
95 int current = 0; |
95 int current = 0; |
96 while (forbidden.find(current) != forbidden.end()) ++current; |
96 while (forbidden.find(current) != forbidden.end()) ++current; |
97 color[order[i]] = current; |
97 color[order[i]] = current; |
98 } |
98 } |
99 |
99 |
100 ColorSet colorSet; |
100 Palette palette; |
101 |
101 |
102 graphToEps(graph, "coloring.eps"). |
102 graphToEps(graph, "coloring.eps"). |
103 title("Six Colored Plan Graph").copyright("(C) 2006 LEMON Project"). |
103 title("Six Colored Plan Graph").copyright("(C) 2006 LEMON Project"). |
104 coords(coords).nodeColors(composeMap(colorSet, color)). |
104 coords(coords).nodeColors(composeMap(palette, color)). |
105 nodeScale(5.0).scaleToA4().run(); |
105 nodeScale(5.0).scaleToA4().run(); |
106 |
106 |
107 return 0; |
107 return 0; |
108 } |
108 } |