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: