#define __ACTION_H__
#include <list>
-
#include "threads.h"
#include "libatomic.h"
-
+#include "mymemory.h"
#define VALUE_NONE -1
typedef enum action_type {
bool same_var(ModelAction *act);
bool same_thread(ModelAction *act);
bool is_dependent(ModelAction *act);
+ MEMALLOC
private:
action_type type;
memory_order order;
int seq_number;
};
-typedef std::list<class ModelAction *> action_list_t;
+typedef std::list<class ModelAction *, MyAlloc< class ModelAction * > > action_list_t;
#endif /* __ACTION_H__ */