diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloyAnalyzerConfiguration.xtend')
-rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloyAnalyzerConfiguration.xtend | 9 |
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 | |||
3 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration | 3 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration |
4 | 4 | ||
5 | class AlloySolverConfiguration extends LogicSolverConfiguration { | 5 | class AlloySolverConfiguration extends LogicSolverConfiguration { |
6 | /*public var boolean createCommonSupertype | ||
7 | public var int intScope = 1 // 5 by default | ||
8 | public def setIntScopeFor(int max) { | ||
9 | intScope = 31 - Integer.numberOfLeadingZeros(max) + 1 | ||
10 | }*/ | ||
11 | public var int symmetry = 20 // by default | 6 | public var int symmetry = 20 // by default |
12 | public var AlloyBackendSolver solver = AlloyBackendSolver.SAT4J | 7 | public var AlloyBackendSolver solver = AlloyBackendSolver.SAT4J |
13 | public var boolean writeToFile = false | 8 | public var TypeMappingTechnique typeMapping = TypeMappingTechnique.InheritanceAndHorizontal |
14 | public var randomise = 0 | 9 | public var randomise = 0 |
15 | } | 10 | } |
16 | 11 | ||
@@ -29,5 +24,5 @@ enum AlloyBackendSolver { | |||
29 | } | 24 | } |
30 | 25 | ||
31 | enum TypeMappingTechnique { | 26 | enum TypeMappingTechnique { |
32 | FilteredTypes | 27 | FilteredTypes, InheritanceAndHorizontal |
33 | } \ No newline at end of file | 28 | } \ No newline at end of file |