diff --git a/src/inport/ConversionUtil.java b/src/inport/ConversionUtil.java index 18e499ab150e8ea38994ec9b9ad5208748299e8e..43eac8eee781e0fc4b63bb01146aeeb554233ab6 100644 --- a/src/inport/ConversionUtil.java +++ b/src/inport/ConversionUtil.java @@ -314,7 +314,7 @@ public class ConversionUtil { writeArray(writer, "is_continuous_operation", isMovingObj); } { // Конечные положения объектов. - ArrayList finalStates = integerArray(movingObjects.size(), 0); + ArrayList finalStates = integerArray(movingObjects.size(), -1); for (MovingObjectState state : task.getVesselEndState()) { finalStates.set(mObjToN.apply(state.getVessel()), getLocNById.apply(state.getLocation().getId(), false)); } @@ -580,6 +580,9 @@ public class ConversionUtil { result = Integer.parseInt(line); continue; } + if (line.equals("=====UNSATISFIABLE=====")) { + throw new ParserException("No solution."); + } break; } if (operations == null) {