chore: remove VIATRA branding

Rename VIATRA subprojects to Refinery Interpreter to avoid interfering with
Eclipse Foundation trademarks.

Uses refering to a specific (historical) version of VIATRA were kept to avoid
ambiguity.

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;
 import tools.refinery.store.dse.propagation.PropagationResult;
 import tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter;
 import tools.refinery.store.model.ModelStore;
-import tools.refinery.store.query.viatra.ViatraModelQueryAdapter;
+import tools.refinery.store.query.interpreter.QueryInterpreterAdapter;
 import tools.refinery.store.reasoning.ReasoningAdapter;
 import tools.refinery.store.reasoning.ReasoningStoreAdapter;
 import tools.refinery.store.reasoning.representation.PartialRelation;
@@ -40,7 +40,7 @@ class CountPropagationTest {
                                 .build();
 
                 var store = ModelStore.builder()
-                                .with(ViatraModelQueryAdapter.builder())
+                                .with(QueryInterpreterAdapter.builder())
                                 .with(PropagationAdapter.builder())
                                 .with(DesignSpaceExplorationAdapter.builder())
                                 .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;
 import tools.refinery.store.dse.strategy.BestFirstStoreManager;
 import tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter;
 import tools.refinery.store.model.ModelStore;
-import tools.refinery.store.query.viatra.ViatraModelQueryAdapter;
+import tools.refinery.store.query.interpreter.QueryInterpreterAdapter;
 import tools.refinery.store.reasoning.ReasoningAdapter;
 import tools.refinery.store.reasoning.ReasoningStoreAdapter;
 import tools.refinery.store.reasoning.literal.Concreteness;
@@ -81,7 +81,7 @@ class ModelGenerationTest {
                 var problem = parsedProblem.problem();
 
                 var storeBuilder = ModelStore.builder()
-                                .with(ViatraModelQueryAdapter.builder())
+                                .with(QueryInterpreterAdapter.builder())
                                 .with(ModelVisualizerAdapter.builder()
                                                 .withOutputPath("test_output")
                                                 .withFormat(FileFormat.DOT)
@@ -215,7 +215,7 @@ class ModelGenerationTest {
                 var problem = parsedProblem.problem();
 
                 var storeBuilder = ModelStore.builder()
-                                .with(ViatraModelQueryAdapter.builder())
+                                .with(QueryInterpreterAdapter.builder())
 //                              .with(ModelVisualizerAdapter.builder()
 //                                              .withOutputPath("test_output")
 //                                              .withFormat(FileFormat.DOT)
@@ -282,7 +282,7 @@ class ModelGenerationTest {
                 var problem = parsedProblem.problem();
 
                 var storeBuilder = ModelStore.builder()
-                                .with(ViatraModelQueryAdapter.builder())
+                                .with(QueryInterpreterAdapter.builder())
 //                              .with(ModelVisualizerAdapter.builder()
 //                                              .withOutputPath("test_output")
 //                                              .withFormat(FileFormat.DOT)