- fprintf(fp, " n%ld [label=\"%s\"];\n", (long)nodes[i], nodes[i]->effect->effect_type_id().c_str());
+ // Find out which phase this event belongs to.
+ int in_phase = -1;
+ for (unsigned j = 0; j < phases.size(); ++j) {
+ const Phase* p = phases[j];
+ if (std::find(p->effects.begin(), p->effects.end(), nodes[i]) != p->effects.end()) {
+ assert(in_phase == -1);
+ in_phase = j;
+ }
+ }
+
+ if (in_phase == -1) {
+ fprintf(fp, " n%ld [label=\"%s\"];\n", (long)nodes[i], nodes[i]->effect->effect_type_id().c_str());
+ } else {
+ fprintf(fp, " n%ld [label=\"%s\" style=\"filled\" fillcolor=\"/accent8/%d\"];\n",
+ (long)nodes[i], nodes[i]->effect->effect_type_id().c_str(),
+ (in_phase % 8) + 1);
+ }