revert bool is_net_routed(ParentNetId net_id); as using net_stats is not robust for stage except the route. add doxygen doc for is_net_routed and is_net_fully_absorbed

Author: w0lek

vpr/src/draw/search_bar.cpp

@@ -47,7 +47,6 @@ void search_and_highlight(GtkWidget* /*widget*/, ezgl::application* app) {
     auto& device_ctx = g_vpr_ctx.device();
     auto& cluster_ctx = g_vpr_ctx.clustering();
     auto& atom_ctx = g_vpr_ctx.atom();
-    const RoutingContext& route_ctx = g_vpr_ctx.routing();
 
     // get ID from search bar
     GtkEntry* text_entry = (GtkEntry*)app->get_object("TextInput");
@@ -134,7 +133,7 @@ void search_and_highlight(GtkWidget* /*widget*/, ezgl::application* app) {
                 app->refresh_drawing();
                 return;
             }
-            if (!route_ctx.net_status.is_routed(atom_net_id)) {
+            if (!is_net_routed(atom_net_id)) {
                 warning_dialog_box("Net is unrouted");
                 app->refresh_drawing();
                 return;
@@ -169,7 +168,7 @@ void search_and_highlight(GtkWidget* /*widget*/, ezgl::application* app) {
                 app->refresh_drawing();
                 return;
             }
-            if (!route_ctx.net_status.is_routed(atom_net_id)) {
+            if (!is_net_routed(atom_net_id)) {
                 warning_dialog_box("Net is unrouted");
                 app->refresh_drawing();
                 return;

vpr/src/route/route_utils.cpp

@@ -674,7 +674,15 @@ void update_router_info_and_check_bp(bp_router_type type, int net_id) {
 }
 #endif
 
-bool is_net_fully_absorbed(ParentNetId net_id) {
+bool is_net_routed(ParentNetId net_id)
+{
+    const auto& route_ctx = g_vpr_ctx.routing();
+    //Note: we can't use route_ctx.net_status.is_routed(atom_net_id), because net_status is filled only when route stage took place
+    return route_ctx.route_trees[net_id].has_value();
+}
+
+bool is_net_fully_absorbed(ParentNetId net_id) 
+{
     const RRGraphView& rr_graph = g_vpr_ctx.device().rr_graph;
     const RoutingContext& route_ctx = g_vpr_ctx.routing();
 
@@ -690,5 +698,6 @@ bool is_net_fully_absorbed(ParentNetId net_id) {
             break;
         }
     }
+
     return is_absorbed;
 }

vpr/src/route/route_utils.h

@@ -158,5 +158,28 @@ void update_draw_pres_fac(const float new_pres_fac);
 void update_router_info_and_check_bp(bp_router_type type, int net_id);
 #endif
 
-
+/**
+ * @brief Checks whether a given net has been routed.
+ *
+ * This function determines if the specified net (identified by `net_id`)
+ * has routing information associated with it in the current routing context.
+ *
+ * @param net_id The identifier of the net to check.
+ * @return true if the net is routed; false otherwise.
+ */
+bool is_net_routed(ParentNetId net_id);
+
+/**
+ * @brief Checks whether a given net is fully absorbed within sink nodes.
+ *
+ * This function inspects the route tree of the specified net and determines
+ * whether it is fully absorbed into non-routing resources (i.e., it does not
+ * occupy any routing channels such as CHANX or CHANY).
+ *
+ * A net is considered fully absorbed if all its route tree nodes are of types
+ * other than CHANX or CHANY (e.g., IPIN, SINK, OPIN).
+ *
+ * @param net_id The identifier of the net to be checked.
+ * @return true if the net is fully absorbed (uses no routing channels); false otherwise.
+ */
 bool is_net_fully_absorbed(ParentNetId net_id);