diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-04 17:31:16 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-04 17:31:16 -0500 |
commit | 2c05097ccbeeadd70b20f5001ebeb22ffdc465de (patch) | |
tree | 88662460674d49bff71d051d3a59a0929f1cfa5f /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java | |
parent | complete vsconfig files #19 (diff) | |
download | VIATRA-Generator-2c05097ccbeeadd70b20f5001ebeb22ffdc465de.tar.gz VIATRA-Generator-2c05097ccbeeadd70b20f5001ebeb22ffdc465de.tar.zst VIATRA-Generator-2c05097ccbeeadd70b20f5001ebeb22ffdc465de.zip |
Begin handing of scope and fix type definitions.
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 | 26 |
1 files changed, 18 insertions, 8 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 a1d80e58..89c9637e 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 | |||
@@ -4,6 +4,7 @@ import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration; | |||
4 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapperTrace; | 4 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapperTrace; |
5 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper_ConstantMapper; | 5 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper_ConstantMapper; |
6 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper_RelationMapper; | 6 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper_RelationMapper; |
7 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper_ScopeMapper; | ||
7 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper_Support; | 8 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper_Support; |
8 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper_TypeMapper; | 9 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper_TypeMapper; |
9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment; | 10 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment; |
@@ -84,6 +85,9 @@ public class Logic2VampireLanguageMapper { | |||
84 | private final Logic2VampireLanguageMapper_RelationMapper relationMapper = new Logic2VampireLanguageMapper_RelationMapper(this); | 85 | private final Logic2VampireLanguageMapper_RelationMapper relationMapper = new Logic2VampireLanguageMapper_RelationMapper(this); |
85 | 86 | ||
86 | @Accessors(AccessorType.PUBLIC_GETTER) | 87 | @Accessors(AccessorType.PUBLIC_GETTER) |
88 | private final Logic2VampireLanguageMapper_ScopeMapper scopeMapper = new Logic2VampireLanguageMapper_ScopeMapper(this); | ||
89 | |||
90 | @Accessors(AccessorType.PUBLIC_GETTER) | ||
87 | private final Logic2VampireLanguageMapper_TypeMapper typeMapper; | 91 | private final Logic2VampireLanguageMapper_TypeMapper typeMapper; |
88 | 92 | ||
89 | public Logic2VampireLanguageMapper(final Logic2VampireLanguageMapper_TypeMapper typeMapper) { | 93 | public Logic2VampireLanguageMapper(final Logic2VampireLanguageMapper_TypeMapper typeMapper) { |
@@ -112,6 +116,7 @@ public class Logic2VampireLanguageMapper { | |||
112 | if (_not) { | 116 | if (_not) { |
113 | this.typeMapper.transformTypes(problem.getTypes(), problem.getElements(), this, trace); | 117 | this.typeMapper.transformTypes(problem.getTypes(), problem.getElements(), this, trace); |
114 | } | 118 | } |
119 | this.scopeMapper.transformScope(config, trace); | ||
115 | trace.constantDefinitions = this.collectConstantDefinitions(problem); | 120 | trace.constantDefinitions = this.collectConstantDefinitions(problem); |
116 | trace.relationDefinitions = this.collectRelationDefinitions(problem); | 121 | trace.relationDefinitions = this.collectRelationDefinitions(problem); |
117 | final Consumer<Relation> _function_3 = (Relation it) -> { | 122 | final Consumer<Relation> _function_3 = (Relation it) -> { |
@@ -316,13 +321,13 @@ public class Logic2VampireLanguageMapper { | |||
316 | 321 | ||
317 | /** | 322 | /** |
318 | * def dispatch protected VLSTerm transformSymbolicReference(Relation relation, | 323 | * def dispatch protected VLSTerm transformSymbolicReference(Relation relation, |
319 | * List<Term> parameterSubstitutions, Logic2VampireLanguageMapperTrace trace, | 324 | * List<Term> parameterSubstitutions, Logic2VampireLanguageMapperTrace trace, |
320 | * Map<Variable, VLSVariable> variables) { | 325 | * Map<Variable, VLSVariable> variables) { |
321 | * if (trace.relationDefinitions.containsKey(relation)) { | 326 | * if (trace.relationDefinitions.containsKey(relation)) { |
322 | * this.transformSymbolicReference(relation.lookup(trace.relationDefinitions), | 327 | * this.transformSymbolicReference(relation.lookup(trace.relationDefinitions), |
323 | * parameterSubstitutions, trace, variables) | 328 | * parameterSubstitutions, trace, variables) |
324 | * } | 329 | * } |
325 | * else { | 330 | * else { |
326 | * // if (relationMapper.transformToHostedField(relation, trace)) { | 331 | * // if (relationMapper.transformToHostedField(relation, trace)) { |
327 | * // val VLSRelation = relation.lookup(trace.relationDeclaration2Field) | 332 | * // val VLSRelation = relation.lookup(trace.relationDeclaration2Field) |
328 | * // // R(a,b) => | 333 | * // // R(a,b) => |
@@ -348,7 +353,7 @@ public class Logic2VampireLanguageMapper { | |||
348 | * // rightOperand = target | 353 | * // rightOperand = target |
349 | * // ] | 354 | * // ] |
350 | * // } | 355 | * // } |
351 | * } | 356 | * } |
352 | * } | 357 | * } |
353 | */ | 358 | */ |
354 | protected VLSTerm _transformSymbolicReference(final Relation relation, final List<Term> parameterSubstitutions, final Logic2VampireLanguageMapperTrace trace, final Map<Variable, VLSVariable> variables) { | 359 | protected VLSTerm _transformSymbolicReference(final Relation relation, final List<Term> parameterSubstitutions, final Logic2VampireLanguageMapperTrace trace, final Map<Variable, VLSVariable> variables) { |
@@ -436,6 +441,11 @@ public class Logic2VampireLanguageMapper { | |||
436 | } | 441 | } |
437 | 442 | ||
438 | @Pure | 443 | @Pure |
444 | public Logic2VampireLanguageMapper_ScopeMapper getScopeMapper() { | ||
445 | return this.scopeMapper; | ||
446 | } | ||
447 | |||
448 | @Pure | ||
439 | public Logic2VampireLanguageMapper_TypeMapper getTypeMapper() { | 449 | public Logic2VampireLanguageMapper_TypeMapper getTypeMapper() { |
440 | return this.typeMapper; | 450 | return this.typeMapper; |
441 | } | 451 | } |