| ... | ... |
@@ -699,6 +699,7 @@ |
| 699 | 699 |
// .mandatoryGroup("dist")
|
| 700 | 700 |
.onlyOneGroup("dist")
|
| 701 | 701 |
.boolOption("eps", "Also generate .eps output (prefix.eps)")
|
| 702 |
.boolOption("nonodes", "Draw the edges only in the generated .eps")
|
|
| 702 | 703 |
.boolOption("dir", "Directed digraph is generated (each arcs are replaced by two directed ones)")
|
| 703 | 704 |
.boolOption("2con", "Create a two connected planar digraph")
|
| 704 | 705 |
.optionGroup("alg","2con")
|
| ... | ... |
@@ -819,7 +820,7 @@ |
| 819 | 820 |
if(ap["eps"]) |
| 820 | 821 |
graphToEps(g,prefix+".eps").scaleToA4(). |
| 821 | 822 |
scale(600).nodeScale(.005).arcWidthScale(.001).preScale(false). |
| 822 |
coords(coords).run(); |
|
| 823 |
coords(coords).hideNodes(ap.given("nonodes")).run();
|
|
| 823 | 824 |
|
| 824 | 825 |
if(ap["dir"]) |
| 825 | 826 |
DigraphWriter<ListGraph>(g,prefix+".lgf"). |
0 comments (0 inline)