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 | 10 |
1 files changed, 5 insertions, 5 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 702b1740..daa932fd 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 | |||
@@ -258,10 +258,10 @@ class ScenarioRunner { | |||
258 | // val gml = partialInterpretation2GML.transform(representation) | 258 | // val gml = partialInterpretation2GML.transform(representation) |
259 | // ecore2GML.transform(root) | 259 | // ecore2GML.transform(root) |
260 | // workspace.writeText('''solutionVisualisation«representationNumber».gml''',gml) | 260 | // workspace.writeText('''solutionVisualisation«representationNumber».gml''',gml) |
261 | 261 | // | |
262 | // val visualiser = new GraphvizVisualisation | 262 | val visualiser = new GraphvizVisualisation |
263 | // val visualisation = visualiser.visualiseConcretization(representation) | 263 | val visualisation = visualiser.visualiseConcretization(representation) |
264 | // visualisation.writeToFile(workspace,'''solutionVisualisation«representationNumber»''') | 264 | visualisation.writeToFile(workspace,'''solutionVisualisation«representationNumber»''') |
265 | 265 | ||
266 | } else { | 266 | } else { |
267 | workspace.writeText('''solution«representationNumber».txt''',representation.toString) | 267 | workspace.writeText('''solution«representationNumber».txt''',representation.toString) |
@@ -318,7 +318,7 @@ class ScenarioRunner { | |||
318 | 318 | ||
319 | class DiverseMeasurementRunner { | 319 | class DiverseMeasurementRunner { |
320 | def static void main(String[] args) { | 320 | def static void main(String[] args) { |
321 | val scenario = new Scenario(30,29,Metamodel::YakinduWOSynch,Constraints.Metamodel,StateCoder.R3,20,Solver::Alloy | 321 | val scenario = new Scenario(10,29,Metamodel::YakinduWOSynch,Constraints.None,StateCoder.R1,10,Solver::ViatraSolver |
322 | ) | 322 | ) |
323 | val scenarioRunner = new ScenarioRunner | 323 | val scenarioRunner = new ScenarioRunner |
324 | scenarioRunner.runScenario(scenario) | 324 | scenarioRunner.runScenario(scenario) |