diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.java | 18 |
1 files changed, 6 insertions, 12 deletions
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 c8888eb0..72fea6d3 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 | |||
@@ -5,7 +5,6 @@ import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguage | |||
5 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper_Support; | 5 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper_Support; |
6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd; | 6 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd; |
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant; | 7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant; |
8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote; | ||
9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality; | 8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality; |
10 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent; | 9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent; |
11 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; | 10 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; |
@@ -177,9 +176,7 @@ public class Logic2VampireLanguageMapper_TypeMapper { | |||
177 | it.setFunctor(("eo" + Integer.valueOf(num))); | 176 | it.setFunctor(("eo" + Integer.valueOf(num))); |
178 | }; | 177 | }; |
179 | final VLSFunctionAsTerm cstTerm = ObjectExtensions.<VLSFunctionAsTerm>operator_doubleArrow(_createVLSFunctionAsTerm, _function_3); | 178 | final VLSFunctionAsTerm cstTerm = ObjectExtensions.<VLSFunctionAsTerm>operator_doubleArrow(_createVLSFunctionAsTerm, _function_3); |
180 | if (isNotEnum) { | 179 | trace.definedElement2String.put(type_1.getElements().get(index), cstTerm.getFunctor()); |
181 | trace.definedElement2String.put(type_1.getElements().get(index), cstTerm.getFunctor()); | ||
182 | } | ||
183 | final VLSConstant cst = this.support.toConstant(cstTerm); | 180 | final VLSConstant cst = this.support.toConstant(cstTerm); |
184 | trace.uniqueInstances.add(cst); | 181 | trace.uniqueInstances.add(cst); |
185 | VLSFofFormula _createVLSFofFormula_1 = this.factory.createVLSFofFormula(); | 182 | VLSFofFormula _createVLSFofFormula_1 = this.factory.createVLSFofFormula(); |
@@ -328,15 +325,12 @@ public class Logic2VampireLanguageMapper_TypeMapper { | |||
328 | throw new UnsupportedOperationException("TODO: auto-generated method stub"); | 325 | throw new UnsupportedOperationException("TODO: auto-generated method stub"); |
329 | } | 326 | } |
330 | 327 | ||
331 | protected VLSDoubleQuote transformReference(final DefinedElement referred, final Logic2VampireLanguageMapperTrace trace) { | 328 | protected VLSConstant transformReference(final DefinedElement referred, final Logic2VampireLanguageMapperTrace trace) { |
332 | VLSDoubleQuote _createVLSDoubleQuote = this.factory.createVLSDoubleQuote(); | 329 | VLSConstant _createVLSConstant = this.factory.createVLSConstant(); |
333 | final Procedure1<VLSDoubleQuote> _function = (VLSDoubleQuote it) -> { | 330 | final Procedure1<VLSConstant> _function = (VLSConstant it) -> { |
334 | String _name = referred.getName(); | 331 | it.setName(referred.getName()); |
335 | String _plus = ("\"a" + _name); | ||
336 | String _plus_1 = (_plus + "\""); | ||
337 | it.setValue(_plus_1); | ||
338 | }; | 332 | }; |
339 | return ObjectExtensions.<VLSDoubleQuote>operator_doubleArrow(_createVLSDoubleQuote, _function); | 333 | return ObjectExtensions.<VLSConstant>operator_doubleArrow(_createVLSConstant, _function); |
340 | } | 334 | } |
341 | 335 | ||
342 | protected void getTypeInterpreter() { | 336 | protected void getTypeInterpreter() { |