equal
deleted
inserted
replaced
138 nodeColors(composeMap(colorSet,colors)). |
138 nodeColors(composeMap(colorSet,colors)). |
139 edgeColors(composeMap(colorSet,ecolors)). |
139 edgeColors(composeMap(colorSet,ecolors)). |
140 edgeWidthScale(.3).edgeWidths(widths). |
140 edgeWidthScale(.3).edgeWidths(widths). |
141 nodeTexts(id).nodeTextSize(3). |
141 nodeTexts(id).nodeTextSize(3). |
142 enableParallel().parEdgeDist(1). |
142 enableParallel().parEdgeDist(1). |
143 // hideNodes(). |
|
144 drawArrows().arrowWidth(1).arrowLength(1). |
143 drawArrows().arrowWidth(1).arrowLength(1). |
145 run();; |
144 run(); |
|
145 |
|
146 graphToEps(g,"graph_to_eps_demo_out_a4.eps").scaleToA4(). |
|
147 nodeScale(2).nodeSizes(sizes). |
|
148 coords(coords). |
|
149 nodeShapes(shapes). |
|
150 nodeColors(composeMap(colorSet,colors)). |
|
151 edgeColors(composeMap(colorSet,ecolors)). |
|
152 edgeWidthScale(.3).edgeWidths(widths). |
|
153 nodeTexts(id).nodeTextSize(3). |
|
154 enableParallel().parEdgeDist(1). |
|
155 drawArrows().arrowWidth(1).arrowLength(1). |
|
156 run(); |
|
157 |
146 } |
158 } |