Course Timetabling Solver: Passivation

- ensure that a passivated solver retains its initial and best solutions
UniTime · Oct 9, 2023 · 5841952 · 5841952
1 parent a5e3be6
commit 5841952
Showing 1 changed file with 9 additions and 6 deletions.
diff --git a/JavaSource/org/unitime/timetable/solver/TimetableSolver.java b/JavaSource/org/unitime/timetable/solver/TimetableSolver.java
@@ -153,10 +153,18 @@ protected TimetableModel createModel(DataProperties properties) {
 
 	@Override
 	protected Document createCurrentSolutionBackup(boolean anonymize, boolean idconv) {
-
         if (anonymize) {
             getProperties().setProperty("Xml.ConvertIds", idconv ? "true" : "false");
             getProperties().setProperty("Xml.ShowNames", "false");
+            getProperties().setProperty("Xml.SaveInitial", "false");
+            getProperties().setProperty("Xml.SaveBest", "false");
+            getProperties().setProperty("Xml.SaveSolution", "true");
+        } else {
+            getProperties().setProperty("Xml.ShowNames", "true");
+            getProperties().setProperty("Xml.ConvertIds", "false");
+            getProperties().setProperty("Xml.SaveInitial", "true");
+            getProperties().setProperty("Xml.SaveBest", "true");
+            getProperties().setProperty("Xml.SaveSolution", "true");
         }
 
         TimetableXMLSaver saver = new TimetableXMLSaver(this);
@@ -182,11 +190,6 @@ protected Document createCurrentSolutionBackup(boolean anonymize, boolean idconv
 				cbsInfo.save(document.getRootElement().addElement("cbsInfo"));
 		}
 
-		if (anonymize) {
-			getProperties().setProperty("Xml.ConvertIds", "false");
-			getProperties().setProperty("Xml.ShowNames", "true");
-		}
-
 		return document;
 	}