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.

3 files changed, 6 insertions, 6 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 63da6cc3..fa0b3c73 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
@@ -21,7 +21,7 @@ import tools.refinery.store.query.ModelQueryAdapter;
 import tools.refinery.store.query.dnf.Query;
 import tools.refinery.store.query.dnf.RelationalQuery;
 import tools.refinery.store.query.term.Variable;
-import tools.refinery.store.query.viatra.ViatraModelQueryAdapter;
+import tools.refinery.store.query.interpreter.QueryInterpreterAdapter;
 import tools.refinery.store.query.view.AnySymbolView;
 import tools.refinery.store.query.view.KeyOnlyView;
 import tools.refinery.store.representation.Symbol;
@@ -115,7 +115,7 @@ class CRAExamplesTest {
         void craTest() {
                 var store = ModelStore.builder()
                                 .symbols(classElement, encapsulates, attribute, method, dataDependency, functionalDependency, name)
-                                .with(ViatraModelQueryAdapter.builder())
+                                .with(QueryInterpreterAdapter.builder())
                                 .with(ModelVisualizerAdapter.builder()
                                                 .withOutputPath("test_output")
                                                 .withFormat(FileFormat.DOT)
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 b912eba3..caead7be 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
@@ -15,7 +15,7 @@ import tools.refinery.store.dse.transition.DesignSpaceExplorationAdapter;
 import tools.refinery.store.dse.transition.Rule;
 import tools.refinery.store.model.ModelStore;
 import tools.refinery.store.query.ModelQueryAdapter;
-import tools.refinery.store.query.viatra.ViatraModelQueryAdapter;
+import tools.refinery.store.query.interpreter.QueryInterpreterAdapter;
 import tools.refinery.store.query.view.AnySymbolView;
 import tools.refinery.store.query.view.KeyOnlyView;
 import tools.refinery.store.representation.Symbol;
@@ -62,7 +62,7 @@ class DebugTest {
 
                 var store = ModelStore.builder()
                                 .symbols(classModel, classElement, feature, classes, features)
-                                .with(ViatraModelQueryAdapter.builder())
+                                .with(QueryInterpreterAdapter.builder())
                                 .with(ModelVisualizerAdapter.builder()
                                                 .withOutputPath("test_output")
                                                 .withFormat(FileFormat.DOT)
diff --git a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/transition/TransitionTests.java b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/transition/TransitionTests.java
index 42a0f89b..a79547ec 100644
--- a/subprojects/store-dse/src/test/java/tools/refinery/store/dse/transition/TransitionTests.java
+++ b/subprojects/store-dse/src/test/java/tools/refinery/store/dse/transition/TransitionTests.java
@@ -17,7 +17,7 @@ import tools.refinery.store.query.dnf.Query;
 import tools.refinery.store.query.dnf.RelationalQuery;
 import tools.refinery.store.query.term.Variable;
 import tools.refinery.store.query.term.int_.IntTerms;
-import tools.refinery.store.query.viatra.ViatraModelQueryAdapter;
+import tools.refinery.store.query.interpreter.QueryInterpreterAdapter;
 import tools.refinery.store.query.view.AnySymbolView;
 import tools.refinery.store.query.view.KeyOnlyView;
 import tools.refinery.store.representation.Symbol;
@@ -135,7 +135,7 @@ class TransitionBuildTests {
         private Model getModel() {
                 var store = ModelStore.builder()
                                 .symbols(person, friend)
-                                .with(ViatraModelQueryAdapter.builder())
+                                .with(QueryInterpreterAdapter.builder())
                                 .with(StateCoderAdapter.builder())
                                 .with(ModificationAdapter.builder())
                                 .with(DesignSpaceExplorationAdapter.builder()