diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.xtend')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.xtend | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.xtend index 2be6c093..13db3c99 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.xtend | |||
@@ -78,10 +78,7 @@ class Logic2VampireLanguageMapper { | |||
78 | if (!problem.types.isEmpty) { | 78 | if (!problem.types.isEmpty) { |
79 | typeMapper.transformTypes(problem.types, problem.elements, this, trace) | 79 | typeMapper.transformTypes(problem.types, problem.elements, this, trace) |
80 | } | 80 | } |
81 | 81 | ||
82 | // SCOPE MAPPER | ||
83 | scopeMapper.transformScope(config, trace) | ||
84 | |||
85 | // RELATION MAPPER | 82 | // RELATION MAPPER |
86 | trace.relationDefinitions = problem.collectRelationDefinitions | 83 | trace.relationDefinitions = problem.collectRelationDefinitions |
87 | problem.relations.forEach[this.relationMapper.transformRelation(it, trace)] | 84 | problem.relations.forEach[this.relationMapper.transformRelation(it, trace)] |
@@ -89,6 +86,9 @@ class Logic2VampireLanguageMapper { | |||
89 | // CONTAINMENT MAPPER | 86 | // CONTAINMENT MAPPER |
90 | containmentMapper.transformContainment(config,problem.containmentHierarchies, trace) | 87 | containmentMapper.transformContainment(config,problem.containmentHierarchies, trace) |
91 | 88 | ||
89 | // SCOPE MAPPER | ||
90 | scopeMapper.transformScope(problem.types, config, trace) | ||
91 | |||
92 | // CONSTANT MAPPER | 92 | // CONSTANT MAPPER |
93 | // only transforms definitions | 93 | // only transforms definitions |
94 | trace.constantDefinitions = problem.collectConstantDefinitions | 94 | trace.constantDefinitions = problem.collectConstantDefinitions |