From 56df1f808fa2289c3e97d45d84bce8acc8937280 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Thu, 14 Mar 2019 03:45:46 -0400
Subject: Implement Containment mapping (partially) and revisit enum mapping

---
 .../ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java          | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java')

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java
index 7d3be50d..13a0e74a 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java
@@ -85,13 +85,13 @@ public class GeneralTest {
         final Map<String, EClass> list2MapMax = IterableExtensions.<String, EClass>toMap(metamodel.getClasses(), _function_1);
         typeMapMin.put(
           ecore2Logic.TypeofEClass(modelGenerationProblem.getTrace(), 
-            list2MapMin.get(Function.class.getSimpleName())), Integer.valueOf(3));
+            list2MapMin.get(Function.class.getSimpleName())), Integer.valueOf(1));
         typeMapMin.put(
           ecore2Logic.TypeofEClass(modelGenerationProblem.getTrace(), 
             list2MapMin.get(functionalarchitecture.FunctionalInterface.class.getSimpleName())), Integer.valueOf(2));
         typeMapMin.put(
           ecore2Logic.TypeofEClass(modelGenerationProblem.getTrace(), 
-            list2MapMin.get(FunctionalOutput.class.getSimpleName())), Integer.valueOf(1));
+            list2MapMin.get(FunctionalOutput.class.getSimpleName())), Integer.valueOf(3));
         typeMapMax.put(
           ecore2Logic.TypeofEClass(
             modelGenerationProblem.getTrace(), 
-- 
cgit v1.2.3-54-g00ecf