From eb810f63b107f112f4de6ef47d5f0c2e20958ff8 Mon Sep 17 00:00:00 2001 From: Vlad_kv Date: Tue, 27 Nov 2018 23:16:09 +0300 Subject: [PATCH] Fixed bug with mainn constraint on useful operations. --- constraints/conversion_0.mzn | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/constraints/conversion_0.mzn b/constraints/conversion_0.mzn index e08827f..65c4a6e 100644 --- a/constraints/conversion_0.mzn +++ b/constraints/conversion_0.mzn @@ -209,12 +209,12 @@ array [1..n_moving_obj, 0..(n_intervals + 1)] of var bool : is_interval_useful; endif ); -constraint forall (obj in 1..n_moving_obj, t in 0..n_intervals) ( % Само ограничение. - (( m_obj_loc[obj, t] != 0) /\ - (prev_m_obj_loc[obj, t] != 0) /\ - ( m_obj_loc[obj, t + 1] == 0) /\ +constraint forall (obj in 1..n_moving_obj, t in 1..n_intervals) ( % Само ограничение. + (( m_obj_loc[obj, t] != 0) /\ + (prev_m_obj_loc[obj, t] != 0) /\ + (next_m_obj_loc[obj, t + 1] != m_obj_loc[obj, t]) /\ (next_m_obj_loc[obj, t + 1] == prev_m_obj_loc[obj, t]) - ) -> is_interval_useful[obj, t] + ) -> is_interval_useful[obj, t - 1] ); solve minimize sum(is_not_terminated); -- GitLab