refactor: rename RelationView to SymbolView

* Add NodeFunctionView for symbols that hold function-like (single
  associated object for each key) relations as integer values for performance.

3 files changed, 28 insertions, 28 deletions

diff --git a/subprojects/store-query/src/test/java/tools/refinery/store/query/DnfBuilderTest.java b/subprojects/store-query/src/test/java/tools/refinery/store/query/DnfBuilderTest.java
index 70cd386b..152840f8 100644
--- a/subprojects/store-query/src/test/java/tools/refinery/store/query/DnfBuilderTest.java
+++ b/subprojects/store-query/src/test/java/tools/refinery/store/query/DnfBuilderTest.java
@@ -9,7 +9,7 @@ import org.junit.jupiter.api.Test;
 import tools.refinery.store.query.dnf.Dnf;
 import tools.refinery.store.query.literal.BooleanLiteral;
 import tools.refinery.store.query.term.Variable;
-import tools.refinery.store.query.view.KeyOnlyRelationView;
+import tools.refinery.store.query.view.KeyOnlyView;
 import tools.refinery.store.representation.Symbol;
 
 import static org.hamcrest.MatcherAssert.assertThat;
@@ -22,7 +22,7 @@ class DnfBuilderTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var friend = new Symbol<>("friend", 2, Boolean.class, false);
-                var friendView = new KeyOnlyRelationView<>(friend);
+                var friendView = new KeyOnlyView<>(friend);
 
                 var actual = Dnf.builder()
                                 .parameters(p, q)
@@ -38,7 +38,7 @@ class DnfBuilderTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var friend = new Symbol<>("friend", 2, Boolean.class, false);
-                var friendView = new KeyOnlyRelationView<>(friend);
+                var friendView = new KeyOnlyView<>(friend);
 
                 var actual = Dnf.builder()
                                 .parameters(p, q)
@@ -55,7 +55,7 @@ class DnfBuilderTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var friend = new Symbol<>("friend", 2, Boolean.class, false);
-                var friendView = new KeyOnlyRelationView<>(friend);
+                var friendView = new KeyOnlyView<>(friend);
 
                 var actual = Dnf.builder()
                                 .parameters(p, q)
@@ -72,7 +72,7 @@ class DnfBuilderTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var friend = new Symbol<>("friend", 2, Boolean.class, false);
-                var friendView = new KeyOnlyRelationView<>(friend);
+                var friendView = new KeyOnlyView<>(friend);
 
                 var actual = Dnf.builder()
                                 .parameters(p, q)
@@ -88,7 +88,7 @@ class DnfBuilderTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var friend = new Symbol<>("friend", 2, Boolean.class, false);
-                var friendView = new KeyOnlyRelationView<>(friend);
+                var friendView = new KeyOnlyView<>(friend);
                 var trueDnf = Dnf.builder().parameter(p).clause().build();
 
                 var actual = Dnf.builder()
@@ -105,7 +105,7 @@ class DnfBuilderTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var friend = new Symbol<>("friend", 2, Boolean.class, false);
-                var friendView = new KeyOnlyRelationView<>(friend);
+                var friendView = new KeyOnlyView<>(friend);
                 var falseDnf = Dnf.builder().parameter(p).build();
 
                 var actual = Dnf.builder()
@@ -123,7 +123,7 @@ class DnfBuilderTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var friend = new Symbol<>("friend", 2, Boolean.class, false);
-                var friendView = new KeyOnlyRelationView<>(friend);
+                var friendView = new KeyOnlyView<>(friend);
                 var trueDnf = Dnf.builder().parameter(p).clause().build();
 
                 var actual = Dnf.builder()
@@ -141,7 +141,7 @@ class DnfBuilderTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var friend = new Symbol<>("friend", 2, Boolean.class, false);
-                var friendView = new KeyOnlyRelationView<>(friend);
+                var friendView = new KeyOnlyView<>(friend);
                 var falseDnf = Dnf.builder().parameter(p).build();
 
                 var actual = Dnf.builder()
@@ -158,7 +158,7 @@ class DnfBuilderTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var friend = new Symbol<>("friend", 2, Boolean.class, false);
-                var friendView = new KeyOnlyRelationView<>(friend);
+                var friendView = new KeyOnlyView<>(friend);
                 var falseDnf = Dnf.builder().parameter(p).build();
 
                 var actual = Dnf.builder()
@@ -175,7 +175,7 @@ class DnfBuilderTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var friend = new Symbol<>("friend", 2, Boolean.class, false);
-                var friendView = new KeyOnlyRelationView<>(friend);
+                var friendView = new KeyOnlyView<>(friend);
                 var trueDnf = Dnf.builder().parameter(p).clause().build();
 
                 var actual = Dnf.builder()
@@ -193,7 +193,7 @@ class DnfBuilderTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var friend = new Symbol<>("friend", 2, Boolean.class, false);
-                var friendView = new KeyOnlyRelationView<>(friend);
+                var friendView = new KeyOnlyView<>(friend);
                 var falseDnf = Dnf.builder().parameter(p).build();
 
                 var actual = Dnf.builder()
@@ -211,7 +211,7 @@ class DnfBuilderTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var friend = new Symbol<>("friend", 2, Boolean.class, false);
-                var friendView = new KeyOnlyRelationView<>(friend);
+                var friendView = new KeyOnlyView<>(friend);
                 var trueDnf = Dnf.builder().parameter(p).clause().build();
 
                 var actual = Dnf.builder()
diff --git a/subprojects/store-query/src/test/java/tools/refinery/store/query/DnfToDefinitionStringTest.java b/subprojects/store-query/src/test/java/tools/refinery/store/query/DnfToDefinitionStringTest.java
index 7be57745..e89ab682 100644
--- a/subprojects/store-query/src/test/java/tools/refinery/store/query/DnfToDefinitionStringTest.java
+++ b/subprojects/store-query/src/test/java/tools/refinery/store/query/DnfToDefinitionStringTest.java
@@ -8,7 +8,7 @@ package tools.refinery.store.query;
 import org.junit.jupiter.api.Test;
 import tools.refinery.store.query.dnf.Dnf;
 import tools.refinery.store.query.term.Variable;
-import tools.refinery.store.query.view.KeyOnlyRelationView;
+import tools.refinery.store.query.view.KeyOnlyView;
 import tools.refinery.store.representation.Symbol;
 
 import static org.hamcrest.MatcherAssert.assertThat;
@@ -53,7 +53,7 @@ class DnfToDefinitionStringTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var friend = new Symbol<>("friend", 2, Boolean.class, false);
-                var friendView = new KeyOnlyRelationView<>(friend);
+                var friendView = new KeyOnlyView<>(friend);
                 var dnf = Dnf.builder("Example").parameter(p).clause(friendView.call(p, q)).build();
 
                 assertThat(dnf.toDefinitionString(), is("""
@@ -67,7 +67,7 @@ class DnfToDefinitionStringTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var friend = new Symbol<>("friend", 2, Boolean.class, false);
-                var friendView = new KeyOnlyRelationView<>(friend);
+                var friendView = new KeyOnlyView<>(friend);
                 var dnf = Dnf.builder("Example").parameter(p).clause(not(friendView.call(p, q))).build();
 
                 assertThat(dnf.toDefinitionString(), is("""
@@ -81,7 +81,7 @@ class DnfToDefinitionStringTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var friend = new Symbol<>("friend", 2, Boolean.class, false);
-                var friendView = new KeyOnlyRelationView<>(friend);
+                var friendView = new KeyOnlyView<>(friend);
                 var dnf = Dnf.builder("Example").parameter(p).clause(friendView.callTransitive(p, q)).build();
 
                 assertThat(dnf.toDefinitionString(), is("""
@@ -95,7 +95,7 @@ class DnfToDefinitionStringTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var friend = new Symbol<>("friend", 2, Boolean.class, false);
-                var friendView = new KeyOnlyRelationView<>(friend);
+                var friendView = new KeyOnlyView<>(friend);
                 var dnf = Dnf.builder("Example").parameters(p, q).clause(friendView.call(p, q)).build();
 
                 assertThat(dnf.toDefinitionString(), is("""
@@ -109,9 +109,9 @@ class DnfToDefinitionStringTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var person = new Symbol<>("person", 1, Boolean.class, false);
-                var personView = new KeyOnlyRelationView<>(person);
+                var personView = new KeyOnlyView<>(person);
                 var friend = new Symbol<>("friend", 2, Boolean.class, false);
-                var friendView = new KeyOnlyRelationView<>(friend);
+                var friendView = new KeyOnlyView<>(friend);
                 var dnf = Dnf.builder("Example")
                                 .parameter(p)
                                 .clause(
@@ -134,7 +134,7 @@ class DnfToDefinitionStringTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var friend = new Symbol<>("friend", 2, Boolean.class, false);
-                var friendView = new KeyOnlyRelationView<>(friend);
+                var friendView = new KeyOnlyView<>(friend);
                 var dnf = Dnf.builder("Example")
                                 .parameter(p)
                                 .clause(friendView.call(p, q))
@@ -156,9 +156,9 @@ class DnfToDefinitionStringTest {
                 var r = Variable.of("r");
                 var s = Variable.of("s");
                 var person = new Symbol<>("person", 1, Boolean.class, false);
-                var personView = new KeyOnlyRelationView<>(person);
+                var personView = new KeyOnlyView<>(person);
                 var friend = new Symbol<>("friend", 2, Boolean.class, false);
-                var friendView = new KeyOnlyRelationView<>(friend);
+                var friendView = new KeyOnlyView<>(friend);
                 var called  = Dnf.builder("Called").parameters(r, s).clause(friendView.call(r, s)).build();
                 var dnf = Dnf.builder("Example")
                                 .parameter(p)
diff --git a/subprojects/store-query/src/test/java/tools/refinery/store/query/tests/StructurallyEqualToTest.java b/subprojects/store-query/src/test/java/tools/refinery/store/query/tests/StructurallyEqualToTest.java
index e292b3ab..a1407288 100644
--- a/subprojects/store-query/src/test/java/tools/refinery/store/query/tests/StructurallyEqualToTest.java
+++ b/subprojects/store-query/src/test/java/tools/refinery/store/query/tests/StructurallyEqualToTest.java
@@ -8,7 +8,7 @@ package tools.refinery.store.query.tests;
 import org.junit.jupiter.api.Test;
 import tools.refinery.store.query.dnf.Dnf;
 import tools.refinery.store.query.term.Variable;
-import tools.refinery.store.query.view.KeyOnlyRelationView;
+import tools.refinery.store.query.view.KeyOnlyView;
 import tools.refinery.store.representation.Symbol;
 
 import static org.hamcrest.CoreMatchers.containsString;
@@ -22,7 +22,7 @@ class StructurallyEqualToTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var person = new Symbol<>("Person", 1, Boolean.class, false);
-                var personView = new KeyOnlyRelationView<>(person);
+                var personView = new KeyOnlyView<>(person);
 
                 var expected = Dnf.builder("Expected").parameters(q).clause(personView.call(q)).build();
                 var actual = Dnf.builder("Actual").parameters(p).clause(personView.call(p)).build();
@@ -35,7 +35,7 @@ class StructurallyEqualToTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var person = new Symbol<>("Person", 1, Boolean.class, false);
-                var personView = new KeyOnlyRelationView<>(person);
+                var personView = new KeyOnlyView<>(person);
 
                 var expected = Dnf.builder("Expected").parameters(q).clause(personView.call(q)).build();
                 var actual = Dnf.builder("Actual").parameters(p).clause(personView.call(q)).build();
@@ -49,7 +49,7 @@ class StructurallyEqualToTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var person = new Symbol<>("Person", 1, Boolean.class, false);
-                var personView = new KeyOnlyRelationView<>(person);
+                var personView = new KeyOnlyView<>(person);
 
                 var expected = Dnf.builder("Expected").parameters(q).clause(
                                 Dnf.builder("Expected2").parameters(p).clause(personView.call(p)).build().call(q)
@@ -66,7 +66,7 @@ class StructurallyEqualToTest {
                 var p = Variable.of("p");
                 var q = Variable.of("q");
                 var person = new Symbol<>("Person", 1, Boolean.class, false);
-                var personView = new KeyOnlyRelationView<>(person);
+                var personView = new KeyOnlyView<>(person);
 
                 var expected = Dnf.builder("Expected").parameters(q).clause(
                                 Dnf.builder("Expected2").parameters(p).clause(personView.call(p)).build().call(q)