1 files changed, 0 insertions, 18 deletions

diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper.xtend b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper.xtend
deleted file mode 100644
index c998de1f..00000000
--- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_TypeMapper.xtend
+++ /dev/null
@@ -1,18 +0,0 @@
-package hu.bme.mit.inf.dlsreasoner.alloy.reasoner.builder
-
-import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration
-import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSTerm
-import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement
-import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type
-import java.util.Collection
-import java.util.List
-
-interface Logic2AlloyLanguageMapper_TypeMapper {
-        def void transformTypes(Collection<Type> types, Collection<DefinedElement> elements, Logic2AlloyLanguageMapper mapper, Logic2AlloyLanguageMapperTrace trace);
-        def List<ALSSignatureDeclaration> transformTypeReference(Type referred, Logic2AlloyLanguageMapper mapper, Logic2AlloyLanguageMapperTrace trace)
-        def ALSSignatureDeclaration getUndefinedSupertype(Logic2AlloyLanguageMapperTrace trace)
-        def int getUndefinedSupertypeScope(int undefinedScope,Logic2AlloyLanguageMapperTrace trace)
-        def ALSTerm transformReference(DefinedElement referred,Logic2AlloyLanguageMapperTrace trace)
-        
-        def AlloyModelInterpretation_TypeInterpretation getTypeInterpreter()
-}