Public Member Functions | |
template<class Vertex > | |
void | operator() (std::ostream &out, const Vertex &e) const |
pn_writer (GraphType &graph) | |
Public Attributes | |
GraphType & | graph |
The graphviz writer class for the PN graph.
Definition at line 148 of file ExecPNGraph.hpp.
labust::control::ExecPNGraph::pn_writer::pn_writer | ( | GraphType & | graph | ) | [inline] |
Definition at line 149 of file ExecPNGraph.hpp.
void labust::control::ExecPNGraph::pn_writer::operator() | ( | std::ostream & | out, |
const Vertex & | e | ||
) | const [inline] |
Definition at line 151 of file ExecPNGraph.hpp.
Definition at line 157 of file ExecPNGraph.hpp.