1 files changed, 2 insertions, 7 deletions

diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloyAnalyzerConfiguration.xtend b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloyAnalyzerConfiguration.xtend
index 992479da..89328610 100644
--- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloyAnalyzerConfiguration.xtend
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloyAnalyzerConfiguration.xtend
@@ -3,14 +3,9 @@ package hu.bme.mit.inf.dlsreasoner.alloy.reasoner
 import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration

 

 class AlloySolverConfiguration extends LogicSolverConfiguration {

-        /*public var boolean createCommonSupertype

-        public var int intScope = 1 // 5 by default

-        public def setIntScopeFor(int max) {

-                intScope = 31 - Integer.numberOfLeadingZeros(max) + 1

-        }*/

         public var int symmetry = 20 // by default

         public var AlloyBackendSolver solver = AlloyBackendSolver.SAT4J

-        public var boolean writeToFile = false

+        public var TypeMappingTechnique typeMapping = TypeMappingTechnique.InheritanceAndHorizontal

         public var randomise = 0

 }

 

@@ -29,5 +24,5 @@ enum AlloyBackendSolver {
 }

 

 enum TypeMappingTechnique {

-        FilteredTypes

+        FilteredTypes, InheritanceAndHorizontal

 }
\ No newline at end of file