From 18d8ff15abeb2aecc3cdedb0eabb076b4b8f058c Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 29 Jul 2020 16:40:45 +0200 Subject: Fix time measurement --- .../logic2viatra/rules/RefinementRuleProvider.xtend | 18 ++++++++---------- 1 file changed, 8 insertions(+), 10 deletions(-) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra') diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend index f7fe97a3..699b095d 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend @@ -372,19 +372,17 @@ class RefinementRuleProvider { val src = match.get(3) as DefinedElement val trg = match.get(4) as DefinedElement - queryEngine.delayUpdatePropagation [ - val startTime = System.nanoTime - createRelationLinkAction(src, trg, relationInterpretation) - statistics.addExecutionTime(System.nanoTime - startTime) - ] + val startTime = System.nanoTime + createRelationLinkAction(src, trg, relationInterpretation) + statistics.addExecutionTime(System.nanoTime - startTime) // Scope propagation if (scopePropagator.isPropagationNeededAfterAdditionToRelation(declaration)) { - queryEngine.delayUpdatePropagation [ - val propagatorStartTime = System.nanoTime - scopePropagator.propagateAllScopeConstraints() - statistics.addScopePropagationTime(System.nanoTime - propagatorStartTime) - ] + flushQueryEngine(scopePropagator) + + val propagatorStartTime = System.nanoTime + scopePropagator.propagateAllScopeConstraints() + statistics.addScopePropagationTime(System.nanoTime - propagatorStartTime) } ] } else { -- cgit v1.2.3-54-g00ecf