From 7d44e20d1a2085a9fa686580a96f4f37214b3875 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Sun, 24 Nov 2019 07:51:31 -0500 Subject: VAMPIRE: Further Post-submission updates --- .../src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend | 4 ++-- .../src/hu/bme/mit/inf/dslreasoner/run/TestForDP.xtend | 5 +++++ 2 files changed, 7 insertions(+), 2 deletions(-) create mode 100644 Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/TestForDP.xtend (limited to 'Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner') 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 { it.typeScopes.maxNewElements = 40 it.typeScopes.minNewElements = 40 it.solutionScope.numberOfRequiredSolution = 1 - it.existingQueries = queries.patterns.map[it.internalQueryRepresentation] +// it.existingQueries = queries.patterns.map[it.internalQueryRepresentation] it.debugCongiguration.logging = false it.debugCongiguration.partalInterpretationVisualisationFrequency = 1 - it.debugCongiguration.partialInterpretatioVisualiser = new GraphvizVisualisation +// it.debugCongiguration.partialInterpretatioVisualiser = new GraphvizVisualisation ] solution = reasoner.solve(logicProblem,viatraConfig,workspace) /*/ 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 @@ +package hu.bme.mit.inf.dslreasoner.run + +class TestForDP { + +} \ No newline at end of file -- cgit v1.2.3-54-g00ecf