diff options
author | 2018-02-15 23:03:20 +0100 | |
---|---|---|
committer | 2018-02-15 23:03:20 +0100 | |
commit | 92f94b063ec9a65d04178788f3858c750fbf16e7 (patch) | |
tree | 5e1d9d7b64075931a8200080f5b2736685d14c71 /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend | |
parent | First complete scope grammar (diff) | |
download | VIATRA-Generator-92f94b063ec9a65d04178788f3858c750fbf16e7.tar.gz VIATRA-Generator-92f94b063ec9a65d04178788f3858c750fbf16e7.tar.zst VIATRA-Generator-92f94b063ec9a65d04178788f3858c750fbf16e7.zip |
Generation specification -> execution
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 | ||