diff options
Diffstat (limited to 'Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf')
-rw-r--r-- | Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend | 4 | ||||
-rw-r--r-- | Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/TestForDP.xtend | 5 |
2 files changed, 7 insertions, 2 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 863a91c8..d3afb7f7 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 | |||
@@ -72,10 +72,10 @@ class SimpleRun { | |||
72 | it.typeScopes.maxNewElements = 40 | 72 | it.typeScopes.maxNewElements = 40 |
73 | it.typeScopes.minNewElements = 40 | 73 | it.typeScopes.minNewElements = 40 |
74 | it.solutionScope.numberOfRequiredSolution = 1 | 74 | it.solutionScope.numberOfRequiredSolution = 1 |
75 | it.existingQueries = queries.patterns.map[it.internalQueryRepresentation] | 75 | // it.existingQueries = queries.patterns.map[it.internalQueryRepresentation] |
76 | it.debugCongiguration.logging = false | 76 | it.debugCongiguration.logging = false |
77 | it.debugCongiguration.partalInterpretationVisualisationFrequency = 1 | 77 | it.debugCongiguration.partalInterpretationVisualisationFrequency = 1 |
78 | it.debugCongiguration.partialInterpretatioVisualiser = new GraphvizVisualisation | 78 | // it.debugCongiguration.partialInterpretatioVisualiser = new GraphvizVisualisation |
79 | ] | 79 | ] |
80 | solution = reasoner.solve(logicProblem,viatraConfig,workspace) | 80 | solution = reasoner.solve(logicProblem,viatraConfig,workspace) |
81 | /*/ | 81 | /*/ |
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/TestForDP.xtend b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/TestForDP.xtend new file mode 100644 index 00000000..e112ab59 --- /dev/null +++ b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/TestForDP.xtend | |||
@@ -0,0 +1,5 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.run | ||
2 | |||
3 | class TestForDP { | ||
4 | |||
5 | } \ No newline at end of file | ||