diff options
author | 2019-04-24 19:54:57 -0400 | |
---|---|---|
committer | 2019-04-24 19:54:57 -0400 | |
commit | 8af821e133a51179c1692cd48fb03cad80124e54 (patch) | |
tree | 18b0c29469d3bb9843baf61bb372bdaeb9f88f21 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java | |
parent | VAMPIRE: add to #40. I am tired (diff) | |
download | VIATRA-Generator-8af821e133a51179c1692cd48fb03cad80124e54.tar.gz VIATRA-Generator-8af821e133a51179c1692cd48fb03cad80124e54.tar.zst VIATRA-Generator-8af821e133a51179c1692cd48fb03cad80124e54.zip |
VAMPIRE : initial model handling almost done. only typeScope remains #40
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 | 2 |
1 files changed, 1 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 f04bd7dc..65f58281 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 | |||
@@ -117,13 +117,13 @@ public class Logic2VampireLanguageMapper { | |||
117 | if (_not) { | 117 | if (_not) { |
118 | this.typeMapper.transformTypes(problem.getTypes(), problem.getElements(), this, trace); | 118 | this.typeMapper.transformTypes(problem.getTypes(), problem.getElements(), this, trace); |
119 | } | 119 | } |
120 | this.scopeMapper.transformScope(config, trace); | ||
121 | trace.relationDefinitions = this.collectRelationDefinitions(problem); | 120 | trace.relationDefinitions = this.collectRelationDefinitions(problem); |
122 | final Consumer<Relation> _function_3 = (Relation it) -> { | 121 | final Consumer<Relation> _function_3 = (Relation it) -> { |
123 | this.relationMapper.transformRelation(it, trace); | 122 | this.relationMapper.transformRelation(it, trace); |
124 | }; | 123 | }; |
125 | problem.getRelations().forEach(_function_3); | 124 | problem.getRelations().forEach(_function_3); |
126 | this.containmentMapper.transformContainment(config, problem.getContainmentHierarchies(), trace); | 125 | this.containmentMapper.transformContainment(config, problem.getContainmentHierarchies(), trace); |
126 | this.scopeMapper.transformScope(problem.getTypes(), config, trace); | ||
127 | trace.constantDefinitions = this.collectConstantDefinitions(problem); | 127 | trace.constantDefinitions = this.collectConstantDefinitions(problem); |
128 | final Consumer<ConstantDefinition> _function_4 = (ConstantDefinition it) -> { | 128 | final Consumer<ConstantDefinition> _function_4 = (ConstantDefinition it) -> { |
129 | this.constantMapper.transformConstantDefinitionSpecification(it, trace); | 129 | this.constantMapper.transformConstantDefinitionSpecification(it, trace); |