Merge pull request #8546 from hzeller/feature-20251004-inc-need

Fix some missing includes.

Author: maliberty

src/rmp/include/rmp/Restructure.h

@@ -3,15 +3,18 @@
 
 #pragma once
 
+#include <cstdint>
 #include <fstream>
 #include <functional>
+#include <optional>
 #include <set>
 #include <string>
 #include <vector>
 
 #include "db_sta/dbSta.hh"
 #include "rsz/Resizer.hh"
 #include "sta/Corner.hh"
+#include "sta/Delay.hh"
 #include "sta/Liberty.hh"
 #include "sta/NetworkClass.hh"
 #include "utl/unique_name.h"

src/rmp/src/annealing_strategy.cpp

@@ -6,6 +6,8 @@
 #include <fcntl.h>
 
 #include <algorithm>
+#include <cassert>
+#include <cstddef>
 #include <vector>
 
 #include "aig/gia/gia.h"
@@ -20,8 +22,10 @@
 #include "map/if/if.h"
 #include "map/scl/sclSize.h"
 #include "misc/vec/vecPtr.h"
+#include "odb/db.h"
 #include "proof/dch/dch.h"
 #include "rsz/Resizer.hh"
+#include "sta/Delay.hh"
 #include "sta/Graph.hh"
 #include "sta/GraphDelayCalc.hh"
 #include "sta/MinMax.hh"

src/rmp/src/annealing_strategy.h

@@ -3,12 +3,16 @@
 
 #pragma once
 
+#include <cstddef>
+#include <cstdint>
+#include <optional>
 #include <random>
 
 #include "cut/abc_library_factory.h"
 #include "db_sta/dbSta.hh"
 #include "resynthesis_strategy.h"
 #include "sta/Corner.hh"
+#include "sta/Delay.hh"
 #include "utl/Logger.h"
 #include "utl/unique_name.h"
 

src/rmp/src/utils.cpp

@@ -13,6 +13,7 @@
 #include "db_sta/dbNetwork.hh"
 #include "db_sta/dbSta.hh"
 #include "rsz/Resizer.hh"
+#include "sta/Delay.hh"
 #include "sta/Graph.hh"
 #include "sta/MinMax.hh"
 #include "sta/PortDirection.hh"

src/rmp/src/utils.h

@@ -9,6 +9,7 @@
 #include "db_sta/dbSta.hh"
 #include "resynthesis_strategy.h"
 #include "sta/Corner.hh"
+#include "sta/Delay.hh"
 #include "utl/Logger.h"
 #include "utl/deleter.h"