aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner')
-rw-r--r--Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend4
-rw-r--r--Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/TestForDP.xtend5
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 @@
1package hu.bme.mit.inf.dslreasoner.run
2
3class TestForDP {
4
5} \ No newline at end of file