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 | 3 |
1 files changed, 2 insertions, 1 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 cdf21174..992479da 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 | |||
@@ -8,9 +8,10 @@ class AlloySolverConfiguration extends LogicSolverConfiguration { | |||
8 | public def setIntScopeFor(int max) { | 8 | public def setIntScopeFor(int max) { |
9 | intScope = 31 - Integer.numberOfLeadingZeros(max) + 1 | 9 | intScope = 31 - Integer.numberOfLeadingZeros(max) + 1 |
10 | }*/ | 10 | }*/ |
11 | public var int symmetry = 0 // by default | 11 | public var int symmetry = 20 // by default |
12 | public var AlloyBackendSolver solver = AlloyBackendSolver.SAT4J | 12 | public var AlloyBackendSolver solver = AlloyBackendSolver.SAT4J |
13 | public var boolean writeToFile = false | 13 | public var boolean writeToFile = false |
14 | public var randomise = 0 | ||
14 | } | 15 | } |
15 | 16 | ||
16 | enum AlloyBackendSolver { | 17 | enum AlloyBackendSolver { |