diff options
Diffstat (limited to 'Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/DiverseMeasurementRunner.xtend')
-rw-r--r-- | Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/DiverseMeasurementRunner.xtend | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/DiverseMeasurementRunner.xtend b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/DiverseMeasurementRunner.xtend index e6ee0ad9..c3f77ad7 100644 --- a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/DiverseMeasurementRunner.xtend +++ b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/DiverseMeasurementRunner.xtend | |||
@@ -35,6 +35,8 @@ import org.eclipse.xtend.lib.annotations.Data | |||
35 | import java.util.LinkedList | 35 | import java.util.LinkedList |
36 | import hu.bme.mit.inf.dlsreasoner.alloy.reasoner.AlloySolver | 36 | import hu.bme.mit.inf.dlsreasoner.alloy.reasoner.AlloySolver |
37 | import hu.bme.mit.inf.dlsreasoner.alloy.reasoner.AlloySolverConfiguration | 37 | import hu.bme.mit.inf.dlsreasoner.alloy.reasoner.AlloySolverConfiguration |
38 | import hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz.GraphvisVisualisation | ||
39 | import hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz.GraphvizVisualisation | ||
38 | 40 | ||
39 | enum Metamodel { | 41 | enum Metamodel { |
40 | FAM, YakinduWOSynch, Yakindu | 42 | FAM, YakinduWOSynch, Yakindu |
@@ -190,7 +192,9 @@ class ScenarioRunner { | |||
190 | it.existingQueries = vq.patterns.map[it.internalQueryRepresentation] | 192 | it.existingQueries = vq.patterns.map[it.internalQueryRepresentation] |
191 | it.nameNewElements = false | 193 | it.nameNewElements = false |
192 | it.typeInferenceMethod = TypeInferenceMethod.PreliminaryAnalysis | 194 | it.typeInferenceMethod = TypeInferenceMethod.PreliminaryAnalysis |
193 | it.additionalGlobalConstraints += loader.additionalConstraints | 195 | it.searchSpaceConstraints.additionalGlobalConstraints += loader.additionalConstraints |
196 | it.debugCongiguration.partalInterpretationVisualisationFrequency = 1 | ||
197 | it.debugCongiguration.partialInterpretatioVisualiser = new GraphvizVisualisation | ||
194 | it.stateCoderStrategy = if(scenario.statecoder == StateCoder::ID) { | 198 | it.stateCoderStrategy = if(scenario.statecoder == StateCoder::ID) { |
195 | StateCoderStrategy::IDBased | 199 | StateCoderStrategy::IDBased |
196 | } else { | 200 | } else { |
@@ -309,7 +313,7 @@ class ScenarioRunner { | |||
309 | 313 | ||
310 | class DiverseMeasurementRunner { | 314 | class DiverseMeasurementRunner { |
311 | def static void main(String[] args) { | 315 | def static void main(String[] args) { |
312 | val scenario = new Scenario(100,49,Metamodel::Yakindu,Constraints.All,StateCoder.Normal,1,Solver::Alloy) | 316 | val scenario = new Scenario(30,49,Metamodel::Yakindu,Constraints.All,StateCoder.Normal,1,Solver::ViatraSolver) |
313 | val scenarioRunner = new ScenarioRunner | 317 | val scenarioRunner = new ScenarioRunner |
314 | scenarioRunner.runScenario(scenario) | 318 | scenarioRunner.runScenario(scenario) |
315 | } | 319 | } |