Migrating Additional projects

1 files changed, 18 insertions, 0 deletions

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/GoalConstraintProvider.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/GoalConstraintProvider.xtend
new file mode 100644
index 00000000..e1be2742
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/GoalConstraintProvider.xtend
@@ -0,0 +1,18 @@
+package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.rules

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.MultiplicityGoalConstraintCalculator

+import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns.GeneratedPatterns

+import java.util.ArrayList

+

+class GoalConstraintProvider {

+        def public getUnfinishedMultiplicityQueries(GeneratedPatterns patterns) {

+                val multiplicityQueries = patterns.unfinishedMulticiplicityQueries

+                val res = new ArrayList(multiplicityQueries.size)

+                for(multiplicityQuery : multiplicityQueries.entrySet) {

+                        val targetRelationName = multiplicityQuery.key.name

+                        val query = multiplicityQuery.value

+                        res += new MultiplicityGoalConstraintCalculator(targetRelationName,query);

+                }

+                return res

+        }

+}
\ No newline at end of file