diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf')
2 files changed, 7 insertions, 2 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ModelGenerationStatistics.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ModelGenerationStatistics.xtend index bd5bf807..ab4fa039 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ModelGenerationStatistics.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ModelGenerationStatistics.xtend | |||
@@ -2,7 +2,12 @@ package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra | |||
2 | 2 | ||
3 | class ModelGenerationStatistics { | 3 | class ModelGenerationStatistics { |
4 | public var long transformationExecutionTime = 0 | 4 | public var long transformationExecutionTime = 0 |
5 | 5 | public var long metricCalculationTime = 0 | |
6 | |||
7 | |||
8 | synchronized def addMetricCalculationTime(long amount) { | ||
9 | metricCalculationTime+=amount | ||
10 | } | ||
6 | synchronized def addExecutionTime(long amount) { | 11 | synchronized def addExecutionTime(long amount) { |
7 | transformationExecutionTime += amount | 12 | transformationExecutionTime += amount |
8 | } | 13 | } |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/ExtendedLinearExpressionBuilderFactory.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/ExtendedLinearExpressionBuilderFactory.xtend index 6054affe..e97fa5d7 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/ExtendedLinearExpressionBuilderFactory.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/ExtendedLinearExpressionBuilderFactory.xtend | |||
@@ -112,7 +112,7 @@ class ExtendedPolyhedronBuilder implements ExtendedLinearExpressionBuilderFactor | |||
112 | } | 112 | } |
113 | 113 | ||
114 | override build() { | 114 | override build() { |
115 | val filteredCoefficients = ImmutableMap.copyOf(coefficients.filter [ _, coefficient | | 115 | val filteredCoefficients = ImmutableMap.copyOf(coefficients.filter [ x, coefficient | |
116 | coefficient != 0 | 116 | coefficient != 0 |
117 | ]) | 117 | ]) |
118 | polyhedronBuilder.expressionsCache.computeIfAbsent(filteredCoefficients) [ map | | 118 | polyhedronBuilder.expressionsCache.computeIfAbsent(filteredCoefficients) [ map | |