diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-09-02 03:47:21 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:41:44 -0400 |
commit | 35ac37963fc3e3f3fb142aaf1fdffd26e05e473a (patch) | |
tree | 5e2449306e2fd7169b05ac72fe78e167934d7f8c /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.java | |
parent | VAMPIRE: setup structure of model interpretation (diff) | |
download | VIATRA-Generator-35ac37963fc3e3f3fb142aaf1fdffd26e05e473a.tar.gz VIATRA-Generator-35ac37963fc3e3f3fb142aaf1fdffd26e05e473a.tar.zst VIATRA-Generator-35ac37963fc3e3f3fb142aaf1fdffd26e05e473a.zip |
VAMPIRE: implement Vampire Model Interpreter, 2/3 done
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 | 11 |
1 files changed, 6 insertions, 5 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 7921f204..c8888eb0 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 | |||
@@ -12,10 +12,10 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; | |||
12 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; | 12 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; |
13 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm; | 13 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm; |
14 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; | 14 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; |
15 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffTerm; | ||
15 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation; | 16 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation; |
16 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; | 17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; |
17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; | 18 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; |
18 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration; | ||
19 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory; | 19 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory; |
20 | import com.google.common.base.Objects; | 20 | import com.google.common.base.Objects; |
21 | import com.google.common.collect.Iterables; | 21 | import com.google.common.collect.Iterables; |
@@ -76,6 +76,7 @@ public class Logic2VampireLanguageMapper_TypeMapper { | |||
76 | }; | 76 | }; |
77 | final VLSFunction typePred = ObjectExtensions.<VLSFunction>operator_doubleArrow(_createVLSFunction, _function_1); | 77 | final VLSFunction typePred = ObjectExtensions.<VLSFunction>operator_doubleArrow(_createVLSFunction, _function_1); |
78 | trace.type2Predicate.put(type, typePred); | 78 | trace.type2Predicate.put(type, typePred); |
79 | trace.predicate2Type.put(typePred, type); | ||
79 | } | 80 | } |
80 | } | 81 | } |
81 | final Function1<TypeDefinition, Boolean> _function_1 = (TypeDefinition it) -> { | 82 | final Function1<TypeDefinition, Boolean> _function_1 = (TypeDefinition it) -> { |
@@ -144,7 +145,7 @@ public class Logic2VampireLanguageMapper_TypeMapper { | |||
144 | it.setFofRole("axiom"); | 145 | it.setFofRole("axiom"); |
145 | VLSUniversalQuantifier _createVLSUniversalQuantifier = this.factory.createVLSUniversalQuantifier(); | 146 | VLSUniversalQuantifier _createVLSUniversalQuantifier = this.factory.createVLSUniversalQuantifier(); |
146 | final Procedure1<VLSUniversalQuantifier> _function_3 = (VLSUniversalQuantifier it_1) -> { | 147 | final Procedure1<VLSUniversalQuantifier> _function_3 = (VLSUniversalQuantifier it_1) -> { |
147 | EList<VLSVariableDeclaration> _variables = it_1.getVariables(); | 148 | EList<VLSTffTerm> _variables = it_1.getVariables(); |
148 | VLSVariable _duplicate = this.support.duplicate(variable); | 149 | VLSVariable _duplicate = this.support.duplicate(variable); |
149 | _variables.add(_duplicate); | 150 | _variables.add(_duplicate); |
150 | VLSEquivalent _createVLSEquivalent = this.factory.createVLSEquivalent(); | 151 | VLSEquivalent _createVLSEquivalent = this.factory.createVLSEquivalent(); |
@@ -194,7 +195,7 @@ public class Logic2VampireLanguageMapper_TypeMapper { | |||
194 | it.setFofRole("axiom"); | 195 | it.setFofRole("axiom"); |
195 | VLSUniversalQuantifier _createVLSUniversalQuantifier = this.factory.createVLSUniversalQuantifier(); | 196 | VLSUniversalQuantifier _createVLSUniversalQuantifier = this.factory.createVLSUniversalQuantifier(); |
196 | final Procedure1<VLSUniversalQuantifier> _function_5 = (VLSUniversalQuantifier it_1) -> { | 197 | final Procedure1<VLSUniversalQuantifier> _function_5 = (VLSUniversalQuantifier it_1) -> { |
197 | EList<VLSVariableDeclaration> _variables = it_1.getVariables(); | 198 | EList<VLSTffTerm> _variables = it_1.getVariables(); |
198 | VLSVariable _duplicate = this.support.duplicate(variable); | 199 | VLSVariable _duplicate = this.support.duplicate(variable); |
199 | _variables.add(_duplicate); | 200 | _variables.add(_duplicate); |
200 | VLSEquivalent _createVLSEquivalent = this.factory.createVLSEquivalent(); | 201 | VLSEquivalent _createVLSEquivalent = this.factory.createVLSEquivalent(); |
@@ -264,7 +265,7 @@ public class Logic2VampireLanguageMapper_TypeMapper { | |||
264 | it.setFofRole("axiom"); | 265 | it.setFofRole("axiom"); |
265 | VLSUniversalQuantifier _createVLSUniversalQuantifier = this.factory.createVLSUniversalQuantifier(); | 266 | VLSUniversalQuantifier _createVLSUniversalQuantifier = this.factory.createVLSUniversalQuantifier(); |
266 | final Procedure1<VLSUniversalQuantifier> _function_5 = (VLSUniversalQuantifier it_1) -> { | 267 | final Procedure1<VLSUniversalQuantifier> _function_5 = (VLSUniversalQuantifier it_1) -> { |
267 | EList<VLSVariableDeclaration> _variables = it_1.getVariables(); | 268 | EList<VLSTffTerm> _variables = it_1.getVariables(); |
268 | VLSVariable _duplicate = this.support.duplicate(variable); | 269 | VLSVariable _duplicate = this.support.duplicate(variable); |
269 | _variables.add(_duplicate); | 270 | _variables.add(_duplicate); |
270 | VLSEquivalent _createVLSEquivalent = this.factory.createVLSEquivalent(); | 271 | VLSEquivalent _createVLSEquivalent = this.factory.createVLSEquivalent(); |
@@ -292,7 +293,7 @@ public class Logic2VampireLanguageMapper_TypeMapper { | |||
292 | it.setFofRole("axiom"); | 293 | it.setFofRole("axiom"); |
293 | VLSUniversalQuantifier _createVLSUniversalQuantifier = this.factory.createVLSUniversalQuantifier(); | 294 | VLSUniversalQuantifier _createVLSUniversalQuantifier = this.factory.createVLSUniversalQuantifier(); |
294 | final Procedure1<VLSUniversalQuantifier> _function_6 = (VLSUniversalQuantifier it_1) -> { | 295 | final Procedure1<VLSUniversalQuantifier> _function_6 = (VLSUniversalQuantifier it_1) -> { |
295 | EList<VLSVariableDeclaration> _variables = it_1.getVariables(); | 296 | EList<VLSTffTerm> _variables = it_1.getVariables(); |
296 | VLSVariable _duplicate = this.support.duplicate(variable); | 297 | VLSVariable _duplicate = this.support.duplicate(variable); |
297 | _variables.add(_duplicate); | 298 | _variables.add(_duplicate); |
298 | VLSEquivalent _createVLSEquivalent = this.factory.createVLSEquivalent(); | 299 | VLSEquivalent _createVLSEquivalent = this.factory.createVLSEquivalent(); |