- ModelAction * getNextAction();
- bool merge(ClockVector *cv, const ModelAction *act, ClockVector *cv2);
+ int getNextActions(ModelAction **array);
+ bool merge(ClockVector *cv, const ModelAction *act, const ModelAction *act2);
+ void check_rf(action_list_t *list);
+ void reset(action_list_t *list);
+ ModelAction* pruneArray(ModelAction**, int);