1 files changed, 32 insertions, 0 deletions

diff --git a/subprojects/store-partial/src/main/java/tools/refinery/store/partial/representation/PartialFunction.java b/subprojects/store-partial/src/main/java/tools/refinery/store/partial/representation/PartialFunction.java
new file mode 100644
index 00000000..3c186f6f
--- /dev/null
+++ b/subprojects/store-partial/src/main/java/tools/refinery/store/partial/representation/PartialFunction.java
@@ -0,0 +1,32 @@
+package tools.refinery.store.partial.representation;
+
+import tools.refinery.store.representation.AbstractDomain;
+
+public record PartialFunction<A, C>(String name, int arity, AbstractDomain<A, C> abstractDomain)
+                implements AnyPartialFunction, PartialSymbol<A, C> {
+        @Override
+        public A defaultValue() {
+                return null;
+        }
+
+        @Override
+        public C defaultConcreteValue() {
+                return null;
+        }
+
+        @Override
+        public boolean equals(Object o) {
+                return this == o;
+        }
+
+        @Override
+        public int hashCode() {
+                // Compare by identity to make hash table lookups more efficient.
+                return System.identityHashCode(this);
+        }
+
+        @Override
+        public String toString() {
+                return "%s/%d".formatted(name, arity);
+        }
+}