tools.dox
changeset 45 725c60c7492d
parent 32 ef12f83752f6
child 46 58557724a139
     1.1 --- a/tools.dox	Mon Feb 22 00:42:19 2010 +0100
     1.2 +++ b/tools.dox	Mon Feb 22 00:43:23 2010 +0100
     1.3 @@ -20,7 +20,7 @@
     1.4  /**
     1.5  [PAGE]sec_tools[PAGE] Tools
     1.6  
     1.7 -\todo Clarify this section.
     1.8 +\todo This page is under construction.
     1.9  
    1.10  [SEC]sec_aux_structures[SEC] Auxiliary Data Structures
    1.11  Graph algorithms depend on various auxiliary data structures and algorithms.
    1.12 @@ -38,7 +38,7 @@
    1.13  elements and an item having minimum priority can be retrieved set-wise.
    1.14  
    1.15  
    1.16 -[SEC]sec_graph_to_eps[SEC] Graph to EPS
    1.17 +[SEC]sec_graph_to_eps[SEC] Postscript Exporting
    1.18  
    1.19  Another nice feature of the library is \ref graphToEps(), a highly
    1.20  configurable graph displaying tool (using EPS output format).
    1.21 @@ -62,6 +62,11 @@
    1.22      .run();
    1.23  \endcode
    1.24  
    1.25 +Using this feature, various nice images can be generated from graphs,
    1.26 +like this one.
    1.27 +
    1.28 +\image html graph_to_eps.png
    1.29 +
    1.30  [TRAILER]
    1.31  */
    1.32  }