diff --git a/src/constraints/conversion_2.mzn b/src/constraints/conversion_2.mzn index 151396c5e89b441fad4d244e6b352cd2cf34dfe8..3eaacf0e8d05deb07a238c7b6c1bc9bdad16f38e 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]]