diff options
author | 2020-05-17 01:35:57 +0200 | |
---|---|---|
committer | 2020-05-17 01:35:57 +0200 | |
commit | d03c841f2e4114a442deb08946c391c823745953 (patch) | |
tree | 334294a46f4b7bfe3aad8dbda368fb7ea5e5b6c0 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend | |
parent | Setting delimier in every printing mode to ',' (diff) | |
download | VIATRA-Generator-d03c841f2e4114a442deb08946c391c823745953.tar.gz VIATRA-Generator-d03c841f2e4114a442deb08946c391c823745953.tar.zst VIATRA-Generator-d03c841f2e4114a442deb08946c391c823745953.zip |
detailed runtimes + counting defined objects only
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 | 8 |
1 files changed, 7 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 1fe65afe..5df28edd 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 | |||
@@ -137,10 +137,16 @@ class ViatraReasoner extends LogicReasoner{ | |||
137 | it.transformationTime = (transformationTime/1000000) as int | 137 | it.transformationTime = (transformationTime/1000000) as int |
138 | for(x : 0..<strategy.solutionStoreWithCopy.allRuntimes.size) { | 138 | for(x : 0..<strategy.solutionStoreWithCopy.allRuntimes.size) { |
139 | it.entries += createIntStatisticEntry => [ | 139 | it.entries += createIntStatisticEntry => [ |
140 | it.name = '''_Solution«x»FoundAt''' | 140 | it.name = '''Solution«x+1»FoundAt''' |
141 | it.value = (strategy.solutionStoreWithCopy.allRuntimes.get(x)/1000000) as int | 141 | it.value = (strategy.solutionStoreWithCopy.allRuntimes.get(x)/1000000) as int |
142 | ] | 142 | ] |
143 | } | 143 | } |
144 | for(x: 0..<strategy.times.size) { | ||
145 | it.entries += createStringStatisticEntry => [ | ||
146 | it.name = '''Solution«x+1»DetailedStatistics''' | ||
147 | it.value = strategy.times.get(x) | ||
148 | ] | ||
149 | } | ||
144 | it.entries += createIntStatisticEntry => [ | 150 | it.entries += createIntStatisticEntry => [ |
145 | it.name = "ExplorationInitializationTime" it.value = ((strategy.explorationStarted-transformationFinished)/1000000) as int | 151 | it.name = "ExplorationInitializationTime" it.value = ((strategy.explorationStarted-transformationFinished)/1000000) as int |
146 | ] | 152 | ] |