From 57bab117b453070e0342532ce3143d4b63854532 Mon Sep 17 00:00:00 2001
From: Jean-Paul Chaput <Jean-Paul.Chaput@lip6.fr>
Date: Thu, 13 Apr 2023 00:18:10 +0200
Subject: [PATCH] Add typedef NetSet, for set of Net* sorted by Ids.

---
 hurricane/src/hurricane/hurricane/IntervalTree.h | 2 +-
 hurricane/src/hurricane/hurricane/Net.h          | 9 ++++-----
 2 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/hurricane/src/hurricane/hurricane/IntervalTree.h b/hurricane/src/hurricane/hurricane/IntervalTree.h
index d104d117..58f4264d 100644
--- a/hurricane/src/hurricane/hurricane/IntervalTree.h
+++ b/hurricane/src/hurricane/hurricane/IntervalTree.h
@@ -99,12 +99,12 @@ namespace Hurricane {
     childsVMax_ = std::max( getVMax(), std::max( lvmax, rvmax ) ); return childsVMax_;
   }
 
-
   
   template< typename Data >
   inline bool  IntervalData<Data>::operator== (  const IntervalData<Data>& other ) const
   { return Interval::operator==(*this) and (data_ == other.data_); }
 
+
   template< typename Data >
   std::string  IntervalData<Data>::_getString () const
   {
diff --git a/hurricane/src/hurricane/hurricane/Net.h b/hurricane/src/hurricane/hurricane/Net.h
index a239352f..5f598133 100644
--- a/hurricane/src/hurricane/hurricane/Net.h
+++ b/hurricane/src/hurricane/hurricane/Net.h
@@ -17,9 +17,7 @@
 // not, see <http://www.gnu.org/licenses/>.
 // ****************************************************************************************************
 
-#ifndef HURRICANE_NET
-#define HURRICANE_NET
-
+#pragma  once
 #include <functional>
 #include "hurricane/Entity.h"
 #include "hurricane/Nets.h"
@@ -445,9 +443,10 @@ namespace Hurricane {
 // Because sometimes it didn't happens (?).
   const SlotTemplate<Net*> dummyNetSlot ( string("dummyNetSlot"), NULL );
 
-}
 
-#endif // HURRICANE_NET
+  typedef  std::set<Net*,DBo::CompareById>  NetSet;
+
+}
 
 
 // ****************************************************************************************************