diff options
| author |  Attila Ficsor <33845035+nagilooh@users.noreply.github.com> | 2023-08-25 17:59:07 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2023-08-25 17:59:07 +0200 |
| commit | eeeb6fd53776e5c25745d02fd7166a3ad8fa9979 (patch) | |
| tree | 904c7a674e4f0c9945ae68871ddad101f161efa1 /subprojects/store-dse/src/main/java/tools/refinery/store/dse/objectives/AlwaysSatisfiedRandomHardObjective.java | |
| parent | Merge pull request #37 from nagilooh/design-space-exploration (diff) | |
| parent | SuppressWarnings for using pseudorandom number generator in non-security sens... (diff) | |
| download | refinery-eeeb6fd53776e5c25745d02fd7166a3ad8fa9979.tar.gz refinery-eeeb6fd53776e5c25745d02fd7166a3ad8fa9979.tar.zst refinery-eeeb6fd53776e5c25745d02fd7166a3ad8fa9979.zip | |
Merge pull request #38 from nagilooh/design-space-exploration
Comparable transformation rule action
Diffstat (limited to 'subprojects/store-dse/src/main/java/tools/refinery/store/dse/objectives/AlwaysSatisfiedRandomHardObjective.java')
| -rw-r--r-- | subprojects/store-dse/src/main/java/tools/refinery/store/dse/objectives/AlwaysSatisfiedRandomHardObjective.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/objectives/AlwaysSatisfiedRandomHardObjective.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/objectives/AlwaysSatisfiedRandomHardObjective.java index 327d5e2f..cdd1754f 100644 --- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/objectives/AlwaysSatisfiedRandomHardObjective.java +++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/objectives/AlwaysSatisfiedRandomHardObjective.java | |||
| @@ -22,6 +22,7 @@ import java.util.Random; | |||
| 22 | public class AlwaysSatisfiedRandomHardObjective extends BaseObjective { | 22 | public class AlwaysSatisfiedRandomHardObjective extends BaseObjective { |
| 23 | 23 | ||
| 24 | private static final String DEFAULT_NAME = "AlwaysSatisfiedDummyHardObjective"; | 24 | private static final String DEFAULT_NAME = "AlwaysSatisfiedDummyHardObjective"; |
| 25 | @SuppressWarnings("squid:S2245") | ||
| 25 | private static final Random random = new Random(0); | 26 | private static final Random random = new Random(0); |
| 26 | 27 | ||
| 27 | public AlwaysSatisfiedRandomHardObjective() { | 28 | public AlwaysSatisfiedRandomHardObjective() { |