From: Brian Norris <banorris@uci.edu>
Date: Tue, 3 Jul 2012 23:47:20 +0000 (-0700)
Subject: nodestack: action_set_t: replace STL 'set' with 'list'
X-Git-Tag: pldi2013~380
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=4e8626fa3721aededd84133382625e20ae6490cf;p=model-checker.git

nodestack: action_set_t: replace STL 'set' with 'list'
---

diff --git a/nodestack.cc b/nodestack.cc
index d3b7c10..f74a293 100644
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -119,7 +119,7 @@ bool Node::is_enabled(Thread *t)
  */
 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)
diff --git a/nodestack.h b/nodestack.h
index 59e5457..5351d6c 100644
--- a/nodestack.h
+++ b/nodestack.h
@@ -7,14 +7,13 @@
 
 #include <list>
 #include <vector>
-#include <set>
 #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