chore: rename unique to individual

Suggestion by @vincemolnar to match SysML V2 terminology more closely.

2 files changed, 4 insertions, 4 deletions

diff --git a/language-to-store/src/main/java/tools/refinery/language/mapping/PartialModelMapper.java b/language-to-store/src/main/java/tools/refinery/language/mapping/PartialModelMapper.java
index 1593a237..8f90a743 100644
--- a/language-to-store/src/main/java/tools/refinery/language/mapping/PartialModelMapper.java
+++ b/language-to-store/src/main/java/tools/refinery/language/mapping/PartialModelMapper.java
@@ -12,6 +12,7 @@ import tools.refinery.language.model.problem.Assertion;
 import tools.refinery.language.model.problem.AssertionArgument;
 import tools.refinery.language.model.problem.ClassDeclaration;
 import tools.refinery.language.model.problem.EnumDeclaration;
+import tools.refinery.language.model.problem.IndividualDeclaration;
 import tools.refinery.language.model.problem.LogicValue;
 import tools.refinery.language.model.problem.Node;
 import tools.refinery.language.model.problem.NodeAssertionArgument;
@@ -19,7 +20,6 @@ import tools.refinery.language.model.problem.PredicateDefinition;
 import tools.refinery.language.model.problem.Problem;
 import tools.refinery.language.model.problem.ReferenceDeclaration;
 import tools.refinery.language.model.problem.Statement;
-import tools.refinery.language.model.problem.UniqueDeclaration;
 import tools.refinery.store.model.Model;
 import tools.refinery.store.model.ModelStore;
 import tools.refinery.store.model.ModelStoreImpl;
@@ -183,7 +183,7 @@ public class PartialModelMapper {
                                 for (Node n : ed.getLiterals()) {
                                         enumNodeMap.put(n, nodeIter[0]++);
                                 }
-                        } else if (s instanceof UniqueDeclaration ud) {
+                        } else if (s instanceof IndividualDeclaration ud) {
                                 for (Node n : ud.getNodes()) {
                                         uniqueNodeMap.put(n, nodeIter[0]++);
                                 }
diff --git a/language-to-store/src/test/java/tools/refinery/language/mapping/tests/PartialModelMapperTest.xtend b/language-to-store/src/test/java/tools/refinery/language/mapping/tests/PartialModelMapperTest.xtend
index 52b89bae..add73c87 100644
--- a/language-to-store/src/test/java/tools/refinery/language/mapping/tests/PartialModelMapperTest.xtend
+++ b/language-to-store/src/test/java/tools/refinery/language/mapping/tests/PartialModelMapperTest.xtend
@@ -290,7 +290,7 @@ class PartialModelMapperTest {
                         error invalidTaxStatus(Person p) <->
                                 taxStatus(p, child), children(p, _q).
                         
-                        unique family.
+                        individual family.
                         Family(family).
                         members(family, anne): true.
                         members(family, bob).
@@ -322,7 +322,7 @@ class PartialModelMapperTest {
                 val anne = problem.node("anne")
                 val bob = problem.node("bob")
                 val ciri = problem.node("ciri")
-                val family = problem.uniqueNode("family")
+                val family = problem.individualNode("family")
                 val adult = problem.findEnum("TaxStatus").literal("adult")
                 
                 assertTrue(model.getDataRepresentations().contains(relationMap.get(Family)))