diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend | 18 |
1 files changed, 8 insertions, 10 deletions
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 { | |||
372 | val src = match.get(3) as DefinedElement | 372 | val src = match.get(3) as DefinedElement |
373 | val trg = match.get(4) as DefinedElement | 373 | val trg = match.get(4) as DefinedElement |
374 | 374 | ||
375 | queryEngine.delayUpdatePropagation [ | 375 | val startTime = System.nanoTime |
376 | val startTime = System.nanoTime | 376 | createRelationLinkAction(src, trg, relationInterpretation) |
377 | createRelationLinkAction(src, trg, relationInterpretation) | 377 | statistics.addExecutionTime(System.nanoTime - startTime) |
378 | statistics.addExecutionTime(System.nanoTime - startTime) | ||
379 | ] | ||
380 | 378 | ||
381 | // Scope propagation | 379 | // Scope propagation |
382 | if (scopePropagator.isPropagationNeededAfterAdditionToRelation(declaration)) { | 380 | if (scopePropagator.isPropagationNeededAfterAdditionToRelation(declaration)) { |
383 | queryEngine.delayUpdatePropagation [ | 381 | flushQueryEngine(scopePropagator) |
384 | val propagatorStartTime = System.nanoTime | 382 | |
385 | scopePropagator.propagateAllScopeConstraints() | 383 | val propagatorStartTime = System.nanoTime |
386 | statistics.addScopePropagationTime(System.nanoTime - propagatorStartTime) | 384 | scopePropagator.propagateAllScopeConstraints() |
387 | ] | 385 | statistics.addScopePropagationTime(System.nanoTime - propagatorStartTime) |
388 | } | 386 | } |
389 | ] | 387 | ] |
390 | } else { | 388 | } else { |