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 @@
+package org.eclipse.viatra.solver.data;
+
+import java.util.List;
+import java.util.Map;
+import java.util.Set;
+
+public class Model {
+        Set<ModelObject> objects;
+        Map<String,Map<List<ModelObject>,TruthValue>> interpretation;
+}