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 | /*/ |