From ea3b5cfc3e7dc8b472cd7448f2c43477a4c33553 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Fri, 16 Jun 2017 01:52:22 +0200 Subject: Divers Generation times are added to statisticsexample scenario --- .../mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend') diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend index 38cc9459..5d8859bd 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend @@ -128,6 +128,12 @@ class ViatraReasoner extends LogicReasoner{ //it.solverTime = viatraConfig.runtimeLimit it.solverTime = (solverTime/1000000) as int it.transformationTime = (transformationTime/1000000) as int + for(x : 0.. [ + it.name = '''_Sulution«x»FoundAt''' + it.value = strategy.solutionStoreWithCopy.allRuntimes.get(x).intValue + ] + } it.entries += createIntStatisticEntry => [ it.name = "TransformationExecutionTime" it.value = (method.statistics.transformationExecutionTime/1000000) as int ] -- cgit v1.2.3-54-g00ecf