add reset_domain to reset_model (#433)

corail-research · Aug 10, 2023 · a68fbe6 · a68fbe6
1 parent 54fc01b
commit a68fbe6
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/CP/core/model.jl b/src/CP/core/model.jl
@@ -400,6 +400,9 @@ function reset_model!(model::CPModel)
     model.statistics.numberOfNodesBeforeRestart = 0
     model.statistics.AccumulatedRewardBeforeReset = 0
     model.statistics.AccumulatedRewardBeforeRestart = 0
+    for var in model.variables
+        reset_domain!(var[2].domain)
+    end
 end
 """
 restart_search!(model::CPModel)