37 transitions.push_back(transition);
42 const std::string& to,
43 const std::string& eventName)
46 transitions.push_back(transition);
53 nodes.push_back(node);
59 return transitions.size();
66 ss <<
"@dot\ndigraph States {\n";
70 ss <<
" " << node->toString() <<
"\n";
75 ss <<
" " << transition->toString() <<
"\n";
86 this->eventName = eventName;
92 return "\"" + from +
"\" -> \"" + to +
"\" [ label=\"" + eventName +
"\" ];";
96 name(name), attrs(shape)
103 return "\"" + name +
"\" [" + attrs +
"]";