From 52525b8b09a5c8e2bfcbbe2a6ad20d64df8abb46 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=D0=9A=D0=B8=D1=81=D0=B5=D0=BB=D1=91=D0=B2=20=D0=92=D0=BB?= =?UTF-8?q?=D0=B0=D0=B4=D0=B8=D1=81=D0=BB=D0=B0=D0=B2?= Date: Tue, 30 Apr 2019 15:50:30 +0300 Subject: [PATCH] Bug fixed. --- src/constraints/conversion_2.mzn | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/constraints/conversion_2.mzn b/src/constraints/conversion_2.mzn index 4c8c61b..9c11664 100644 --- a/src/constraints/conversion_2.mzn +++ b/src/constraints/conversion_2.mzn @@ -40,7 +40,10 @@ array [1..n_moving_obj, 1..n_operations] of bool : moving_op_of_obj; constraint forall (loc in 1..n_locations, t in 0..n_intervals where (loc mod 2) = 0) ( obj_in_loc_counter[loc, t] = (sum (obj in 1..n_moving_obj) (m_obj_loc[obj, t + 1] = loc)) % Швартовка и нахождение у причала. + (sum (op in related_unmoored_cargo_op[twin_location[loc]]) (op_status[op, t])) % Погрузка без швартовки. - + (sum (op in 1..n_operations where (is_mooring_op[op] /\ (main_obj_start_loc[op] mod 2 = 0))) % Отшвартовка. + % + (sum (op in 1..n_operations where ((not is_moving_operation[op]) /\ (main_obj_start_loc[op] = twin_location[loc]))) % Погрузка без швартовки. + % (op_status[op, t]) + % ) % TODO узнать, почему медленнее варианта выше. + + (sum (op in 1..n_operations where (is_mooring_op[op] /\ (main_obj_start_loc[op] = loc))) % Отшвартовка. (op_status[op, t]) ) ); -- GitLab