diff options
-rw-r--r-- | subprojects/store-dse/src/test/java/tools/refinery/store/dse/CRAExamplesTest.java | 2 | ||||
-rw-r--r-- | subprojects/store-dse/src/test/java/tools/refinery/store/dse/DebugTest.java | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/CRAExamplesTest.java b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/CRAExamplesTest.java index 23f0e703..2fe9fec3 100644 --- a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/CRAExamplesTest.java +++ b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/CRAExamplesTest.java | |||
@@ -6,6 +6,7 @@ | |||
6 | package tools.refinery.store.dse; | 6 | package tools.refinery.store.dse; |
7 | 7 | ||
8 | import org.junit.jupiter.api.Test; | 8 | import org.junit.jupiter.api.Test; |
9 | import tools.refinery.store.dse.objectives.AlwaysSatisfiedRandomHardObjective; | ||
9 | import tools.refinery.store.model.ModelStore; | 10 | import tools.refinery.store.model.ModelStore; |
10 | import tools.refinery.store.query.ModelQueryAdapter; | 11 | import tools.refinery.store.query.ModelQueryAdapter; |
11 | import tools.refinery.store.query.dnf.Query; | 12 | import tools.refinery.store.query.dnf.Query; |
@@ -197,6 +198,7 @@ class CRAExamplesTest { | |||
197 | ) | 198 | ) |
198 | .with(DesignSpaceExplorationAdapter.builder() | 199 | .with(DesignSpaceExplorationAdapter.builder() |
199 | .transformations(assignFeatureRule, deleteEmptyClassRule, createClassRule, moveFeatureRule) | 200 | .transformations(assignFeatureRule, deleteEmptyClassRule, createClassRule, moveFeatureRule) |
201 | .objectives(new AlwaysSatisfiedRandomHardObjective()) | ||
200 | // .strategy(new DepthFirstStrategy(3).continueIfHardObjectivesFulfilled() | 202 | // .strategy(new DepthFirstStrategy(3).continueIfHardObjectivesFulfilled() |
201 | .strategy(new BestFirstStrategy(6).continueIfHardObjectivesFulfilled() | 203 | .strategy(new BestFirstStrategy(6).continueIfHardObjectivesFulfilled() |
202 | // .goOnOnlyIfFitnessIsBetter() | 204 | // .goOnOnlyIfFitnessIsBetter() |
diff --git a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DebugTest.java b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DebugTest.java index 88c4f152..2cb59ec7 100644 --- a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DebugTest.java +++ b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DebugTest.java | |||
@@ -6,6 +6,7 @@ | |||
6 | package tools.refinery.store.dse; | 6 | package tools.refinery.store.dse; |
7 | 7 | ||
8 | import org.junit.jupiter.api.Test; | 8 | import org.junit.jupiter.api.Test; |
9 | import tools.refinery.store.dse.objectives.AlwaysSatisfiedRandomHardObjective; | ||
9 | import tools.refinery.store.model.ModelStore; | 10 | import tools.refinery.store.model.ModelStore; |
10 | import tools.refinery.store.query.ModelQueryAdapter; | 11 | import tools.refinery.store.query.ModelQueryAdapter; |
11 | import tools.refinery.store.query.dnf.Query; | 12 | import tools.refinery.store.query.dnf.Query; |
@@ -99,6 +100,7 @@ class DebugTest { | |||
99 | ) | 100 | ) |
100 | .with(DesignSpaceExplorationAdapter.builder() | 101 | .with(DesignSpaceExplorationAdapter.builder() |
101 | .transformations(createClassRule, createFeatureRule) | 102 | .transformations(createClassRule, createFeatureRule) |
103 | .objectives(new AlwaysSatisfiedRandomHardObjective()) | ||
102 | .strategy(new DepthFirstStrategy(4).continueIfHardObjectivesFulfilled() | 104 | .strategy(new DepthFirstStrategy(4).continueIfHardObjectivesFulfilled() |
103 | // .strategy(new BestFirstStrategy(4).continueIfHardObjectivesFulfilled() | 105 | // .strategy(new BestFirstStrategy(4).continueIfHardObjectivesFulfilled() |
104 | // .goOnOnlyIfFitnessIsBetter() | 106 | // .goOnOnlyIfFitnessIsBetter() |