From f4a37cba3665a9cb38982b978d81fd4d269dedf7 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Wed, 6 Mar 2019 14:18:35 -0500 Subject: Restructure Vampire Reasoner project --- .../vampire/reasoner/builder/Logic2VampireLanguageMapper.java | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java') 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 dc2cd5ec..afe77bbe 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 @@ -89,11 +89,7 @@ public class Logic2VampireLanguageMapper { private final Logic2VampireLanguageMapper_ScopeMapper scopeMapper = new Logic2VampireLanguageMapper_ScopeMapper(this); @Accessors(AccessorType.PUBLIC_GETTER) - private final Logic2VampireLanguageMapper_TypeMapper typeMapper; - - public Logic2VampireLanguageMapper(final Logic2VampireLanguageMapper_TypeMapper typeMapper) { - this.typeMapper = typeMapper; - } + private final Logic2VampireLanguageMapper_TypeMapper typeMapper = new Logic2VampireLanguageMapper_TypeMapper(this); public TracedOutput transformProblem(final LogicProblem problem, final VampireSolverConfiguration config) { VLSComment _createVLSComment = this.factory.createVLSComment(); -- cgit v1.2.3-54-g00ecf