From f0f92fa2c4a6f61d5deea376f7f971e0c40238f5 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 24 Feb 2018 18:30:13 -0500 Subject: Documentation level for Alloy --- .../dlsreasoner/alloy/reasoner/AlloyAnalyzerConfiguration.xtend | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/AlloyAnalyzerConfiguration.xtend') 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 -- cgit v1.2.3-70-g09d2