diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend | 6 |
1 files changed, 5 insertions, 1 deletions
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 293df935..1fe65afe 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 | |||
@@ -113,8 +113,9 @@ class ViatraReasoner extends LogicReasoner{ | |||
113 | 113 | ||
114 | val strategy = new BestFirstStrategyForModelGeneration(workspace,viatraConfig,method) | 114 | val strategy = new BestFirstStrategyForModelGeneration(workspace,viatraConfig,method) |
115 | viatraConfig.progressMonitor.workedForwardTransformation | 115 | viatraConfig.progressMonitor.workedForwardTransformation |
116 | val transformationFinished = System.nanoTime | ||
117 | val transformationTime = transformationFinished - transformationStartTime | ||
116 | 118 | ||
117 | val transformationTime = System.nanoTime - transformationStartTime | ||
118 | val solverStartTime = System.nanoTime | 119 | val solverStartTime = System.nanoTime |
119 | 120 | ||
120 | var boolean stoppedByTimeout | 121 | var boolean stoppedByTimeout |
@@ -141,6 +142,9 @@ class ViatraReasoner extends LogicReasoner{ | |||
141 | ] | 142 | ] |
142 | } | 143 | } |
143 | it.entries += createIntStatisticEntry => [ | 144 | it.entries += createIntStatisticEntry => [ |
145 | it.name = "ExplorationInitializationTime" it.value = ((strategy.explorationStarted-transformationFinished)/1000000) as int | ||
146 | ] | ||
147 | it.entries += createIntStatisticEntry => [ | ||
144 | it.name = "TransformationExecutionTime" it.value = (method.statistics.transformationExecutionTime/1000000) as int | 148 | it.name = "TransformationExecutionTime" it.value = (method.statistics.transformationExecutionTime/1000000) as int |
145 | ] | 149 | ] |
146 | it.entries += createIntStatisticEntry => [ | 150 | it.entries += createIntStatisticEntry => [ |