projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model: move get_thread() implementations out of header
[model-checker.git]
/
model.h
diff --git
a/model.h
b/model.h
index 8e57876dabf3950e9cd3378eb15d50085a044d73..3802b9e2945e7dc8b30169f2bb23cb4edac083f7 100644
(file)
--- a/
model.h
+++ b/
model.h
@@
-73,8
+73,8
@@
public:
void add_thread(Thread *t);
void remove_thread(Thread *t);
void add_thread(Thread *t);
void remove_thread(Thread *t);
- Thread * get_thread(thread_id_t tid)
{ return thread_map->get(id_to_int(tid)); }
- Thread * get_thread(ModelAction *act)
{ return get_thread(act->get_tid()); }
+ Thread * get_thread(thread_id_t tid)
;
+ Thread * get_thread(ModelAction *act)
;
thread_id_t get_next_id();
int get_num_threads();
thread_id_t get_next_id();
int get_num_threads();