diff --git a/src/constraints/conversion_2.mzn b/src/constraints/conversion_2.mzn index d6be3a5be3291f6226e50158bd3ce68c73544374..125f5df822d043f48f031925366800fed82a2abd 100644 --- a/src/constraints/conversion_2.mzn +++ b/src/constraints/conversion_2.mzn @@ -162,27 +162,6 @@ array [1..n_operations] of 1..n_locations : operations_destination; % Локац ) ); -/* TODO разобраться и удалить лишнее. - % { Если объект участвует как ресурс в операции перемещения (не швартовки), то это согласованно с current_moving_operation, - % иначе (как ресурс в погрузке или швартове) - он должен стоять на месте. } - constraint forall (obj in 1..n_moving_obj, t in 1..n_intervals) ( - (participation_as_resource[obj, t] != 0) -> ( - ( (is_moving_operation[participation_as_resource[obj, t]] /\ - (not is_mooring_op[participation_as_resource[obj, t]]) - ) -> ( - (current_moving_operation[obj, t] != 0) - /\ - (participation_as_resource[obj, t] = moving_op_of_obj[obj, current_moving_operation[obj, t]]) - ) - ) - /\ - (not (is_moving_operation[participation_as_resource[obj, t]] /\ - (not is_mooring_op[participation_as_resource[obj, t]]) - ) -> current_moving_operation[obj, t] = 0) - ) - ); -*/ - % Если объект участвует как ресурс в операции перемещения, то это согласованно с current_moving_operation. constraint forall (obj in 1..n_moving_obj, t in 1..n_intervals) ( (participation_as_resource[obj, t] != 0) -> ( diff --git a/tests/with_typing/v2.tipp b/tests/with_typing/v2.tipp index 1b6ff249ebc8e47861b4c5d0406731161fa932b5..8e0c354a80ec1a3c3d8da454d8a2d6d0a9643830 100644 --- a/tests/with_typing/v2.tipp +++ b/tests/with_typing/v2.tipp @@ -39,9 +39,9 @@ Templates 4009; mov; []; 1001; 18; 19; [1002]; 1.0 15; mov; []; 1002; 18; 17; []; 1.0 16; mov; []; 1002; 19; 17; []; 1.0 -18; mov; []; 1002; 19; 18; []; 0.1 +18; mov; []; 1002; 19; 18; []; 1.0 14; mov; []; 1002; 17; 19; []; 1.0 -17; mov; []; 1002; 18; 19; []; 0.1 +17; mov; []; 1002; 18; 19; []; 1.0 13; mov; []; 1002; 17; 18; []; 1.0 3998; loa; []; 20; 22; 1001; 18; []; 200.0; U 3996; loa; []; 1001; 22; 20; 18; []; 200.0; U diff --git a/tests/without_typing/Case2.ipp b/tests/without_typing/Case2.ipp index 0de804c9ceef7760349d71b827fd728f657ee7f4..cc79156fdd2fd567c809ac8be8ff0bbf9b899930 100644 --- a/tests/without_typing/Case2.ipp +++ b/tests/without_typing/Case2.ipp @@ -65,21 +65,5 @@ Task Properties 20.0;0 Solution -15.0 -15; R; 0.0; 1.0 -8; R; 1.0; 2.0 -12; R; 2.0; 1.0 -14; R; 3.0; 1.0 -2; R; 3.0; 2.0 -7; R; 3.0; 5.0 -4; R; 8.0; 1.0 -12; R; 9.0; 1.0 -2; R; 9.0; 1.0 -7; R; 9.0; 1.0 -11; R; 10.0; 1.0 -4; R; 10.0; 1.0 -13; R; 11.0; 1.0 -5; R; 11.0; 1.0 -14; R; 12.0; 1.0 -4; R; 12.0; 3.0 -11; R; 14.0; 1.0 +16.0 +