Подправлены тесты, удалено лишнее.

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) -> (

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

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
+