diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2020-07-14 10:45:03 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-07-14 10:45:03 +0200 |
| commit | 329ac27dfa84e9a07760bea75b36476dddcf29a7 (patch) | |
| tree | 67ffc01b3ff1da6b196e5a9e52eac0d5c22b5ddb /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu | |
| 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')
| -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 | } |