aboutsummaryrefslogtreecommitdiffstats
path: root/model-data/src/main/java/org/eclipse/viatra/solver/data/Model.java
diff options
context:
space:
mode:
Diffstat (limited to 'model-data/src/main/java/org/eclipse/viatra/solver/data/Model.java')
-rw-r--r--model-data/src/main/java/org/eclipse/viatra/solver/data/Model.java10
1 files changed, 0 insertions, 10 deletions
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/Model.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/Model.java
deleted file mode 100644
index 6f5c58ce..00000000
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/Model.java
+++ /dev/null
@@ -1,10 +0,0 @@
1package org.eclipse.viatra.solver.data;
2
3import java.util.List;
4import java.util.Map;
5import java.util.Set;
6
7public class Model {
8 Set<ModelObject> objects;
9 Map<String,Map<List<ModelObject>,TruthValue>> interpretation;
10}