EdgeNarrative narrative = createNarrative(s0);
StateEditor edit = s0.edit(this, narrative);
int runningTime = computeRunningTime();
edit.incrementTimeInSeconds(runningTime);
edit.incrementWeight(runningTime);
return edit.makeState();
}
/****
* Private Methods
****/