projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Redesign actionlist and change acquire fence
[c11tester.git]
/
classlist.h
diff --git
a/classlist.h
b/classlist.h
index ccbbbb1418a9ca785394e41df2480f24f22a923d..71f545128b9257156940fe4427380c78f84ea764 100644
(file)
--- a/
classlist.h
+++ b/
classlist.h
@@
-22,11
+22,14
@@
class FuncInst;
class Predicate;
class ConcretePredicate;
class WaitObj;
class Predicate;
class ConcretePredicate;
class WaitObj;
+class actionlist;
+
+#include "actionlist.h"
struct model_snapshot_members;
struct bug_message;
struct model_snapshot_members;
struct bug_message;
-typedef
SnapList<ModelAction *>
action_list_t;
+typedef
actionlist
action_list_t;
typedef SnapList<uint32_t> func_id_list_t;
typedef SnapList<FuncInst *> func_inst_list_t;
typedef SnapList<uint32_t> func_id_list_t;
typedef SnapList<FuncInst *> func_inst_list_t;