-void CycleGraph::dumpNodes(FILE *file) {
- for(unsigned int i=0;i<nodeList.size();i++) {
- CycleNode *cn=nodeList[i];
- std::vector<CycleNode *> * edges=cn->getEdges();
- const ModelAction *action=cn->getAction();
- fprintf(file, "N%u [label=\"%u, T%u\"];\n",action->get_seq_number(),action->get_seq_number(), action->get_tid());
- if (cn->getRMW()!=NULL) {
+void CycleGraph::dumpNodes(FILE *file) const
+{
+ for (unsigned int i = 0; i < nodeList.size(); i++) {
+ CycleNode *cn = nodeList[i];
+ const ModelAction *action = cn->getAction();
+ fprintf(file, "N%u [label=\"%u, T%u\"];\n", action->get_seq_number(), action->get_seq_number(), action->get_tid());
+ if (cn->getRMW() != NULL) {