From 1cdcfeeda9f2d35655ffec9fca9f64f92101ce53 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Wed, 6 Mar 2019 17:46:15 -0500
Subject: Fix Enum handling for Paradox Integration

---
 .../builder/Logic2VampireLanguageMapper_TypeMapper.java     | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

(limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.java')

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.java
index f776371b..c101aa4c 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.java
@@ -111,7 +111,7 @@ public class Logic2VampireLanguageMapper_TypeMapper {
           final VLSFofFormula res = ObjectExtensions.<VLSFofFormula>operator_doubleArrow(_createVLSFofFormula, _function_1);
           EList<VLSFofFormula> _formulas = trace.specification.getFormulas();
           _formulas.add(res);
-          final List<VLSFunction> enumScopeElems = CollectionLiterals.<VLSFunction>newArrayList();
+          final List<VLSTerm> enumScopeElems = CollectionLiterals.<VLSTerm>newArrayList();
           for (int i = 0; (i < ((Object[])Conversions.unwrapArray(type_1.getElements(), Object.class)).length); i++) {
             {
               final int num = (i + 1);
@@ -124,6 +124,17 @@ public class Logic2VampireLanguageMapper_TypeMapper {
               trace.uniqueInstances.add(cst);
               final VLSFunction fct = this.support.duplicate(CollectionsUtil.<DefinedElement, VLSFunction>lookup(type_1.getElements().get(i), trace.element2Predicate), cstTerm);
               enumScopeElems.add(fct);
+              for (int j = 0; (j < ((Object[])Conversions.unwrapArray(type_1.getElements(), Object.class)).length); j++) {
+                if ((j != i)) {
+                  final VLSFunction op = this.support.duplicate(CollectionsUtil.<DefinedElement, VLSFunction>lookup(type_1.getElements().get(j), trace.element2Predicate), cstTerm);
+                  VLSUnaryNegation _createVLSUnaryNegation = this.factory.createVLSUnaryNegation();
+                  final Procedure1<VLSUnaryNegation> _function_3 = (VLSUnaryNegation it) -> {
+                    it.setOperand(op);
+                  };
+                  final VLSUnaryNegation negFct = ObjectExtensions.<VLSUnaryNegation>operator_doubleArrow(_createVLSUnaryNegation, _function_3);
+                  enumScopeElems.add(negFct);
+                }
+              }
             }
           }
           VLSFofFormula _createVLSFofFormula_1 = this.factory.createVLSFofFormula();
-- 
cgit v1.2.3-70-g09d2