Нетепизированный формат возвращён к жизни.

src/constraints/conversion_1.mzn

@@ -279,7 +279,7 @@ constraint forall (obj in 1..n_moving_obj, t in 1..n_intervals) ( % Само о
 solve minimize sum(is_not_terminated);
 
 output [show(sum(is_not_terminated)), "\n",
-        show(op_status), "\n\n",
+        "op_status = ", show(op_status), "\n\n",
         "m_obj_loc = ", show(m_obj_loc), "\n\n",
         "op_fin = ", show(op_fin), "\n\n",
         "op_start = ", show(op_start), "\n\n",

src/inport/ConversionUtil.java

@@ -875,10 +875,14 @@ public class ConversionUtil {
             }
         }
 
-        private void movingObjectLocationDefinition() throws IOException {
-            writeArray(writer, "is_mooring_op", isMooringOp);
-            writeArray(writer, "main_obj_of_operation", mainObjOfOperation, (Integer val) -> val + 1);
-            writeArrayOfSetAs2DArray(writer, "moving_op_of_obj", movingOpOfObj, true, true);
+        private void movingObjectLocationDefinition(boolean isV1) throws IOException {
+            if (! isV1) {
+                writeArray(writer, "is_mooring_op", isMooringOp);
+                writeArray(writer, "main_obj_of_operation", mainObjOfOperation, (Integer val) -> val + 1);
+                writeArrayOfSetAs2DArray(writer, "moving_op_of_obj", movingOpOfObj, true, true);
+            } else {
+                writeArrayOfSetAs2DArray(writer, "moving_op_of_obj", movingOpOfObj, true, false);
+            }
             writeArray(writer, "operations_destination", operationsDestination, (Integer val) -> val + 1);
             writer.write("\n");
         }
@@ -935,7 +939,7 @@ public class ConversionUtil {
                 writer.write("n_moving_obj = " + movingObjects.size() + ";\n");
                 writer.write("\n");
 
-                movingObjectLocationDefinition();
+                movingObjectLocationDefinition(true);
                 initialLocations();
                 weatherWindows();
                 operationsContinuity();
@@ -1150,7 +1154,7 @@ public class ConversionUtil {
                 writer.write("n_moving_obj = " + movingObjects.size() + ";\n");
                 writer.write("\n");
 
-                movingObjectLocationDefinition();
+                movingObjectLocationDefinition(false);
                 initialLocations();
                 finalLocations();
                 weatherWindowsNewFormat();

src/inport/Main.java

@@ -116,6 +116,7 @@ public class Main {
             }
             case "testing" :
                 test_2();
+                test_1();
                 break;
             case "testing_2":
                 test_2_0();