1 files changed, 53 insertions, 0 deletions

diff --git a/subprojects/logic/src/main/java/tools/refinery/logic/dnf/SymbolicParameter.java b/subprojects/logic/src/main/java/tools/refinery/logic/dnf/SymbolicParameter.java
new file mode 100644
index 00000000..acc775a7
--- /dev/null
+++ b/subprojects/logic/src/main/java/tools/refinery/logic/dnf/SymbolicParameter.java
@@ -0,0 +1,53 @@
+/*
+ * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
+package tools.refinery.logic.dnf;
+
+import tools.refinery.logic.equality.LiteralHashCodeHelper;
+import tools.refinery.logic.term.Parameter;
+import tools.refinery.logic.term.ParameterDirection;
+import tools.refinery.logic.term.Variable;
+
+import java.util.Objects;
+
+public final class SymbolicParameter extends Parameter {
+        private final Variable variable;
+
+        public SymbolicParameter(Variable variable, ParameterDirection direction) {
+                super(variable.tryGetType().orElse(null), direction);
+                this.variable = variable;
+        }
+
+        public Variable getVariable() {
+                return variable;
+        }
+
+        public int hashCodeWithSubstitution(LiteralHashCodeHelper helper) {
+                return Objects.hash(super.hashCode(), helper.getVariableHashCode(variable));
+        }
+
+        @Override
+        public String toString() {
+                var direction = getDirection();
+                if (direction == ParameterDirection.OUT) {
+                        return variable.toString();
+                }
+                return "%s %s".formatted(getDirection(), variable);
+        }
+
+        @Override
+        public boolean equals(Object o) {
+                if (this == o) return true;
+                if (o == null || getClass() != o.getClass()) return false;
+                if (!super.equals(o)) return false;
+                SymbolicParameter that = (SymbolicParameter) o;
+                return Objects.equals(variable, that.variable);
+        }
+
+        @Override
+        public int hashCode() {
+                return Objects.hash(super.hashCode(), variable);
+        }
+}