diff options
author | 2021-07-29 19:01:25 +0200 | |
---|---|---|
committer | 2021-07-29 19:01:25 +0200 | |
commit | 7f6a2528bf83f93e3d35eff228f7180e0181f4eb (patch) | |
tree | 068dc3454cc9f968162e5ae03cc8733f9011de72 /model-data/src/main/java/org/eclipse/viatra/solver/data/Model.java | |
parent | Refactoring based on Sonar reports (diff) | |
download | refinery-7f6a2528bf83f93e3d35eff228f7180e0181f4eb.tar.gz refinery-7f6a2528bf83f93e3d35eff228f7180e0181f4eb.tar.zst refinery-7f6a2528bf83f93e3d35eff228f7180e0181f4eb.zip |
Add new data structure for backend
Co-authored-by: Oszkár Semeráth <semerath@mit.bme.hu>
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.java | 10 |
1 files changed, 10 insertions, 0 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 new file mode 100644 index 00000000..6f5c58ce --- /dev/null +++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/Model.java | |||
@@ -0,0 +1,10 @@ | |||
1 | package org.eclipse.viatra.solver.data; | ||
2 | |||
3 | import java.util.List; | ||
4 | import java.util.Map; | ||
5 | import java.util.Set; | ||
6 | |||
7 | public class Model { | ||
8 | Set<ModelObject> objects; | ||
9 | Map<String,Map<List<ModelObject>,TruthValue>> interpretation; | ||
10 | } | ||