void startRunExecution(Thread *old);
void finishRunExecution(Thread *old);
- void consumeAction();
- void chooseThread(ModelAction *act, Thread *thr);
Thread * getNextThread(Thread *old);
- void handleChosenThread(Thread *old);
+ bool handleChosenThread(Thread *old);
modelclock_t checkfree;