Public Member Functions | |
edge_writer (PropertyMap edge_map, NameMap map) | |
template<class Edge > | |
void | operator() (std::ostream &out, const Edge &e) const |
Public Attributes | |
PropertyMap | edge_map |
NameMap | map |
Definition at line 183 of file PNController.hpp.
labust::control::PNController::edge_writer< PropertyMap, NameMap >::edge_writer | ( | PropertyMap | edge_map, |
NameMap | map | ||
) | [inline] |
Definition at line 184 of file PNController.hpp.
void labust::control::PNController::edge_writer< PropertyMap, NameMap >::operator() | ( | std::ostream & | out, |
const Edge & | e | ||
) | const [inline] |
Definition at line 188 of file PNController.hpp.
PropertyMap labust::control::PNController::edge_writer< PropertyMap, NameMap >::edge_map |
Definition at line 192 of file PNController.hpp.
NameMap labust::control::PNController::edge_writer< PropertyMap, NameMap >::map |
Definition at line 193 of file PNController.hpp.