diff options
Diffstat (limited to 'subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/internal/DesignSpaceExplorationAdapterImpl.java')
-rw-r--r-- | subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/internal/DesignSpaceExplorationAdapterImpl.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/internal/DesignSpaceExplorationAdapterImpl.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/internal/DesignSpaceExplorationAdapterImpl.java index e1a29d40..23325a1f 100644 --- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/internal/DesignSpaceExplorationAdapterImpl.java +++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/internal/DesignSpaceExplorationAdapterImpl.java | |||
@@ -56,6 +56,7 @@ public class DesignSpaceExplorationAdapterImpl implements DesignSpaceExploration | |||
56 | @Override | 56 | @Override |
57 | public boolean checkAccept() { | 57 | public boolean checkAccept() { |
58 | for (var accept : this.accepts) { | 58 | for (var accept : this.accepts) { |
59 | model.checkCancelled(); | ||
59 | if (!accept.isSatisfied()) { | 60 | if (!accept.isSatisfied()) { |
60 | return false; | 61 | return false; |
61 | } | 62 | } |
@@ -66,6 +67,7 @@ public class DesignSpaceExplorationAdapterImpl implements DesignSpaceExploration | |||
66 | @Override | 67 | @Override |
67 | public boolean checkExclude() { | 68 | public boolean checkExclude() { |
68 | for (var exclude : this.excludes) { | 69 | for (var exclude : this.excludes) { |
70 | model.checkCancelled(); | ||
69 | if (exclude.isSatisfied()) { | 71 | if (exclude.isSatisfied()) { |
70 | return true; | 72 | return true; |
71 | } | 73 | } |
@@ -75,6 +77,7 @@ public class DesignSpaceExplorationAdapterImpl implements DesignSpaceExploration | |||
75 | 77 | ||
76 | @Override | 78 | @Override |
77 | public ObjectiveValue getObjectiveValue() { | 79 | public ObjectiveValue getObjectiveValue() { |
80 | model.checkCancelled(); | ||
78 | if (objectives.size() == 1) { | 81 | if (objectives.size() == 1) { |
79 | return ObjectiveValue.of(objectives.get(0).getValue()); | 82 | return ObjectiveValue.of(objectives.get(0).getValue()); |
80 | } else if (objectives.size() == 2) { | 83 | } else if (objectives.size() == 2) { |
@@ -82,6 +85,7 @@ public class DesignSpaceExplorationAdapterImpl implements DesignSpaceExploration | |||
82 | } else { | 85 | } else { |
83 | double[] res = new double[objectives.size()]; | 86 | double[] res = new double[objectives.size()]; |
84 | for (int i = 0; i < objectives.size(); i++) { | 87 | for (int i = 0; i < objectives.size(); i++) { |
88 | model.checkCancelled(); | ||
85 | res[i] = objectives.get(i).getValue(); | 89 | res[i] = objectives.get(i).getValue(); |
86 | } | 90 | } |
87 | return ObjectiveValue.of(res); | 91 | return ObjectiveValue.of(res); |