Running cargo run rcpsp.fzn --cumulative-explanation-type=pointwise --cumulative-generate-sequence led to an incorrect result for the instance 01.dzn.
This was because the explanation was incorrect since the time-point could end up between profiles while the current_profile_index points to the profile.
This PR addresses this issue by adding additional checks for detecting this scenario; if it occurs then the time-point is set to the end (or start in the case of upper-bound propagation) of the current profile.
It also fixes the issue of infinitely looping when a profile potentially being able to propagate a task does not actually propagate
Running
cargo run rcpsp.fzn --cumulative-explanation-type=pointwise --cumulative-generate-sequenceled to an incorrect result for the instance01.dzn.This was because the explanation was incorrect since the time-point could end up between profiles while the
current_profile_indexpoints to the profile.This PR addresses this issue by adding additional checks for detecting this scenario; if it occurs then the time-point is set to the end (or start in the case of upper-bound propagation) of the current profile.
It also fixes the issue of infinitely looping when a profile potentially being able to propagate a task does not actually propagate