1 files changed, 11 insertions, 0 deletions

diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/DefinedSymbol.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/DefinedSymbol.java
new file mode 100644
index 00000000..40d01721
--- /dev/null
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/DefinedSymbol.java
@@ -0,0 +1,11 @@
+package org.eclipse.viatra.solver.data;
+
+public class DefinedSymbol extends Symbol {
+        private final String name;
+        public DefinedSymbol(String name) {
+                this.name = name;
+        }
+        public String getName() {
+                return name;
+        }
+}