diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.xtend')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.xtend | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.xtend index d2a01e0e..38c99a89 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.xtend | |||
@@ -138,9 +138,9 @@ class Logic2VampireLanguageMapper_TypeMapper { | |||
138 | val cstTerm = createVLSFunctionAsTerm => [ | 138 | val cstTerm = createVLSFunctionAsTerm => [ |
139 | it.functor = "eo" + num | 139 | it.functor = "eo" + num |
140 | ] | 140 | ] |
141 | if (isNotEnum) { | 141 | // if (isNotEnum) { |
142 | trace.definedElement2String.put(type.elements.get(index),cstTerm.functor) | 142 | trace.definedElement2String.put(type.elements.get(index),cstTerm.functor) |
143 | } | 143 | // } |
144 | 144 | ||
145 | val cst = support.toConstant(cstTerm) | 145 | val cst = support.toConstant(cstTerm) |
146 | trace.uniqueInstances.add(cst) | 146 | trace.uniqueInstances.add(cst) |
@@ -249,8 +249,13 @@ class Logic2VampireLanguageMapper_TypeMapper { | |||
249 | } | 249 | } |
250 | 250 | ||
251 | def protected transformReference(DefinedElement referred, Logic2VampireLanguageMapperTrace trace) { | 251 | def protected transformReference(DefinedElement referred, Logic2VampireLanguageMapperTrace trace) { |
252 | createVLSDoubleQuote => [ | 252 | |
253 | it.value = "\"a" + referred.name + "\"" | 253 | // createVLSDoubleQuote => [ |
254 | // it.value = "\"a" + referred.name + "\"" | ||
255 | // ] | ||
256 | |||
257 | createVLSConstant => [ | ||
258 | it.name = referred.name | ||
254 | ] | 259 | ] |
255 | } | 260 | } |
256 | 261 | ||