diff options
| author |  Kristóf Marussy <kris7topher@gmail.com> | 2019-08-01 01:00:12 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-01 01:00:12 +0200 |
| commit | 7021a4d1f2805ebf3145cbc3893761d12f23361f (patch) | |
| tree | b75c51136d3b593f94bf517a8552a1dbf8abdd2b /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternProvider.xtend | |
| parent | Build Cbc wrapper under Ubuntu 18.04 (diff) | |
| download | VIATRA-Generator-7021a4d1f2805ebf3145cbc3893761d12f23361f.tar.gz VIATRA-Generator-7021a4d1f2805ebf3145cbc3893761d12f23361f.tar.zst VIATRA-Generator-7021a4d1f2805ebf3145cbc3893761d12f23361f.zip | |
Configurability and better statistics for measurements
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternProvider.xtend')
| -rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternProvider.xtend | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternProvider.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternProvider.xtend index b10c8e88..eadf0ae0 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternProvider.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternProvider.xtend | |||
| @@ -69,7 +69,7 @@ class PatternProvider { | |||
| 69 | val startTime = System.nanoTime | 69 | val startTime = System.nanoTime |
| 70 | val result = typeAnalysis.performTypeAnalysis(problem, emptySolution) | 70 | val result = typeAnalysis.performTypeAnalysis(problem, emptySolution) |
| 71 | val typeAnalysisTime = System.nanoTime - startTime | 71 | val typeAnalysisTime = System.nanoTime - startTime |
| 72 | statistics.PreliminaryTypeAnalisisTime = typeAnalysisTime | 72 | statistics.preliminaryTypeAnalisisTime = typeAnalysisTime |
| 73 | result | 73 | result |
| 74 | } else { | 74 | } else { |
| 75 | null | 75 | null |