diff options
| author |  Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-02-16 09:01:25 +0100 |
|---|---|---|
| committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-02-16 09:01:25 +0100 |
| commit | bc403272d867f82edd623179d82c080e57154c1a (patch) | |
| tree | 3551ba142ed725595ee684981fc8973cade2ebf4 /Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/solutionstore | |
| parent | add dreal-timeout flag (diff) | |
| download | VIATRA-Generator-dreal-integration.tar.gz VIATRA-Generator-dreal-integration.tar.zst VIATRA-Generator-dreal-integration.zip | |
CrossingScenario case study is ready for serverdreal-integration
Diffstat (limited to 'Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/solutionstore')
| -rw-r--r-- | Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/solutionstore/SolutionStore.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/solutionstore/SolutionStore.java b/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/solutionstore/SolutionStore.java index 578ae277..6e0abd0b 100644 --- a/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/solutionstore/SolutionStore.java +++ b/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/solutionstore/SolutionStore.java | |||
| @@ -208,10 +208,11 @@ public class SolutionStore { | |||
| 208 | solutionTrajectory.setFitness(fitness); | 208 | solutionTrajectory.setFitness(fitness); |
| 209 | 209 | ||
| 210 | if (acceptOnlyGoalSolutions && !fitness.isSatisifiesHardObjectives()) { | 210 | if (acceptOnlyGoalSolutions && !fitness.isSatisifiesHardObjectives()) { |
| 211 | // System.out.println("NOT SAVING"); | ||
| 211 | unsavedSolutionCallbacks(context, solutionTrajectory); | 212 | unsavedSolutionCallbacks(context, solutionTrajectory); |
| 212 | return; | 213 | return; |
| 213 | } | 214 | } |
| 214 | 215 | System.out.println("SAVING SOLUTION"); | |
| 215 | boolean solutionSaved = solutionSaver.saveSolution(context, id, solutionTrajectory); | 216 | boolean solutionSaved = solutionSaver.saveSolution(context, id, solutionTrajectory); |
| 216 | 217 | ||
| 217 | if (solutionSaved) { | 218 | if (solutionSaved) { |