From 7f6a2528bf83f93e3d35eff228f7180e0181f4eb Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Thu, 29 Jul 2021 19:01:25 +0200 Subject: Add new data structure for backend MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Oszkár Semeráth --- .../org/eclipse/viatra/solver/data/NamedTruthValue.java | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 model-data/src/main/java/org/eclipse/viatra/solver/data/NamedTruthValue.java (limited to 'model-data/src/main/java/org/eclipse/viatra/solver/data/NamedTruthValue.java') 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; + } + +} -- cgit v1.2.3-54-g00ecf