35 transitions.push_back(transition);
40 transitions.push_back(transition);
46 nodes.push_back(node);
51 return transitions.size();
57 ss <<
"@dot\ndigraph States {\n";
61 ss <<
" " << node->toString() <<
"\n";
66 ss <<
" " << transition->toString() <<
"\n";
78 this->eventName = eventName;
83 return "\"" + from +
"\" -> \"" + to +
"\" [ label=\"" + eventName +
"\" ];";
88 : name(name), attrs(shape)
93 return "\"" + name +
"\" [" + attrs +
"]";