Add new data structure for backend

Co-authored-by: Oszkár Semeráth <semerath@mit.bme.hu>

1 files changed, 13 insertions, 0 deletions

diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/NamedTruthValue.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/NamedTruthValue.java
new file mode 100644
index 00000000..be3a2351
--- /dev/null
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/NamedTruthValue.java
@@ -0,0 +1,13 @@
+package org.eclipse.viatra.solver.data;
+
+public class NamedTruthValue implements TruthValue {
+        private final String name;
+        public NamedTruthValue(String name) {
+                this.name = name;
+        }
+        @Override
+        public String getName() {
+                return this.name;
+        }
+
+}