From 220c94d5e4f79f0699f51ef78c1c72022121e344 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Wed, 16 Aug 2017 18:53:14 +0200 Subject: Bugfixing typo in generated queries --- .../src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Tests') 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 { println("Problem created") var LogicResult solution var LogicReasoner reasoner - /* + //* reasoner = new ViatraReasoner val viatraConfig = new ViatraReasonerConfiguration => [ it.typeScopes.maxNewElements = 40 it.typeScopes.minNewElements = 40 it.solutionScope.numberOfRequiredSolution = 1 it.existingQueries = queries.patterns.map[it.internalQueryRepresentation] - it.debugCongiguration.logging = true + it.debugCongiguration.logging = false it.debugCongiguration.partalInterpretationVisualisationFrequency = 1 - it.debugCongiguration.partialInterpretatioVisualiser = new GraphvizVisualisation + it.debugCongiguration.partialInterpretatioVisualiser = null//new GraphvizVisualisation ] solution = reasoner.solve(logicProblem,viatraConfig,workspace) /*/ -- cgit v1.2.3-54-g00ecf