# HG changeset patch # User Alpar Juttner # Date 2009-02-23 12:31:22 # Node ID 06e0fb20a97c9f9acbbd88cba806271b7c97ef08 # Parent d9e43511d11c67193be6ee2f5d7f30d5b13e8380 Option for lgf-gen to draw the edges only diff --git a/tools/lgf-gen.cc b/tools/lgf-gen.cc --- a/tools/lgf-gen.cc +++ b/tools/lgf-gen.cc @@ -699,6 +699,7 @@ // .mandatoryGroup("dist") .onlyOneGroup("dist") .boolOption("eps", "Also generate .eps output (prefix.eps)") + .boolOption("nonodes", "Draw the edges only in the generated .eps") .boolOption("dir", "Directed digraph is generated (each arcs are replaced by two directed ones)") .boolOption("2con", "Create a two connected planar digraph") .optionGroup("alg","2con") @@ -819,7 +820,7 @@ if(ap["eps"]) graphToEps(g,prefix+".eps").scaleToA4(). scale(600).nodeScale(.005).arcWidthScale(.001).preScale(false). - coords(coords).run(); + coords(coords).hideNodes(ap.given("nonodes")).run(); if(ap["dir"]) DigraphWriter(g,prefix+".lgf").