diff options
author | nagilooh <ficsorattila96@gmail.com> | 2023-07-27 12:15:58 +0200 |
---|---|---|
committer | nagilooh <ficsorattila96@gmail.com> | 2023-08-02 12:09:19 +0200 |
commit | 261d7d1a5a60dc46dc243118e55adf6c4bb8c9f8 (patch) | |
tree | 32252967166c3c69d9b8d5ac36507bdd4b0202af /subprojects/store-query-viatra/src | |
parent | Add visualization using DOT language (diff) | |
download | refinery-261d7d1a5a60dc46dc243118e55adf6c4bb8c9f8.tar.gz refinery-261d7d1a5a60dc46dc243118e55adf6c4bb8c9f8.tar.zst refinery-261d7d1a5a60dc46dc243118e55adf6c4bb8c9f8.zip |
Add seed option for random
Diffstat (limited to 'subprojects/store-query-viatra/src')
2 files changed, 15 insertions, 0 deletions
diff --git a/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/dse/DesignSpaceExplorationAdapter.java b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/dse/DesignSpaceExplorationAdapter.java index e7ce7b2c..4cfca210 100644 --- a/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/dse/DesignSpaceExplorationAdapter.java +++ b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/dse/DesignSpaceExplorationAdapter.java | |||
@@ -10,6 +10,7 @@ import tools.refinery.store.tuple.Tuple1; | |||
10 | 10 | ||
11 | import java.util.Collection; | 11 | import java.util.Collection; |
12 | import java.util.List; | 12 | import java.util.List; |
13 | import java.util.Random; | ||
13 | 14 | ||
14 | public interface DesignSpaceExplorationAdapter extends ModelAdapter { | 15 | public interface DesignSpaceExplorationAdapter extends ModelAdapter { |
15 | @Override | 16 | @Override |
@@ -52,4 +53,8 @@ public interface DesignSpaceExplorationAdapter extends ModelAdapter { | |||
52 | public ObjectiveComparatorHelper getObjectiveComparatorHelper(); | 53 | public ObjectiveComparatorHelper getObjectiveComparatorHelper(); |
53 | 54 | ||
54 | public void restoreTrajectory(List<Long> trajectory); | 55 | public void restoreTrajectory(List<Long> trajectory); |
56 | |||
57 | public void setRandom(Random random); | ||
58 | |||
59 | public void setRandom(long seed); | ||
55 | } | 60 | } |
diff --git a/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/dse/internal/DesignSpaceExplorationAdapterImpl.java b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/dse/internal/DesignSpaceExplorationAdapterImpl.java index eb2fc063..c4c51e79 100644 --- a/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/dse/internal/DesignSpaceExplorationAdapterImpl.java +++ b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/dse/internal/DesignSpaceExplorationAdapterImpl.java | |||
@@ -142,6 +142,16 @@ public class DesignSpaceExplorationAdapterImpl implements DesignSpaceExploration | |||
142 | } | 142 | } |
143 | 143 | ||
144 | @Override | 144 | @Override |
145 | public void setRandom(Random random) { | ||
146 | this.random = random; | ||
147 | } | ||
148 | |||
149 | @Override | ||
150 | public void setRandom(long seed) { | ||
151 | this.random = new Random(seed); | ||
152 | } | ||
153 | |||
154 | @Override | ||
145 | public Fitness calculateFitness() { | 155 | public Fitness calculateFitness() { |
146 | Fitness result = new Fitness(); | 156 | Fitness result = new Fitness(); |
147 | boolean satisfiesHardObjectives = true; | 157 | boolean satisfiesHardObjectives = true; |