Merge remote-tracking branch 'origin/web-demo'

1 files changed, 22 insertions, 0 deletions

diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/query/building/Variable.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/query/building/Variable.java
new file mode 100644
index 00000000..29f9fc8b
--- /dev/null
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/query/building/Variable.java
@@ -0,0 +1,22 @@
+package org.eclipse.viatra.solver.data.query.building;
+
+public class Variable {
+        private final String name;
+        private final String uniqueName;
+
+        public Variable(String name) {
+                super();
+                this.name = name;
+                this.uniqueName = DNFPredicate.generateUniqueName(name, "variable");
+                
+        }
+        public String getName() {
+                return name;
+        }
+        public String getUniqueName() {
+                return uniqueName;
+        }
+        public boolean isNamed() {
+                return name != null;
+        }
+}