diff options
Diffstat (limited to 'subprojects/language-semantics/src/test')
2 files changed, 6 insertions, 6 deletions
diff --git a/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/CountPropagationTest.java b/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/CountPropagationTest.java index eee2c4ae..6beae93a 100644 --- a/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/CountPropagationTest.java +++ b/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/CountPropagationTest.java | |||
@@ -10,7 +10,7 @@ import tools.refinery.store.dse.propagation.PropagationAdapter; | |||
10 | import tools.refinery.store.dse.propagation.PropagationResult; | 10 | import tools.refinery.store.dse.propagation.PropagationResult; |
11 | import tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter; | 11 | import tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter; |
12 | import tools.refinery.store.model.ModelStore; | 12 | import tools.refinery.store.model.ModelStore; |
13 | import tools.refinery.store.query.viatra.ViatraModelQueryAdapter; | 13 | import tools.refinery.store.query.interpreter.QueryInterpreterAdapter; |
14 | import tools.refinery.store.reasoning.ReasoningAdapter; | 14 | import tools.refinery.store.reasoning.ReasoningAdapter; |
15 | import tools.refinery.store.reasoning.ReasoningStoreAdapter; | 15 | import tools.refinery.store.reasoning.ReasoningStoreAdapter; |
16 | import tools.refinery.store.reasoning.representation.PartialRelation; | 16 | import tools.refinery.store.reasoning.representation.PartialRelation; |
@@ -40,7 +40,7 @@ class CountPropagationTest { | |||
40 | .build(); | 40 | .build(); |
41 | 41 | ||
42 | var store = ModelStore.builder() | 42 | var store = ModelStore.builder() |
43 | .with(ViatraModelQueryAdapter.builder()) | 43 | .with(QueryInterpreterAdapter.builder()) |
44 | .with(PropagationAdapter.builder()) | 44 | .with(PropagationAdapter.builder()) |
45 | .with(DesignSpaceExplorationAdapter.builder()) | 45 | .with(DesignSpaceExplorationAdapter.builder()) |
46 | .with(ReasoningAdapter.builder()) | 46 | .with(ReasoningAdapter.builder()) |
diff --git a/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/ModelGenerationTest.java b/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/ModelGenerationTest.java index d756099c..c8a79c37 100644 --- a/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/ModelGenerationTest.java +++ b/subprojects/language-semantics/src/test/java/tools/refinery/language/semantics/model/ModelGenerationTest.java | |||
@@ -18,7 +18,7 @@ import tools.refinery.store.dse.propagation.PropagationAdapter; | |||
18 | import tools.refinery.store.dse.strategy.BestFirstStoreManager; | 18 | import tools.refinery.store.dse.strategy.BestFirstStoreManager; |
19 | import tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter; | 19 | import tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter; |
20 | import tools.refinery.store.model.ModelStore; | 20 | import tools.refinery.store.model.ModelStore; |
21 | import tools.refinery.store.query.viatra.ViatraModelQueryAdapter; | 21 | import tools.refinery.store.query.interpreter.QueryInterpreterAdapter; |
22 | import tools.refinery.store.reasoning.ReasoningAdapter; | 22 | import tools.refinery.store.reasoning.ReasoningAdapter; |
23 | import tools.refinery.store.reasoning.ReasoningStoreAdapter; | 23 | import tools.refinery.store.reasoning.ReasoningStoreAdapter; |
24 | import tools.refinery.store.reasoning.literal.Concreteness; | 24 | import tools.refinery.store.reasoning.literal.Concreteness; |
@@ -81,7 +81,7 @@ class ModelGenerationTest { | |||
81 | var problem = parsedProblem.problem(); | 81 | var problem = parsedProblem.problem(); |
82 | 82 | ||
83 | var storeBuilder = ModelStore.builder() | 83 | var storeBuilder = ModelStore.builder() |
84 | .with(ViatraModelQueryAdapter.builder()) | 84 | .with(QueryInterpreterAdapter.builder()) |
85 | .with(ModelVisualizerAdapter.builder() | 85 | .with(ModelVisualizerAdapter.builder() |
86 | .withOutputPath("test_output") | 86 | .withOutputPath("test_output") |
87 | .withFormat(FileFormat.DOT) | 87 | .withFormat(FileFormat.DOT) |
@@ -215,7 +215,7 @@ class ModelGenerationTest { | |||
215 | var problem = parsedProblem.problem(); | 215 | var problem = parsedProblem.problem(); |
216 | 216 | ||
217 | var storeBuilder = ModelStore.builder() | 217 | var storeBuilder = ModelStore.builder() |
218 | .with(ViatraModelQueryAdapter.builder()) | 218 | .with(QueryInterpreterAdapter.builder()) |
219 | // .with(ModelVisualizerAdapter.builder() | 219 | // .with(ModelVisualizerAdapter.builder() |
220 | // .withOutputPath("test_output") | 220 | // .withOutputPath("test_output") |
221 | // .withFormat(FileFormat.DOT) | 221 | // .withFormat(FileFormat.DOT) |
@@ -282,7 +282,7 @@ class ModelGenerationTest { | |||
282 | var problem = parsedProblem.problem(); | 282 | var problem = parsedProblem.problem(); |
283 | 283 | ||
284 | var storeBuilder = ModelStore.builder() | 284 | var storeBuilder = ModelStore.builder() |
285 | .with(ViatraModelQueryAdapter.builder()) | 285 | .with(QueryInterpreterAdapter.builder()) |
286 | // .with(ModelVisualizerAdapter.builder() | 286 | // .with(ModelVisualizerAdapter.builder() |
287 | // .withOutputPath("test_output") | 287 | // .withOutputPath("test_output") |
288 | // .withFormat(FileFormat.DOT) | 288 | // .withFormat(FileFormat.DOT) |