diff options
author | 2020-07-14 10:45:03 +0200 | |
---|---|---|
committer | 2020-07-14 10:45:03 +0200 | |
commit | 329ac27dfa84e9a07760bea75b36476dddcf29a7 (patch) | |
tree | 67ffc01b3ff1da6b196e5a9e52eac0d5c22b5ddb /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit | |
parent | Fix event storm on EMF transaction finish (diff) | |
download | VIATRA-Generator-329ac27dfa84e9a07760bea75b36476dddcf29a7.tar.gz VIATRA-Generator-329ac27dfa84e9a07760bea75b36476dddcf29a7.tar.zst VIATRA-Generator-329ac27dfa84e9a07760bea75b36476dddcf29a7.zip |
Optimizations
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend | 2 |
1 files changed, 1 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 fd871615..c333feca 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 | |||
@@ -206,7 +206,7 @@ class ViatraReasoner extends LogicReasoner { | |||
206 | it.transformationTime = (transformationTime / 1000000) as int | 206 | it.transformationTime = (transformationTime / 1000000) as int |
207 | for (pair : solutionCopier.getAllCopierRuntimes(true).indexed) { | 207 | for (pair : solutionCopier.getAllCopierRuntimes(true).indexed) { |
208 | it.entries += createIntStatisticEntry => [ | 208 | it.entries += createIntStatisticEntry => [ |
209 | it.name = '''_Solution«pair.key»FoundAt''' | 209 | it.name = '''Solution«pair.key»FoundAt''' |
210 | it.value = (pair.value / 1000000) as int | 210 | it.value = (pair.value / 1000000) as int |
211 | ] | 211 | ] |
212 | } | 212 | } |