diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java index 855909aa..ddbe05d7 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java | |||
@@ -66,15 +66,12 @@ public class FAMTest { | |||
66 | VampireSolver _vampireSolver = new VampireSolver(); | 66 | VampireSolver _vampireSolver = new VampireSolver(); |
67 | reasoner = _vampireSolver; | 67 | reasoner = _vampireSolver; |
68 | final HashMap<Class, Integer> classMapMin = new HashMap<Class, Integer>(); | 68 | final HashMap<Class, Integer> classMapMin = new HashMap<Class, Integer>(); |
69 | classMapMin.put(FunctionalArchitectureModel.class, Integer.valueOf(1)); | ||
70 | classMapMin.put(Function.class, Integer.valueOf(1)); | ||
71 | classMapMin.put(functionalarchitecture.FunctionalInterface.class, Integer.valueOf(2)); | ||
72 | classMapMin.put(FunctionalOutput.class, Integer.valueOf(3)); | 69 | classMapMin.put(FunctionalOutput.class, Integer.valueOf(3)); |
73 | final Map<Type, Integer> typeMapMin = GeneralTest.getTypeMap(classMapMin, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); | 70 | final Map<Type, Integer> typeMapMin = GeneralTest.getTypeMap(classMapMin, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); |
74 | final HashMap<Class, Integer> classMapMax = new HashMap<Class, Integer>(); | 71 | final HashMap<Class, Integer> classMapMax = new HashMap<Class, Integer>(); |
75 | classMapMax.put(FunctionalArchitectureModel.class, Integer.valueOf(3)); | 72 | classMapMax.put(FunctionalArchitectureModel.class, Integer.valueOf(3)); |
76 | classMapMax.put(Function.class, Integer.valueOf(5)); | 73 | classMapMax.put(Function.class, Integer.valueOf(5)); |
77 | classMapMax.put(functionalarchitecture.FunctionalInterface.class, Integer.valueOf(2)); | 74 | classMapMax.put(functionalarchitecture.FunctionalInterface.class, Integer.valueOf(3)); |
78 | classMapMax.put(FunctionalOutput.class, Integer.valueOf(4)); | 75 | classMapMax.put(FunctionalOutput.class, Integer.valueOf(4)); |
79 | final Map<Type, Integer> typeMapMax = GeneralTest.getTypeMap(classMapMax, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); | 76 | final Map<Type, Integer> typeMapMax = GeneralTest.getTypeMap(classMapMax, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); |
80 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); | 77 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); |