diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2020-07-29 16:40:45 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-07-29 16:40:45 +0200 |
| commit | 18d8ff15abeb2aecc3cdedb0eabb076b4b8f058c (patch) | |
| tree | 067a74a598d4bf72c52b9788b200c962278f89b1 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra | |
| parent | Clean up MODELS20 files (diff) | |
| download | VIATRA-Generator-18d8ff15abeb2aecc3cdedb0eabb076b4b8f058c.tar.gz VIATRA-Generator-18d8ff15abeb2aecc3cdedb0eabb076b4b8f058c.tar.zst VIATRA-Generator-18d8ff15abeb2aecc3cdedb0eabb076b4b8f058c.zip | |
Fix time measurement
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra')
| -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 { |