diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ModelGenerationMethodProvider.xtend')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ModelGenerationMethodProvider.xtend | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ModelGenerationMethodProvider.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ModelGenerationMethodProvider.xtend index 3a99d3bf..4b278188 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ModelGenerationMethodProvider.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ModelGenerationMethodProvider.xtend | |||
@@ -45,6 +45,7 @@ class ModelGenerationStatistics { | |||
45 | Collection<? extends BatchTransformationRule<?, ?>> relationRefinementRules | 45 | Collection<? extends BatchTransformationRule<?, ?>> relationRefinementRules |
46 | 46 | ||
47 | List<MultiplicityGoalConstraintCalculator> unfinishedMultiplicities | 47 | List<MultiplicityGoalConstraintCalculator> unfinishedMultiplicities |
48 | |||
48 | Collection<? extends IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>>> unfinishedWF | 49 | Collection<? extends IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>>> unfinishedWF |
49 | 50 | ||
50 | Collection<? extends IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>>> invalidWF | 51 | Collection<? extends IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>>> invalidWF |
@@ -125,8 +126,8 @@ class ModelGenerationMethodProvider { | |||
125 | case PolyhedralRelations: { | 126 | case PolyhedralRelations: { |
126 | val types = queries.refineObjectQueries.keySet.map[newType].toSet | 127 | val types = queries.refineObjectQueries.keySet.map[newType].toSet |
127 | val solver = new CbcPolyhedronSolver | 128 | val solver = new CbcPolyhedronSolver |
128 | new PolyhedronScopePropagator(emptySolution, types, queries.multiplicityConstraintQueries, solver, | 129 | new PolyhedronScopePropagator(emptySolution, types, queries.multiplicityConstraintQueries, |
129 | scopePropagatorStrategy.requiresUpperBoundIndexing) | 130 | queries.hasElementInContainmentQuery, solver, scopePropagatorStrategy.requiresUpperBoundIndexing) |
130 | } | 131 | } |
131 | default: | 132 | default: |
132 | throw new IllegalArgumentException("Unknown scope propagator strategy: " + scopePropagatorStrategy) | 133 | throw new IllegalArgumentException("Unknown scope propagator strategy: " + scopePropagatorStrategy) |