aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--subprojects/store-dse/src/test/java/tools/refinery/store/dse/DesignSpaceExplorationTest.java9
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;
17import tools.refinery.store.query.view.KeyOnlyView; 17import tools.refinery.store.query.view.KeyOnlyView;
18import tools.refinery.store.representation.Symbol; 18import tools.refinery.store.representation.Symbol;
19import tools.refinery.store.tuple.Tuple; 19import tools.refinery.store.tuple.Tuple;
20import tools.refinery.visualization.ModelVisualizerAdapter;
21 20
22import static org.junit.jupiter.api.Assertions.assertEquals; 21import 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()