aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu
diff options
context:
space:
mode:
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.xtend2
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 }