1 files changed, 10 insertions, 0 deletions

diff --git a/subprojects/store/src/main/java/tools/refinery/store/tuple/TupleN.java b/subprojects/store/src/main/java/tools/refinery/store/tuple/TupleN.java
index b66af491..b42b4b6a 100644
--- a/subprojects/store/src/main/java/tools/refinery/store/tuple/TupleN.java
+++ b/subprojects/store/src/main/java/tools/refinery/store/tuple/TupleN.java
@@ -32,6 +32,16 @@ public final class TupleN implements Tuple {
         }
 
         @Override
+        public Tuple set(int element, int value) {
+                int size = getSize();
+                var newValues = new int[size];
+                for (int i = 0; i < size; i++) {
+                        newValues[i] = element == i ? value : values[i];
+                }
+                return Tuple.of(newValues);
+        }
+
+        @Override
         public String toString() {
                 var valuesString = Arrays.stream(values)
                                 .mapToObj(Integer::toString)