diff options
author | 2019-03-05 13:37:02 -0500 | |
---|---|---|
committer | 2019-03-05 13:37:02 -0500 | |
commit | df12163128073296c4d811fa67b02e37ceb20179 (patch) | |
tree | 7509fdd478d6ff3d908d0ab5aa39ed9a8260f0b0 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.java | |
parent | Begin handing of scope and fix type definitions. (diff) | |
download | VIATRA-Generator-df12163128073296c4d811fa67b02e37ceb20179.tar.gz VIATRA-Generator-df12163128073296c4d811fa67b02e37ceb20179.tar.zst VIATRA-Generator-df12163128073296c4d811fa67b02e37ceb20179.zip |
Implement type scope handling
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.java index 561402a7..bce50fcc 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.java | |||
@@ -61,7 +61,7 @@ public class Logic2VampireLanguageMapper_RelationMapper { | |||
61 | VLSFunction _createVLSFunction = this.factory.createVLSFunction(); | 61 | VLSFunction _createVLSFunction = this.factory.createVLSFunction(); |
62 | final Procedure1<VLSFunction> _function_1 = (VLSFunction it) -> { | 62 | final Procedure1<VLSFunction> _function_1 = (VLSFunction it) -> { |
63 | TypeReference _range = variable.getRange(); | 63 | TypeReference _range = variable.getRange(); |
64 | it.setConstant(this.support.toIDMultiple("type", ((ComplexTypeReference) _range).getReferred().getName())); | 64 | it.setConstant(this.support.toIDMultiple("t", ((ComplexTypeReference) _range).getReferred().getName())); |
65 | EList<VLSTerm> _terms = it.getTerms(); | 65 | EList<VLSTerm> _terms = it.getTerms(); |
66 | VLSVariable _createVLSVariable_1 = this.factory.createVLSVariable(); | 66 | VLSVariable _createVLSVariable_1 = this.factory.createVLSVariable(); |
67 | final Procedure1<VLSVariable> _function_2 = (VLSVariable it_1) -> { | 67 | final Procedure1<VLSVariable> _function_2 = (VLSVariable it_1) -> { |
@@ -75,7 +75,7 @@ public class Logic2VampireLanguageMapper_RelationMapper { | |||
75 | VLSFunction _createVLSFunction_1 = this.factory.createVLSFunction(); | 75 | VLSFunction _createVLSFunction_1 = this.factory.createVLSFunction(); |
76 | final Procedure1<VLSFunction> _function_2 = (VLSFunction it) -> { | 76 | final Procedure1<VLSFunction> _function_2 = (VLSFunction it) -> { |
77 | TypeReference _range = variable.getRange(); | 77 | TypeReference _range = variable.getRange(); |
78 | it.setConstant(this.support.toIDMultiple("type", ((ComplexTypeReference) _range).getReferred().getName())); | 78 | it.setConstant(this.support.toIDMultiple("t", ((ComplexTypeReference) _range).getReferred().getName())); |
79 | EList<VLSTerm> _terms = it.getTerms(); | 79 | EList<VLSTerm> _terms = it.getTerms(); |
80 | VLSVariable _createVLSVariable_1 = this.factory.createVLSVariable(); | 80 | VLSVariable _createVLSVariable_1 = this.factory.createVLSVariable(); |
81 | final Procedure1<VLSVariable> _function_3 = (VLSVariable it_1) -> { | 81 | final Procedure1<VLSVariable> _function_3 = (VLSVariable it_1) -> { |
@@ -215,7 +215,7 @@ public class Logic2VampireLanguageMapper_RelationMapper { | |||
215 | VLSFunction _createVLSFunction = this.factory.createVLSFunction(); | 215 | VLSFunction _createVLSFunction = this.factory.createVLSFunction(); |
216 | final Procedure1<VLSFunction> _function_1 = (VLSFunction it) -> { | 216 | final Procedure1<VLSFunction> _function_1 = (VLSFunction it) -> { |
217 | TypeReference _get = r.getParameters().get((i).intValue()); | 217 | TypeReference _get = r.getParameters().get((i).intValue()); |
218 | it.setConstant(this.support.toIDMultiple("type", ((ComplexTypeReference) _get).getReferred().getName())); | 218 | it.setConstant(this.support.toIDMultiple("t", ((ComplexTypeReference) _get).getReferred().getName())); |
219 | EList<VLSTerm> _terms = it.getTerms(); | 219 | EList<VLSTerm> _terms = it.getTerms(); |
220 | VLSVariable _createVLSVariable_1 = this.factory.createVLSVariable(); | 220 | VLSVariable _createVLSVariable_1 = this.factory.createVLSVariable(); |
221 | final Procedure1<VLSVariable> _function_2 = (VLSVariable it_1) -> { | 221 | final Procedure1<VLSVariable> _function_2 = (VLSVariable it_1) -> { |