blob: e1be274285bc70ea38c656332d851235bcd4a503 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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
}
}
|