Functor used to write the content of the edges to a dotty file.
More...
#include <graph.hpp>
Functor used to write the content of the edges to a dotty file.
Definition at line 1551 of file graph.hpp.
◆ UEdgeWriter()
UEdgeWriter::UEdgeWriter |
( |
const ugraph * |
_printing_ugraph, |
|
|
const int |
_detail_level |
|
) |
| |
|
inline |
Constructor.
- Parameters
-
sdf_graph | is the graph to be printed |
detail_level | if 1, state of the sdf graph is printed |
Definition at line 1569 of file graph.hpp.
◆ ~UEdgeWriter()
virtual UEdgeWriter::~UEdgeWriter |
( |
| ) |
|
|
virtualdefault |
◆ operator()()
virtual void UEdgeWriter::operator() |
( |
std::ostream & |
out, |
|
|
const UEdgeDescriptor & |
edge |
|
) |
| const |
|
pure virtual |
Functor actually called by the boost library to perform the writing.
- Parameters
-
out | is the stream where the edges have to be printed |
edge | is the edge to be printed |
◆ detail_level
const int UEdgeWriter::detail_level |
|
protected |
The deail level; if one, tate of the graph is printed.
Definition at line 1561 of file graph.hpp.
◆ printing_ugraph
const ugraph* UEdgeWriter::printing_ugraph |
|
protected |
The graph to be printed.
Definition at line 1555 of file graph.hpp.
◆ selector
const int UEdgeWriter::selector |
|
protected |
The selector of the graph to be printed.
Definition at line 1558 of file graph.hpp.
The documentation for this class was generated from the following file: