refactor: remove TupleLike

* Directly transform VIATRA tuples into Refinery tuples, since creating
  the additional wrapper object doesn't save any memory.
* Adds static arity Tuple3 and Tuple4 implementations to be more
  aligned with VIATRA internals and save memory for queries with up to
  4 parameters.
* Makes sure no new objects are allocated (for varargs handling) when a
  static arity tuple is hashed.

2 files changed, 6 insertions, 5 deletions

diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/rule/RuleActionExecutor.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/rule/RuleActionExecutor.java
index 80bfa6f8..7c51e3df 100644
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/rule/RuleActionExecutor.java
+++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/rule/RuleActionExecutor.java
@@ -1,9 +1,9 @@
 package tools.refinery.store.reasoning.rule;
 
 import tools.refinery.store.reasoning.MergeResult;
-import tools.refinery.store.tuple.TupleLike;
+import tools.refinery.store.tuple.Tuple;
 
 @FunctionalInterface
 public interface RuleActionExecutor {
-        MergeResult execute(TupleLike activationTuple);
+        MergeResult execute(Tuple activationTuple);
 }
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/rule/RuleExecutor.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/rule/RuleExecutor.java
index 1e5322b4..c20645fc 100644
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/rule/RuleExecutor.java
+++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/rule/RuleExecutor.java
@@ -1,8 +1,8 @@
 package tools.refinery.store.reasoning.rule;
 
-import tools.refinery.store.reasoning.MergeResult;
 import tools.refinery.store.model.Model;
-import tools.refinery.store.tuple.TupleLike;
+import tools.refinery.store.reasoning.MergeResult;
+import tools.refinery.store.tuple.Tuple;
 
 import java.util.List;
 
@@ -24,7 +24,8 @@ public final class RuleExecutor {
         public Model getModel() {
                 return model;
         }
-        public MergeResult execute(TupleLike activationTuple) {
+
+        public MergeResult execute(Tuple activationTuple) {
                 MergeResult mergeResult = MergeResult.UNCHANGED;
                 for (var actionExecutor : actionExecutors) {
                         mergeResult = mergeResult.andAlso(actionExecutor.execute(activationTuple));