diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-09-11 15:34:03 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:42:37 -0400 |
commit | a6ac842242bb5be7334d358584fd0bfec6a89247 (patch) | |
tree | ba49373d4da432e6b485a94c91320bd50d7b6278 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java | |
parent | VAMPIRE: Implement wf constraint handling (diff) | |
download | VIATRA-Generator-a6ac842242bb5be7334d358584fd0bfec6a89247.tar.gz VIATRA-Generator-a6ac842242bb5be7334d358584fd0bfec6a89247.tar.zst VIATRA-Generator-a6ac842242bb5be7334d358584fd0bfec6a89247.zip |
VAMPIRE: fix model generation
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java index f8a65187..c8961c6e 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java | |||
@@ -283,7 +283,12 @@ public class Logic2VampireLanguageMapper { | |||
283 | } | 283 | } |
284 | 284 | ||
285 | protected VLSTerm _transformSymbolicReference(final DefinedElement referred, final List<Term> parameterSubstitutions, final Logic2VampireLanguageMapperTrace trace, final Map<Variable, VLSVariable> variables) { | 285 | protected VLSTerm _transformSymbolicReference(final DefinedElement referred, final List<Term> parameterSubstitutions, final Logic2VampireLanguageMapperTrace trace, final Map<Variable, VLSVariable> variables) { |
286 | return this.typeMapper.transformReference(referred, trace); | 286 | final String name = CollectionsUtil.<DefinedElement, String>lookup(referred, trace.definedElement2String); |
287 | VLSConstant _createVLSConstant = this.factory.createVLSConstant(); | ||
288 | final Procedure1<VLSConstant> _function = (VLSConstant it) -> { | ||
289 | it.setName(name); | ||
290 | }; | ||
291 | return ObjectExtensions.<VLSConstant>operator_doubleArrow(_createVLSConstant, _function); | ||
287 | } | 292 | } |
288 | 293 | ||
289 | protected VLSTerm _transformSymbolicReference(final ConstantDeclaration constant, final List<Term> parameterSubstitutions, final Logic2VampireLanguageMapperTrace trace, final Map<Variable, VLSVariable> variables) { | 294 | protected VLSTerm _transformSymbolicReference(final ConstantDeclaration constant, final List<Term> parameterSubstitutions, final Logic2VampireLanguageMapperTrace trace, final Map<Variable, VLSVariable> variables) { |