From 24f1e1363bfc3d9225f8e2a68fad300bff634ced Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Wed, 16 Aug 2017 17:19:10 +0200 Subject: runners with new type scopes --- .../src/hu/bme/mit/inf/dslreasoner/run/DiverseMeasurementRunner.xtend | 2 +- .../src/hu/bme/mit/inf/dslreasoner/run/RunMeasurements.xtend | 2 +- .../src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) (limited to 'Tests/hu.bme.mit.inf.dslreasoner.run') 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 c3f77ad7..40edbd02 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 @@ -225,7 +225,7 @@ class ScenarioRunner { it.typeScopes.maxNewElements = scenario.size it.typeScopes.minNewElements = scenario.size it.solutionScope.numberOfRequiredSolution = scenario.number - it.typeScopes.maxIntScope = 0 + it.typeScopes.maxNewIntegers = 0 it.writeToFile=true ] } diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/RunMeasurements.xtend b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/RunMeasurements.xtend index 8de44b5b..e96a6bf6 100644 --- a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/RunMeasurements.xtend +++ b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/RunMeasurements.xtend @@ -136,7 +136,7 @@ class RunMeasurements { it.typeScopes.maxNewElements = size it.typeScopes.minNewElements = size it.solutionScope.numberOfRequiredSolution = number - it.typeScopes.maxIntScope = 0 + it.typeScopes.maxNewIntegers = 0 it.writeToFile = true ] val solution = this.alloyReasoner.solve( 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 0a304915..78382c2a 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 @@ -64,7 +64,7 @@ class SimpleRun { println("Problem created") var LogicResult solution var LogicReasoner reasoner - //* + /* reasoner = new ViatraReasoner val viatraConfig = new ViatraReasonerConfiguration => [ it.typeScopes.maxNewElements = 40 @@ -82,7 +82,7 @@ class SimpleRun { it.typeScopes.maxNewElements = 5 it.typeScopes.minNewElements = 5 it.solutionScope.numberOfRequiredSolution = 1 - it.typeScopes.maxIntScope = 0 + it.typeScopes.maxNewIntegers = 0 it.writeToFile = true ] solution = reasoner.solve(logicProblem,alloyConfig,workspace) -- cgit v1.2.3-54-g00ecf