diff --git a/src/CP/core/model.jl b/src/CP/core/model.jl index 69facaeb..505a5bce 100644 --- 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)