From 0ab456fe02afadff04ddf4c176f8aa84e6c7c3fe 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: Thu, 2 May 2019 19:35:09 +0300 Subject: [PATCH] =?UTF-8?q?=D0=9A=D0=BE=D0=BC=D0=BC=D0=B5=D0=BD=D1=82?= =?UTF-8?q?=D0=B0=D1=80=D0=B8=D0=B9=20=D0=B8=20=D0=B7=D0=B0=D0=BC=D0=B5?= =?UTF-8?q?=D1=82=D0=BA=D0=B0.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- 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 a9f09f3..151396c 100644 --- a/src/constraints/conversion_2.mzn +++ b/src/constraints/conversion_2.mzn @@ -220,7 +220,7 @@ array [1..n_operations] of 1..n_locations : operations_destination; % Локац \/ ((participation_as_resource[obj, t] != 0) /\ (not is_moving_operation[participation_as_resource[obj, t]])) ); - + % Операции перемещения исключают операции грузообработки и наоборот. constraint forall (obj in 1..n_moving_obj, t in 1..n_intervals) ( is_involved_in_cargo_op[obj, t] -> (current_moving_operation[obj, t] = 0) ); @@ -244,6 +244,9 @@ array [1..n_operations] of 1..n_locations : operations_destination; % Локац ((not is_moving_operation[op]) -> (current_moving_operation[obj, t] = 0)) ) ); + /* TODO узнать, как ((not is_moving_operation[op]) -> (current_moving_operation[obj, t] = 0)) влияет на производительность - + по идее это не нужно, но на v2-60 без неё гораздо лучше чем с ней. + */ % Наличие и готовность главных объектов (субъектов). constraint forall (op in 1..n_operations, t in 1..n_intervals, obj = main_obj_of_operation[op]) ( -- GitLab