1 files changed, 12 insertions, 0 deletions

diff --git a/subprojects/store-partial/src/main/java/tools/refinery/store/partial/representation/PartialSymbol.java b/subprojects/store-partial/src/main/java/tools/refinery/store/partial/representation/PartialSymbol.java
new file mode 100644
index 00000000..38533fa9
--- /dev/null
+++ b/subprojects/store-partial/src/main/java/tools/refinery/store/partial/representation/PartialSymbol.java
@@ -0,0 +1,12 @@
+package tools.refinery.store.partial.representation;
+
+import tools.refinery.store.representation.AbstractDomain;
+
+public sealed interface PartialSymbol<A, C> extends AnyPartialSymbol permits PartialFunction, PartialRelation {
+        @Override
+        AbstractDomain<A, C> abstractDomain();
+
+        A defaultValue();
+
+        C defaultConcreteValue();
+}