nb nodes explored so far

xgillard · Aug 28, 2024 · f3d4c96 · f3d4c96
1 parent b2e68bf
commit f3d4c96
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 1 deletion.
diff --git a/ddo/src/abstraction/solver.rs b/ddo/src/abstraction/solver.rs
@@ -90,5 +90,8 @@ pub trait Solver {
 
             (u - l) as f32 / u as f32
         }
-    }    
+    }
+
+    /// Returns the number of nodes that have been explored during the search.
+    fn explored() -> usize;
 }
diff --git a/ddo/src/implementation/solver/parallel.rs b/ddo/src/implementation/solver/parallel.rs
@@ -557,6 +557,7 @@ where
 
         WorkLoad::WorkItem { node: nn }
     }
+
 }
 
 impl<'a, State, D, C> Solver for ParallelSolver<'a, State, D, C>
@@ -633,6 +634,10 @@ where
             critical.best_lb  = value;
         }
     }
+    /// Returns the number of nodes that have been explored so far.
+    fn explored(&self) -> usize {
+        self.shared.critical.lock().explored
+    }
 }
 
 

diff --git a/ddo/src/implementation/solver/sequential.rs b/ddo/src/implementation/solver/sequential.rs
@@ -459,6 +459,7 @@ where
 
         WorkLoad::WorkItem { node: nn }
     }
+
 }
 
 impl<'a, State, D, C> Solver for SequentialSolver<'a, State, D, C>
@@ -518,6 +519,10 @@ where
             self.best_lb  = value;
         }
     }
+    /// Returns the number of nodes that have been explored so far.
+    fn explored(&self) -> usize {
+        self.explored
+    }
 }