projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
README: use markdown format for direct URL link
[model-checker.git]
/
schedule.h
diff --git
a/schedule.h
b/schedule.h
index 4c67c28492b9cc24facc2e43827eee2ca198f28d..9b16a7a968f7dcd5f52be8e936467efec29b0c48 100644
(file)
--- a/
schedule.h
+++ b/
schedule.h
@@
-11,6
+11,7
@@
/* Forward declaration */
class Thread;
class Node;
/* Forward declaration */
class Thread;
class Node;
+class ModelExecution;
typedef enum enabled_type {
THREAD_DISABLED,
typedef enum enabled_type {
THREAD_DISABLED,
@@
-25,6
+26,8
@@
void enabled_type_to_string(enabled_type_t e, char *str);
class Scheduler {
public:
Scheduler();
class Scheduler {
public:
Scheduler();
+ void register_engine(ModelExecution *execution);
+
void add_thread(Thread *t);
void remove_thread(Thread *t);
void sleep(Thread *t);
void add_thread(Thread *t);
void remove_thread(Thread *t);
void sleep(Thread *t);
@@
-46,6
+49,7
@@
public:
SNAPSHOTALLOC
private:
SNAPSHOTALLOC
private:
+ ModelExecution *execution;
/** The list of available Threads that are not currently running */
enabled_type_t *enabled;
int enabled_len;
/** The list of available Threads that are not currently running */
enabled_type_t *enabled;
int enabled_len;