1 files changed, 0 insertions, 56 deletions

diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapperTrace.xtend b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapperTrace.xtend
deleted file mode 100644
index 6aadb285..00000000
--- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapperTrace.xtend
+++ /dev/null
@@ -1,56 +0,0 @@
-package hu.bme.mit.inf.dlsreasoner.alloy.reasoner.builder
-
-import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSDocument
-import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEnumDeclaration
-import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSEnumLiteral
-import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFieldDeclaration
-import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSFunctionDefinition
-import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSRelationDefinition
-import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureBody
-import hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSSignatureDeclaration
-import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDeclaration
-import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition
-import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDeclaration
-import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.FunctionDefinition
-import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration
-import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition
-import java.util.HashMap
-import java.util.Map
-import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine
-import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation
-
-interface Logic2AlloyLanguageMapper_TypeMapperTrace {}
-
-class Logic2AlloyLanguageMapperTrace {
-        public var ViatraQueryEngine incqueryEngine;
-        
-        public var ALSDocument specification;
-        public var ALSSignatureDeclaration logicLanguage;
-        public var ALSSignatureBody logicLanguageBody;
-        public var ALSEnumDeclaration boolType;
-        public var ALSEnumLiteral boolTrue;
-        public var ALSEnumLiteral boolFalse;
-        
-        public var Logic2AlloyLanguageMapper_TypeMapperTrace typeMapperTrace 
-        
-        public val Map<ConstantDeclaration, ALSFieldDeclaration> constantDeclaration2LanguageField = new HashMap
-        public val Map<ConstantDefinition, ALSFunctionDefinition> constantDefinition2Function = new HashMap
-        
-        public val Map<FunctionDeclaration,ALSFieldDeclaration> functionDeclaration2HostedField = new HashMap
-        public val Map<FunctionDeclaration,ALSFieldDeclaration> functionDeclaration2LanguageField = new HashMap
-        public val Map<FunctionDefinition,ALSFunctionDefinition> functionDefinition2Function = new HashMap
-        
-        public val Map<RelationDeclaration, ALSFieldDeclaration> relationDeclaration2Global = new HashMap
-        public val Map<RelationDeclaration, ALSFieldDeclaration> relationDeclaration2Field = new HashMap
-        public val Map<RelationDefinition,ALSRelationDefinition> relationDefinition2Predicate = new HashMap
-        
-        public val Map<RelationDeclaration, ALSFieldDeclaration> transitiveClosureTarget2Global = new HashMap
-        public val Map<RelationDeclaration, ALSFieldDeclaration> transitiveClosureTarget2Field = new HashMap
-        
-        public var Map<ConstantDeclaration, ConstantDefinition> constantDefinitions
-        public var Map<FunctionDeclaration, FunctionDefinition> functionDefinitions
-        public var Map<RelationDeclaration, RelationDefinition> relationDefinitions
-        
-        public var Map<Relation, ALSFieldDeclaration> relationInTransitiveToGlobalField = new HashMap
-        public var Map<Relation, ALSFieldDeclaration> relationInTransitiveToHosterField = new HashMap
-}
\ No newline at end of file