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