diff options
Diffstat (limited to 'subprojects/store-dse/src/test')
-rw-r--r-- | subprojects/store-dse/src/test/java/tools/refinery/store/dse/DesignSpaceExplorationTest.java | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DesignSpaceExplorationTest.java b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DesignSpaceExplorationTest.java index a379835d..89adbf65 100644 --- a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DesignSpaceExplorationTest.java +++ b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/DesignSpaceExplorationTest.java | |||
@@ -17,7 +17,6 @@ import tools.refinery.store.query.view.AnySymbolView; | |||
17 | import tools.refinery.store.query.view.KeyOnlyView; | 17 | import tools.refinery.store.query.view.KeyOnlyView; |
18 | import tools.refinery.store.representation.Symbol; | 18 | import tools.refinery.store.representation.Symbol; |
19 | import tools.refinery.store.tuple.Tuple; | 19 | import tools.refinery.store.tuple.Tuple; |
20 | import tools.refinery.visualization.ModelVisualizerAdapter; | ||
21 | 20 | ||
22 | import static org.junit.jupiter.api.Assertions.assertEquals; | 21 | import static org.junit.jupiter.api.Assertions.assertEquals; |
23 | 22 | ||
@@ -118,7 +117,6 @@ class DesignSpaceExplorationTest { | |||
118 | var store = ModelStore.builder() | 117 | var store = ModelStore.builder() |
119 | .symbols(classModel) | 118 | .symbols(classModel) |
120 | .with(ViatraModelQueryAdapter.builder()) | 119 | .with(ViatraModelQueryAdapter.builder()) |
121 | .with(ModelVisualizerAdapter.builder()) | ||
122 | .with(DesignSpaceExplorationAdapter.builder() | 120 | .with(DesignSpaceExplorationAdapter.builder() |
123 | .strategy(new DepthFirstStrategy(0))) | 121 | .strategy(new DepthFirstStrategy(0))) |
124 | .build(); | 122 | .build(); |
@@ -158,7 +156,6 @@ class DesignSpaceExplorationTest { | |||
158 | .symbols(classModel, classElement, classes) | 156 | .symbols(classModel, classElement, classes) |
159 | .with(ViatraModelQueryAdapter.builder() | 157 | .with(ViatraModelQueryAdapter.builder() |
160 | .queries(createClassPrecondition)) | 158 | .queries(createClassPrecondition)) |
161 | .with(ModelVisualizerAdapter.builder()) | ||
162 | .with(DesignSpaceExplorationAdapter.builder() | 159 | .with(DesignSpaceExplorationAdapter.builder() |
163 | .transformations(createClassRule) | 160 | .transformations(createClassRule) |
164 | .strategy(new DepthFirstStrategy(4) | 161 | .strategy(new DepthFirstStrategy(4) |
@@ -205,7 +202,6 @@ class DesignSpaceExplorationTest { | |||
205 | .symbols(classModel, classElement, classes) | 202 | .symbols(classModel, classElement, classes) |
206 | .with(ViatraModelQueryAdapter.builder() | 203 | .with(ViatraModelQueryAdapter.builder() |
207 | .queries(createClassPrecondition)) | 204 | .queries(createClassPrecondition)) |
208 | .with(ModelVisualizerAdapter.builder()) | ||
209 | .with(DesignSpaceExplorationAdapter.builder() | 205 | .with(DesignSpaceExplorationAdapter.builder() |
210 | .transformations(createClassRule) | 206 | .transformations(createClassRule) |
211 | .strategy(new DepthFirstStrategy(4).continueIfHardObjectivesFulfilled() | 207 | .strategy(new DepthFirstStrategy(4).continueIfHardObjectivesFulfilled() |
@@ -274,7 +270,6 @@ class DesignSpaceExplorationTest { | |||
274 | .symbols(classModel, classElement, classes, feature, features, isEncapsulatedBy, encapsulates) | 270 | .symbols(classModel, classElement, classes, feature, features, isEncapsulatedBy, encapsulates) |
275 | .with(ViatraModelQueryAdapter.builder() | 271 | .with(ViatraModelQueryAdapter.builder() |
276 | .queries(createClassPrecondition, createFeaturePrecondition)) | 272 | .queries(createClassPrecondition, createFeaturePrecondition)) |
277 | .with(ModelVisualizerAdapter.builder()) | ||
278 | .with(DesignSpaceExplorationAdapter.builder() | 273 | .with(DesignSpaceExplorationAdapter.builder() |
279 | .transformations(createClassRule, createFeatureRule) | 274 | .transformations(createClassRule, createFeatureRule) |
280 | .strategy(new DepthFirstStrategy(10).continueIfHardObjectivesFulfilled() | 275 | .strategy(new DepthFirstStrategy(10).continueIfHardObjectivesFulfilled() |
@@ -298,7 +293,6 @@ class DesignSpaceExplorationTest { | |||
298 | var store = ModelStore.builder() | 293 | var store = ModelStore.builder() |
299 | .symbols(classModel) | 294 | .symbols(classModel) |
300 | .with(ViatraModelQueryAdapter.builder()) | 295 | .with(ViatraModelQueryAdapter.builder()) |
301 | .with(ModelVisualizerAdapter.builder()) | ||
302 | .with(DesignSpaceExplorationAdapter.builder() | 296 | .with(DesignSpaceExplorationAdapter.builder() |
303 | .strategy(new BestFirstStrategy(0))) | 297 | .strategy(new BestFirstStrategy(0))) |
304 | .build(); | 298 | .build(); |
@@ -338,7 +332,6 @@ class DesignSpaceExplorationTest { | |||
338 | .symbols(classModel, classElement, classes) | 332 | .symbols(classModel, classElement, classes) |
339 | .with(ViatraModelQueryAdapter.builder() | 333 | .with(ViatraModelQueryAdapter.builder() |
340 | .queries(createClassPrecondition)) | 334 | .queries(createClassPrecondition)) |
341 | .with(ModelVisualizerAdapter.builder()) | ||
342 | .with(DesignSpaceExplorationAdapter.builder() | 335 | .with(DesignSpaceExplorationAdapter.builder() |
343 | .transformations(createClassRule) | 336 | .transformations(createClassRule) |
344 | .strategy(new BestFirstStrategy(4) | 337 | .strategy(new BestFirstStrategy(4) |
@@ -385,7 +378,6 @@ class DesignSpaceExplorationTest { | |||
385 | .symbols(classModel, classElement, classes) | 378 | .symbols(classModel, classElement, classes) |
386 | .with(ViatraModelQueryAdapter.builder() | 379 | .with(ViatraModelQueryAdapter.builder() |
387 | .queries(createClassPrecondition)) | 380 | .queries(createClassPrecondition)) |
388 | .with(ModelVisualizerAdapter.builder()) | ||
389 | .with(DesignSpaceExplorationAdapter.builder() | 381 | .with(DesignSpaceExplorationAdapter.builder() |
390 | .transformations(createClassRule) | 382 | .transformations(createClassRule) |
391 | .strategy(new BestFirstStrategy(4).continueIfHardObjectivesFulfilled() | 383 | .strategy(new BestFirstStrategy(4).continueIfHardObjectivesFulfilled() |
@@ -454,7 +446,6 @@ class DesignSpaceExplorationTest { | |||
454 | .symbols(classModel, classElement, classes, feature, features, isEncapsulatedBy, encapsulates) | 446 | .symbols(classModel, classElement, classes, feature, features, isEncapsulatedBy, encapsulates) |
455 | .with(ViatraModelQueryAdapter.builder() | 447 | .with(ViatraModelQueryAdapter.builder() |
456 | .queries(createClassPrecondition, createFeaturePrecondition)) | 448 | .queries(createClassPrecondition, createFeaturePrecondition)) |
457 | .with(ModelVisualizerAdapter.builder()) | ||
458 | .with(DesignSpaceExplorationAdapter.builder() | 449 | .with(DesignSpaceExplorationAdapter.builder() |
459 | .transformations(createClassRule, createFeatureRule) | 450 | .transformations(createClassRule, createFeatureRule) |
460 | .strategy(new BestFirstStrategy(10).continueIfHardObjectivesFulfilled() | 451 | .strategy(new BestFirstStrategy(10).continueIfHardObjectivesFulfilled() |