diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/PolyhedronScopePropagator.xtend')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/PolyhedronScopePropagator.xtend | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/PolyhedronScopePropagator.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/PolyhedronScopePropagator.xtend index 8f210ffb..cebd89da 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/PolyhedronScopePropagator.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/PolyhedronScopePropagator.xtend | |||
@@ -27,6 +27,7 @@ class PolyhedronScopePropagator extends ScopePropagator { | |||
27 | // Dimensions for instantiable types were created according to the type analysis, | 27 | // Dimensions for instantiable types were created according to the type analysis, |
28 | // but for any possible primitive types, we create them on demand, | 28 | // but for any possible primitive types, we create them on demand, |
29 | // as there is no Type directly associated with a PartialPrimitiveInterpretation. | 29 | // as there is no Type directly associated with a PartialPrimitiveInterpretation. |
30 | // Below we will assume that each PartialTypeInterpretation has at most one Scope. | ||
30 | for (scope : p.scopes) { | 31 | for (scope : p.scopes) { |
31 | switch (targetTypeInterpretation : scope.targetTypeInterpretation) { | 32 | switch (targetTypeInterpretation : scope.targetTypeInterpretation) { |
32 | PartialPrimitiveInterpretation: { | 33 | PartialPrimitiveInterpretation: { |