Merge branch 'master' of github.com:viatra/VIATRA-Generator

1 files changed, 4 insertions, 3 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend
index a549df00..fd50ad51 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend
@@ -28,6 +28,7 @@ import java.util.Optional
 import org.eclipse.viatra.query.patternlanguage.emf.vql.PatternModel

 import org.eclipse.xtext.EcoreUtil2

 import org.eclipse.xtext.xbase.lib.Functions.Function1

+import hu.bme.mit.inf.dlsreasoner.alloy.reasoner.AlloyBackendSolver

 

 class SolverLoader {

         def loadSolver(Solver solver, Map<String, String> config) {

@@ -73,9 +74,9 @@ class SolverLoader {
                                 if (!objectiveEntries.empty) {

                                         throw new IllegalArgumentException("Objectives are not supported by Alloy.")

                                 }

-                                val c = new SmtSolverConfiguration

-                                config.getAsBoolean("fixRandomSeed", console).ifPresent[c.fixRandomSeed = it]

-                                config.getAsType("path", console, [it], String).ifPresent[c.solverPath = it]

+                                val c = new AlloySolverConfiguration

+                                config.getAsInteger("symmetry", console).ifPresent[c.symmetry = it]

+                                config.getAsType("solver",console,[x|AlloyBackendSolver::valueOf(x)],AlloyBackendSolver).ifPresent[c.solver = it]

                                 c

                         }

                         case SMT_SOLVER: {