1 #ifndef ROSTATE_MACHINE_GRAPH_WRITER_H_INCLUDED 2 #define ROSTATE_MACHINE_GRAPH_WRITER_H_INCLUDED 7 template <
typename Map>
12 template <
class Vertex>
17 out <<
" [color=blue,fontsize=12,shape=ellipse,label=\"" <<
g[v].name <<
"\"]" << std::endl;
18 out <<
"[fontcolor=blue]" << std::endl;
22 out <<
" [color=black,fontsize=12,shape=ellipse,label=\"" <<
g[v].name <<
"\"]" << std::endl;
29 template <
typename Map>
36 out <<
"[color=gray]" << std::endl;
37 out <<
"[fontsize=12]" << std::endl;
38 out <<
"[style=solid]" << std::endl;
39 out <<
"[fontcolor=black]" << std::endl;
40 out <<
"[label=\"" <<
g[e].trigger_event <<
"\"]" << std::endl;
49 out <<
"graph [bgcolor=white]" << std::endl;
53 #endif //ROSTATE_MACHINE_GRAPH_WRITER_H_INCLUDED std::string current_state
void operator()(std::ostream &out, Vertex v)
void operator()(std::ostream &out) const
void operator()(std::ostream &out, Edge e)
NodeWriter(Map &g_, std::string current_state_)