Changeset - r571:06e0fb20a97c
« 570:d9e435
584:0fec6a »
576:f5bc14 »
572:635a83 »
gravatar
alpar (Alpar Juttner)
alpar@cs.elte.hu
Option for lgf-gen to draw the edges only
0 1 0
default
1 file changed with 2 insertions and 1 deletions:
tools/lgf-gen.cc
2
1
↑ Collapse diff ↑
tools/lgf-gen.cc
Show white space 6 line context
... ... 
@@ -701,2 +701,3 @@
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)")
... ... 
@@ -821,3 +822,3 @@
821 822 
      scale(600).nodeScale(.005).arcWidthScale(.001).preScale(false).
822 
      coords(coords).run();
823 
      coords(coords).hideNodes(ap.given("nonodes")).run();
823 824 

			




        

    






    
    



    


    

     
    
0 comments (0 inline)