From ac9a7748e827e081cb2c030c23f983fc1d5f972d Mon Sep 17 00:00:00 2001
From: Ken McMillan <kenmcmil@microsoft.com>
Date: Fri, 13 Dec 2013 13:14:04 -0800
Subject: [PATCH] trying to fix address depedency in duality_solver.cpp

---
 src/duality/duality.h | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/duality/duality.h b/src/duality/duality.h
index f20d664be..ebf6c8632 100644
--- a/src/duality/duality.h
+++ b/src/duality/duality.h
@@ -1007,3 +1007,15 @@ private:
       
     };
 }
+
+// allow to walk sets of nodes without address dependency
+
+namespace std {
+  template <>
+    class less<Duality::RPFP::Node *> {
+  public:
+    bool operator()(Duality::RPFP::Node * const &s, Duality::RPFP::Node * const &t) const {
+      return s->number < t->number; // s.raw()->get_id() < t.raw()->get_id();
+    }
+  };
+}