diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver')
-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 | } |