blob: b6fdbe06b4a613928d0c6f05ccafdf8109e78b94 (
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.cardinality.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
}
}
|