better hangling of next segment

haslab · Aug 11, 2020 · 8a267b9 · 8a267b9
1 parent 6e8e2de
commit 8a267b9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main/java/kodkod/engine/TemporalPardinusSolver.java b/src/main/java/kodkod/engine/TemporalPardinusSolver.java
@@ -343,8 +343,8 @@ public Solution nextS(int state, int delta, Set<Relation> change) {
 			if (delta < 1)
 				throw new IllegalArgumentException("Cannot iterate boundless with s != 0, breaks completeness.");
 
-			if (!hasNext())
-				throw new NoSuchElementException();
+			if (translation == null)
+				return Solution.triviallyUnsatisfiable(new Statistics(0, 0, 0, 0, 0), null);
 			try {
 				Set<Relation> fix = new HashSet<Relation>();
 				if (iteration_stage == 0) // only fix config once