diff --git a/src/constraints/conversion_2.mzn b/src/constraints/conversion_2.mzn index c6863651aab40d4b3326850343c6aa0ca3578386..f3e324afa591d0981d1d7e6c3ce2f51f451a7adb 100644 --- a/src/constraints/conversion_2.mzn +++ b/src/constraints/conversion_2.mzn @@ -56,7 +56,7 @@ array [0..n_moving_obj, 0..n_operations] of bool : moving_op_of_obj; % Операции с условной швартовкой. int : op_with_nominally_mooring_max_size; array [0..n_locations, 0..n_moving_obj] of 0..op_with_nominally_mooring_max_size : op_with_nominally_mooring_sizes; - array [0..n_locations, 0..n_moving_obj, 1..op_with_nominally_mooring_max_size] of 1..n_operations : op_with_nominally_mooring; + array [0..n_locations, 0..n_moving_obj, 1..op_with_nominally_mooring_max_size] of 0..n_operations : op_with_nominally_mooring; % current_moored_obj соответствуе какому-либо реально пришвартованному объекту. constraint forall (loc in 1..n_locations, t in 1..n_intervals where loc mod 2 = 0) ( diff --git a/src/constraints/conversion_2_greedy.mzn b/src/constraints/conversion_2_greedy.mzn index 13da1abb0b31e5794b6f1c952754051d46bc616a..177d833999e502836cc20b72242cd6da26091e86 100644 --- a/src/constraints/conversion_2_greedy.mzn +++ b/src/constraints/conversion_2_greedy.mzn @@ -56,7 +56,7 @@ array [0..n_moving_obj, 0..n_operations] of bool : moving_op_of_obj; % Операции с условной швартовкой. int : op_with_nominally_mooring_max_size; array [0..n_locations, 0..n_moving_obj] of 0..op_with_nominally_mooring_max_size : op_with_nominally_mooring_sizes; - array [0..n_locations, 0..n_moving_obj, 1..op_with_nominally_mooring_max_size] of 1..n_operations : op_with_nominally_mooring; + array [0..n_locations, 0..n_moving_obj, 1..op_with_nominally_mooring_max_size] of 0..n_operations : op_with_nominally_mooring; % current_moored_obj соответствуе какому-либо реально пришвартованному объекту. constraint forall (loc in 1..n_locations, t in 1..n_intervals, obj = current_moored_obj[loc, t] diff --git a/src/constraints/conversion_2_greedy_v2.mzn b/src/constraints/conversion_2_greedy_v2.mzn index ae7b8ed99881634e63eeb0d80203693d3f2356f0..929f91cdb6f5583f3eb4d1d044a389751f3c6fe2 100644 --- a/src/constraints/conversion_2_greedy_v2.mzn +++ b/src/constraints/conversion_2_greedy_v2.mzn @@ -56,7 +56,7 @@ array [0..n_moving_obj, 0..n_operations] of bool : moving_op_of_obj; % Операции с условной швартовкой. int : op_with_nominally_mooring_max_size; array [0..n_locations, 0..n_moving_obj] of 0..op_with_nominally_mooring_max_size : op_with_nominally_mooring_sizes; - array [0..n_locations, 0..n_moving_obj, 1..op_with_nominally_mooring_max_size] of 1..n_operations : op_with_nominally_mooring; + array [0..n_locations, 0..n_moving_obj, 1..op_with_nominally_mooring_max_size] of 0..n_operations : op_with_nominally_mooring; % current_moored_obj соответствуе какому-либо реально пришвартованному объекту. constraint forall (loc in 1..n_locations, t in 1..n_intervals where loc mod 2 = 0) ( diff --git a/src/constraints/conversion_2_with_partial_cargo_operations.mzn b/src/constraints/conversion_2_with_partial_cargo_operations.mzn index f110ceeb6c10634661cfb46fbe54698e88e2ec7b..14b227fba6790629dffb2390b5198be081a0b1a6 100644 --- a/src/constraints/conversion_2_with_partial_cargo_operations.mzn +++ b/src/constraints/conversion_2_with_partial_cargo_operations.mzn @@ -56,7 +56,7 @@ array [0..n_moving_obj, 0..n_operations] of bool : moving_op_of_obj; % Операции с условной швартовкой. int : op_with_nominally_mooring_max_size; array [0..n_locations, 0..n_moving_obj] of 0..op_with_nominally_mooring_max_size : op_with_nominally_mooring_sizes; - array [0..n_locations, 0..n_moving_obj, 1..op_with_nominally_mooring_max_size] of 1..n_operations : op_with_nominally_mooring; + array [0..n_locations, 0..n_moving_obj, 1..op_with_nominally_mooring_max_size] of 0..n_operations : op_with_nominally_mooring; % current_moored_obj соответствуе какому-либо реально пришвартованному объекту. constraint forall (loc in 1..n_locations, t in 1..n_intervals, obj = current_moored_obj[loc, t]