From 4c4fdc335ebe026c5303c9232ac52d1423306c04 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: Fri, 3 May 2019 10:26:40 +0300 Subject: [PATCH] =?UTF-8?q?=D0=9A=D1=80=D0=B0=D0=B9=D0=BD=D0=B8=D0=B5=20?= =?UTF-8?q?=D0=B7=D0=BD=D0=B0=D1=87=D0=B5=D0=BD=D0=B8=D1=8F=20current=5Fmo?= =?UTF-8?q?ving=5Foperation.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/constraints/conversion_2.mzn | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/constraints/conversion_2.mzn b/src/constraints/conversion_2.mzn index 151396c..3eaacf0 100644 --- a/src/constraints/conversion_2.mzn +++ b/src/constraints/conversion_2.mzn @@ -14,6 +14,11 @@ array [1..n_moving_obj, 1..n_operations] of bool : moving_op_of_obj; % Текущая операция операция перемещения, в которой задействован данный объект. array [1..n_moving_obj, 0..(n_intervals + 1)] of var 0..n_operations : current_moving_operation; + % Крайние значения. + constraint forall (obj in 1..n_moving_obj, t in {0, n_intervals + 1}) ( + current_moving_operation[obj, t] = 0 + ); + % Текущая операция лежит в множестве тех, которые затрагивают данный объект. constraint forall (obj in 1..n_moving_obj, t in 1..n_intervals) ( (current_moving_operation[obj, t] != 0) -> moving_op_of_obj[obj, current_moving_operation[obj, t]] -- GitLab