From 92f94b063ec9a65d04178788f3858c750fbf16e7 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Thu, 15 Feb 2018 23:03:20 +0100 Subject: Generation specification -> execution --- .../application/execution/SolverLoader.xtend | 28 ++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend') 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 new file mode 100644 index 00000000..dcd89981 --- /dev/null +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend @@ -0,0 +1,28 @@ +package hu.bme.mit.inf.dslreasoner.application.execution + +import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver +import java.util.Map +import hu.bme.mit.inf.dlsreasoner.alloy.reasoner.AlloySolver +import hu.bme.mit.inf.dslreasoner.smt.reasoner.SMTSolver +import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasoner +import hu.bme.mit.inf.dlsreasoner.alloy.reasoner.AlloySolverConfiguration +import hu.bme.mit.inf.dslreasoner.smt.reasoner.SmtSolverConfiguration +import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasonerConfiguration + +class SolverLoader { + def loadSolver(Solver solver, Map config) { + switch(solver) { + case ALLOY_SOLVER: return new AlloySolver + case SMT_SOLVER: return new SMTSolver + case VIATRA_SOLVER: return new ViatraReasoner + } + } + + def loadSolverConfig(Solver solver, Map config) { + switch(solver) { + case ALLOY_SOLVER: return new AlloySolverConfiguration + case SMT_SOLVER: return new SmtSolverConfiguration + case VIATRA_SOLVER: return new ViatraReasonerConfiguration + } + } +} \ No newline at end of file -- cgit v1.2.3-70-g09d2