projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
threads: save id within class Thread
[model-checker.git]
/
model.cc
diff --git
a/model.cc
b/model.cc
index f3844f0ad1e1d70d0060934eef73ca7032a048d8..1f13de7f1e5ac4c74cea012bc096f0a23d666cfe 100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-30,9
+30,9
@@
ModelChecker::~ModelChecker()
delete rootNode;
}
-
void ModelChecker::assign_id(Thread *t
)
+
int ModelChecker::get_next_id(
)
{
-
t->set_id(++used_thread_id)
;
+
return ++used_thread_id
;
}
void ModelChecker::add_system_thread(Thread *t)