string ComponentFileName(size_t cnt, const string &folder, const GraphComponent<Graph>& component) { stringstream ss; ss << folder << cnt; if(component.name().size() > 0) ss << "graph_" << component.name(); ss << ".dot"; return ss.str(); }
string ComponentName(const GraphComponent<Graph>& component) { cnt_++; stringstream ss; ss << name_ << "_" << cnt_; if(component.name().size() > 0) ss << "_" << component.name(); ss << "." << extension_; return ss.str(); }