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:
1667e1f
)
nodestack: action_set_t: replace STL 'set' with 'list'
author
Brian Norris
<banorris@uci.edu>
Tue, 3 Jul 2012 23:47:20 +0000
(16:47 -0700)
committer
Brian Norris
<banorris@uci.edu>
Fri, 6 Jul 2012 23:32:31 +0000
(16:32 -0700)
nodestack.cc
patch
|
blob
|
history
nodestack.h
patch
|
blob
|
history
diff --git
a/nodestack.cc
b/nodestack.cc
index d3b7c104316161d0268c8ae1b2db7a116fbbac74..f74a2938992078a9eeaabc90e9a5100da8b7fabf 100644
(file)
--- a/
nodestack.cc
+++ b/
nodestack.cc
@@
-119,7
+119,7
@@
bool Node::is_enabled(Thread *t)
*/
void Node::add_read_from(ModelAction *act)
{
*/
void Node::add_read_from(ModelAction *act)
{
- may_read_from.
insert
(act);
+ may_read_from.
push_back
(act);
}
void Node::explore(thread_id_t tid)
}
void Node::explore(thread_id_t tid)
diff --git
a/nodestack.h
b/nodestack.h
index 59e545783a4f570ff852105f5d08792d562d2b03..5351d6c7e7b4eb693f6af5bbecc8c4c41f1094ff 100644
(file)
--- a/
nodestack.h
+++ b/
nodestack.h
@@
-7,14
+7,13
@@
#include <list>
#include <vector>
#include <list>
#include <vector>
-#include <set>
#include <cstddef>
#include "threads.h"
#include "mymemory.h"
class ModelAction;
#include <cstddef>
#include "threads.h"
#include "mymemory.h"
class ModelAction;
-typedef std::
set< ModelAction *, std::less< ModelAction *>
, MyAlloc< ModelAction * > > action_set_t;
+typedef std::
list< ModelAction *
, MyAlloc< ModelAction * > > action_set_t;
/**
* @brief A single node in a NodeStack
/**
* @brief A single node in a NodeStack