refactor: use TimeSpan and named constant in SearchManager

Author: boraaros

Alligator.Solver/Algorithms/SearchManager.cs

@@ -4,8 +4,10 @@ namespace Alligator.Solver.Algorithms
 {
     internal class SearchManager : ISearchManager
     {
+        private const int TimeBudgetCheckInterval = 1024;
+
         private readonly Stopwatch stopwatch = new();
-        private readonly long timeLimitMs;
+        private readonly TimeSpan timeBudget;
         private int nodeCount;
 
         public int MaxDepth { get; }
@@ -15,23 +17,23 @@ internal class SearchManager : ISearchManager
         public SearchManager(int maxDepth, TimeSpan? timeBudget = null)
         {
             MaxDepth = maxDepth;
-            timeLimitMs = (long)(timeBudget?.TotalMilliseconds ?? 0);
+            this.timeBudget = timeBudget ?? TimeSpan.Zero;
         }
 
         public void StartSearch()
         {
             nodeCount = 0;
             IsAborted = false;
-            if (timeLimitMs > 0)
+            if (timeBudget > TimeSpan.Zero)
             {
                 stopwatch.Restart();
             }
         }
 
         public void CheckTimeBudget()
         {
-            if (timeLimitMs > 0 && (++nodeCount & 0x3FF) == 0
-                && stopwatch.ElapsedMilliseconds >= timeLimitMs)
+            if (timeBudget > TimeSpan.Zero && ++nodeCount % TimeBudgetCheckInterval == 0
+                && stopwatch.Elapsed >= timeBudget)
             {
                 IsAborted = true;
             }