diff options
| author |  OszkarSemerath <oszka@152.66.252.189> | 2017-08-16 18:53:14 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@152.66.252.189> | 2017-08-16 18:53:14 +0200 |
| commit | 220c94d5e4f79f0699f51ef78c1c72022121e344 (patch) | |
| tree | ea06d4b57d5faf63d8fa1a8f7ff08a65df3dcb91 /Tests | |
| parent | runners with new type scopes (diff) | |
| download | VIATRA-Generator-220c94d5e4f79f0699f51ef78c1c72022121e344.tar.gz VIATRA-Generator-220c94d5e4f79f0699f51ef78c1c72022121e344.tar.zst VIATRA-Generator-220c94d5e4f79f0699f51ef78c1c72022121e344.zip | |
Bugfixing typo in generated queries
Diffstat (limited to 'Tests')
| -rw-r--r-- | Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend index 78382c2a..d73303fa 100644 --- a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend +++ b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend | |||
| @@ -64,16 +64,16 @@ class SimpleRun { | |||
| 64 | println("Problem created") | 64 | println("Problem created") |
| 65 | var LogicResult solution | 65 | var LogicResult solution |
| 66 | var LogicReasoner reasoner | 66 | var LogicReasoner reasoner |
| 67 | /* | 67 | //* |
| 68 | reasoner = new ViatraReasoner | 68 | reasoner = new ViatraReasoner |
| 69 | val viatraConfig = new ViatraReasonerConfiguration => [ | 69 | val viatraConfig = new ViatraReasonerConfiguration => [ |
| 70 | it.typeScopes.maxNewElements = 40 | 70 | it.typeScopes.maxNewElements = 40 |
| 71 | it.typeScopes.minNewElements = 40 | 71 | it.typeScopes.minNewElements = 40 |
| 72 | it.solutionScope.numberOfRequiredSolution = 1 | 72 | it.solutionScope.numberOfRequiredSolution = 1 |
| 73 | it.existingQueries = queries.patterns.map[it.internalQueryRepresentation] | 73 | it.existingQueries = queries.patterns.map[it.internalQueryRepresentation] |
| 74 | it.debugCongiguration.logging = true | 74 | it.debugCongiguration.logging = false |
| 75 | it.debugCongiguration.partalInterpretationVisualisationFrequency = 1 | 75 | it.debugCongiguration.partalInterpretationVisualisationFrequency = 1 |
| 76 | it.debugCongiguration.partialInterpretatioVisualiser = new GraphvizVisualisation | 76 | it.debugCongiguration.partialInterpretatioVisualiser = null//new GraphvizVisualisation |
| 77 | ] | 77 | ] |
| 78 | solution = reasoner.solve(logicProblem,viatraConfig,workspace) | 78 | solution = reasoner.solve(logicProblem,viatraConfig,workspace) |
| 79 | /*/ | 79 | /*/ |