1 files changed, 0 insertions, 34 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ConstantMapper.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ConstantMapper.java
deleted file mode 100644
index e5f42e73..00000000
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ConstantMapper.java
+++ /dev/null
@@ -1,34 +0,0 @@
-package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder;

-

-import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper;

-import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapperTrace;

-import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper_Support;

-import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory;

-import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition;

-import org.eclipse.xtext.xbase.lib.Extension;

-

-@SuppressWarnings("all")

-public class Logic2VampireLanguageMapper_ConstantMapper {

-  @Extension

-  private final VampireLanguageFactory factory = VampireLanguageFactory.eINSTANCE;

-  

-  private final Logic2VampireLanguageMapper_Support support = new Logic2VampireLanguageMapper_Support();

-  

-  private final Logic2VampireLanguageMapper base;

-  

-  public Logic2VampireLanguageMapper_ConstantMapper(final Logic2VampireLanguageMapper base) {

-    this.base = base;

-  }

-  

-  protected Object _transformConstant(final ConstantDefinition constant, final Logic2VampireLanguageMapperTrace trace) {

-    return null;

-  }

-  

-  protected Object transformConstantDefinitionSpecification(final ConstantDefinition constant, final Logic2VampireLanguageMapperTrace trace) {

-    return null;

-  }

-  

-  protected Object transformConstant(final ConstantDefinition constant, final Logic2VampireLanguageMapperTrace trace) {

-    return _transformConstant(constant, trace);

-  }

-}