projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
414b2df
)
model: don't include schedule.h
author
Brian Norris
<banorris@uci.edu>
Wed, 3 Oct 2012 20:16:49 +0000
(13:16 -0700)
committer
Brian Norris
<banorris@uci.edu>
Wed, 3 Oct 2012 20:53:02 +0000
(13:53 -0700)
model.h
patch
|
blob
|
history
diff --git
a/model.h
b/model.h
index 3802b9e2945e7dc8b30169f2bb23cb4edac083f7..23c42ebb199a6ce30b5859b80ca8d5537038d0a3 100644
(file)
--- a/
model.h
+++ b/
model.h
@@
-10,7
+10,6
@@
#include <cstddef>
#include <ucontext.h>
-#include "schedule.h"
#include "mymemory.h"
#include "libthreads.h"
#include "threads.h"
@@
-24,6
+23,7
@@
class NodeStack;
class CycleGraph;
class Promise;
+class Scheduler;
/** @brief Shorthand for a list of release sequence heads */
typedef std::vector< const ModelAction *, ModelAlloc<const ModelAction *> > rel_heads_list_t;