diff options
| author |  OszkarSemerath <oszkar.semerath@gmail.com> | 2018-06-14 16:17:45 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-06-14 16:17:45 +0200 |
| commit | b09c2d7aa73aeece866f0cfe65a8db25b5c58834 (patch) | |
| tree | dc3c993cd4fcb441470162cf43f906d82549bb66 /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit | |
| parent | Support for updated partial model representation during generation (diff) | |
| download | VIATRA-Generator-b09c2d7aa73aeece866f0cfe65a8db25b5c58834.tar.gz VIATRA-Generator-b09c2d7aa73aeece866f0cfe65a8db25b5c58834.tar.zst VIATRA-Generator-b09c2d7aa73aeece866f0cfe65a8db25b5c58834.zip | |
Visualisation potentionally gets the patterns
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit')
| -rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend | 2 |
1 files changed, 2 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 index 74b3b17d..2f64fc76 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 | |||
| @@ -12,6 +12,7 @@ import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasonerConfigurat | |||
| 12 | import java.util.Map | 12 | import java.util.Map |
| 13 | import java.util.Optional | 13 | import java.util.Optional |
| 14 | import org.eclipse.xtext.xbase.lib.Functions.Function1 | 14 | import org.eclipse.xtext.xbase.lib.Functions.Function1 |
| 15 | import hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz.GraphvizVisualiser | ||
| 15 | 16 | ||
| 16 | class SolverLoader { | 17 | class SolverLoader { |
| 17 | def loadSolver(Solver solver, Map<String, String> config) { | 18 | def loadSolver(Solver solver, Map<String, String> config) { |
| @@ -73,6 +74,7 @@ class SolverLoader { | |||
| 73 | ] | 74 | ] |
| 74 | } else if(solver === Solver::VIATRA_SOLVER) { | 75 | } else if(solver === Solver::VIATRA_SOLVER) { |
| 75 | return new ViatraReasonerConfiguration => [c| | 76 | return new ViatraReasonerConfiguration => [c| |
| 77 | c.debugCongiguration.partialInterpretatioVisualiser = new GraphvizVisualiser | ||
| 76 | ] | 78 | ] |
| 77 | } else { | 79 | } else { |
| 78 | throw new UnsupportedOperationException('''Unknown solver: «solver»''') | 80 | throw new UnsupportedOperationException('''Unknown solver: «solver»''') |