Skip to content

GitLab

C
Conversion
Commit f59dbfe1 authored by Vladislav Kiselev's avatar Vladislav Kiselev
Browse files
Options

op_with_nominally_mooring теперь может начинаться с 0-ля.

parent 4c105e5c
Hide whitespace changes
Inline Side-by-side
Showing with 4 additions and 4 deletions
src/constraints/conversion_2.mzn
View file @ f59dbfe1
...@@ -56,7 +56,7 @@ array [0..n_moving_obj, 0..n_operations] of bool : moving_op_of_obj; ...@@ -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; 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] 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 соответствуе какому-либо реально пришвартованному объекту. % current_moored_obj соответствуе какому-либо реально пришвартованному объекту.
constraint forall (loc in 1..n_locations, t in 1..n_intervals where loc mod 2 = 0) ( constraint forall (loc in 1..n_locations, t in 1..n_intervals where loc mod 2 = 0) (
......
src/constraints/conversion_2_greedy.mzn
View file @ f59dbfe1
...@@ -56,7 +56,7 @@ array [0..n_moving_obj, 0..n_operations] of bool : moving_op_of_obj; ...@@ -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; 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] 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 соответствуе какому-либо реально пришвартованному объекту. % current_moored_obj соответствуе какому-либо реально пришвартованному объекту.
constraint forall (loc in 1..n_locations, t in 1..n_intervals, obj = current_moored_obj[loc, t] constraint forall (loc in 1..n_locations, t in 1..n_intervals, obj = current_moored_obj[loc, t]
......
src/constraints/conversion_2_greedy_v2.mzn
View file @ f59dbfe1
...@@ -56,7 +56,7 @@ array [0..n_moving_obj, 0..n_operations] of bool : moving_op_of_obj; ...@@ -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; 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] 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 соответствуе какому-либо реально пришвартованному объекту. % current_moored_obj соответствуе какому-либо реально пришвартованному объекту.
constraint forall (loc in 1..n_locations, t in 1..n_intervals where loc mod 2 = 0) ( constraint forall (loc in 1..n_locations, t in 1..n_intervals where loc mod 2 = 0) (
......
src/constraints/conversion_2_with_partial_cargo_operations.mzn
View file @ f59dbfe1
...@@ -56,7 +56,7 @@ array [0..n_moving_obj, 0..n_operations] of bool : moving_op_of_obj; ...@@ -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; 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] 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 соответствуе какому-либо реально пришвартованному объекту. % current_moored_obj соответствуе какому-либо реально пришвартованному объекту.
constraint forall (loc in 1..n_locations, t in 1..n_intervals, obj = current_moored_obj[loc, t] constraint forall (loc in 1..n_locations, t in 1..n_intervals, obj = current_moored_obj[loc, t]
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment