Model representation is outdated.

1 files changed, 0 insertions, 13 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
deleted file mode 100644
index be3a2351..00000000
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/NamedTruthValue.java
+++ /dev/null
@@ -1,13 +0,0 @@
-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;
-        }
-
-}