void w_modification_order(ModelAction *curr);
ClockVector * get_hb_from_write(ModelAction *rf) const;
ModelAction * convertNonAtomicStore(void*);
ClockVector * computeMinimalCV();
void removeAction(ModelAction *act);
void w_modification_order(ModelAction *curr);
ClockVector * get_hb_from_write(ModelAction *rf) const;
ModelAction * convertNonAtomicStore(void*);
ClockVector * computeMinimalCV();
void removeAction(ModelAction *act);