... | ... |
@@ -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)