Functor used to write the content of the property of a graph to a dotty file.  
 More...
#include <graph.hpp>
Functor used to write the content of the property of a graph to a dotty file. 
Definition at line 1480 of file graph.hpp.
 
◆ GraphWriter()
  
  
      
        
          | GraphWriter::GraphWriter  | 
          ( | 
          const graph *  | 
          _printing_graph,  | 
         
        
           | 
           | 
          const int  | 
          _detail_level  | 
         
        
           | 
          ) | 
           |  | 
         
       
   | 
  
inline   | 
  
 
Constructor. 
- Parameters
 - 
  
    | _printing_graph | is the graph to be printed  | 
    | _detail_level | is the detail level of the printing  | 
  
   
Definition at line 1495 of file graph.hpp.
 
 
◆ ~GraphWriter()
  
  
      
        
          | virtual GraphWriter::~GraphWriter  | 
          ( | 
           | ) | 
           | 
         
       
   | 
  
virtualdefault   | 
  
 
 
◆ operator()()
  
  
      
        
          | virtual void GraphWriter::operator()  | 
          ( | 
          std::ostream &  | 
          out | ) | 
           const | 
         
       
   | 
  
pure virtual   | 
  
 
Functor acturally called by the boost library to perform the writing. 
- Parameters
 - 
  
    | out | is the stream where the edges have to be printed  | 
  
   
Implemented in ScheduleWriter.
 
 
◆ detail_level
  
  
      
        
          | const int GraphWriter::detail_level | 
         
       
   | 
  
protected   | 
  
 
The detail level (i.e., how much information has to be included) 
Definition at line 1487 of file graph.hpp.
 
 
◆ printing_graph
  
  
      
        
          | const graph* GraphWriter::printing_graph | 
         
       
   | 
  
protected   | 
  
 
The graph to be printed. 
Definition at line 1484 of file graph.hpp.
 
 
The documentation for this class was generated from the following file: