diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend | 28 |
1 files changed, 28 insertions, 0 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 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 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.application.execution | ||
2 | |||
3 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver | ||
4 | import java.util.Map | ||
5 | import hu.bme.mit.inf.dlsreasoner.alloy.reasoner.AlloySolver | ||
6 | import hu.bme.mit.inf.dslreasoner.smt.reasoner.SMTSolver | ||
7 | import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasoner | ||
8 | import hu.bme.mit.inf.dlsreasoner.alloy.reasoner.AlloySolverConfiguration | ||
9 | import hu.bme.mit.inf.dslreasoner.smt.reasoner.SmtSolverConfiguration | ||
10 | import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasonerConfiguration | ||
11 | |||
12 | class SolverLoader { | ||
13 | def loadSolver(Solver solver, Map<String, String> config) { | ||
14 | switch(solver) { | ||
15 | case ALLOY_SOLVER: return new AlloySolver | ||
16 | case SMT_SOLVER: return new SMTSolver | ||
17 | case VIATRA_SOLVER: return new ViatraReasoner | ||
18 | } | ||
19 | } | ||
20 | |||
21 | def loadSolverConfig(Solver solver, Map<String, String> config) { | ||
22 | switch(solver) { | ||
23 | case ALLOY_SOLVER: return new AlloySolverConfiguration | ||
24 | case SMT_SOLVER: return new SmtSolverConfiguration | ||
25 | case VIATRA_SOLVER: return new ViatraReasonerConfiguration | ||
26 | } | ||
27 | } | ||
28 | } \ No newline at end of file | ||