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 | 6 |
1 files changed, 6 insertions, 0 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 6fbbc779..78eda150 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 | |||
@@ -24,9 +24,12 @@ import java.util.Collection | |||
24 | import java.util.List | 24 | import java.util.List |
25 | import java.util.Map | 25 | import java.util.Map |
26 | import java.util.Set | 26 | import java.util.Set |
27 | import org.eclipse.viatra.query.runtime.api.GenericQueryGroup | ||
27 | import org.eclipse.viatra.query.runtime.api.IPatternMatch | 28 | import org.eclipse.viatra.query.runtime.api.IPatternMatch |
28 | import org.eclipse.viatra.query.runtime.api.IQuerySpecification | 29 | import org.eclipse.viatra.query.runtime.api.IQuerySpecification |
30 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine | ||
29 | import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher | 31 | import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher |
32 | import org.eclipse.viatra.query.runtime.emf.EMFScope | ||
30 | import org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint | 33 | import org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint |
31 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PQuery | 34 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PQuery |
32 | import org.eclipse.viatra.transformation.runtime.emf.rules.batch.BatchTransformationRule | 35 | import org.eclipse.viatra.transformation.runtime.emf.rules.batch.BatchTransformationRule |
@@ -122,6 +125,9 @@ class ModelGenerationMethodProvider { | |||
122 | val relationConstraints = relationConstraintCalculator.calculateRelationConstraints(logicProblem) | 125 | val relationConstraints = relationConstraintCalculator.calculateRelationConstraints(logicProblem) |
123 | val queries = patternProvider.generateQueries(logicProblem, emptySolution, statistics, existingQueries, | 126 | val queries = patternProvider.generateQueries(logicProblem, emptySolution, statistics, existingQueries, |
124 | workspace, typeInferenceMethod, scopePropagatorStrategy, relationConstraints, hints, writeFiles) | 127 | workspace, typeInferenceMethod, scopePropagatorStrategy, relationConstraints, hints, writeFiles) |
128 | val queryEngine = ViatraQueryEngine.on(new EMFScope(emptySolution)) | ||
129 | GenericQueryGroup.of(queries.allQueries).prepare(queryEngine) | ||
130 | |||
125 | val scopePropagator = createScopePropagator(scopePropagatorStrategy, emptySolution, hints, queries, statistics) | 131 | val scopePropagator = createScopePropagator(scopePropagatorStrategy, emptySolution, hints, queries, statistics) |
126 | scopePropagator.propagateAllScopeConstraints | 132 | scopePropagator.propagateAllScopeConstraints |
127 | val objectRefinementRules = refinementRuleProvider.createObjectRefinementRules(logicProblem, emptySolution, | 133 | val objectRefinementRules = refinementRuleProvider.createObjectRefinementRules(logicProblem, emptySolution, |