blob: 48b52d287ae539c25820ed047f8474ee3896c983 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
|
package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.cardinality
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation
import java.util.Iterator
import org.eclipse.viatra.query.runtime.api.IPatternMatch
import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher
import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor
@FinalFieldsConstructor
abstract class MultiplicityCalculator<Match extends IPatternMatch> {
val ViatraQueryMatcher<Match> matcher
def getMultiplicity() {
val iterator = matcher.streamAllMatches.iterator
getMultiplicity(iterator)
}
def getMultiplicity(PartialInterpretation interpretation) {
val partialMatch = matcher.newEmptyMatch
partialMatch.set(0, interpretation.problem)
partialMatch.set(1, interpretation)
val iterator = matcher.streamAllMatches(partialMatch).iterator
getMultiplicity(iterator)
}
protected def int getMultiplicity(Iterator<? extends Match> iterator)
}
class RemainingMultiplicityCalculator<Match extends IPatternMatch> extends MultiplicityCalculator<Match> {
val int bound
@FinalFieldsConstructor
private new() {
}
protected override getMultiplicity(Iterator<? extends Match> iterator) {
var res = 0
while (iterator.hasNext) {
val match = iterator.next
val existingMultiplicity = match.get(3) as Integer
if (existingMultiplicity < bound) {
res += bound - existingMultiplicity
}
}
res
}
static def <Match extends IPatternMatch> of(ViatraQueryMatcher<Match> matcher, int bound) {
if (bound < 0) {
new RemainingInfiniteMultiplicityCalculator(matcher)
} else {
new RemainingMultiplicityCalculator(matcher, bound)
}
}
}
package class RemainingInfiniteMultiplicityCalculator<Match extends IPatternMatch> extends MultiplicityCalculator<Match> {
@FinalFieldsConstructor
package new() {
}
protected override getMultiplicity(Iterator<? extends Match> iterator) {
if (iterator.hasNext) {
-1
} else {
0
}
}
}
@FinalFieldsConstructor
class UnrepairableMultiplicityCalculator<Match extends IPatternMatch> extends MultiplicityCalculator<Match> {
val int lowerBound
override protected getMultiplicity(Iterator<? extends Match> iterator) {
var res = 0
while (iterator.hasNext) {
val match = iterator.next
val existingMultiplicity = match.get(3) as Integer
if (existingMultiplicity < lowerBound) {
val missingMultiplcity = lowerBound - existingMultiplicity
val numerOfRepairMatches = match.get(4) as Integer
val unrepairableMultiplicty = missingMultiplcity - numerOfRepairMatches
if (unrepairableMultiplicty > res) {
res = unrepairableMultiplicty
}
}
}
res
}
}
@FinalFieldsConstructor
class RemainingInverseMultiplicityCalculator<Match extends IPatternMatch> extends MultiplicityCalculator<Match> {
val int upperBound
override protected getMultiplicity(Iterator<? extends Match> iterator) {
var res = 0
while (iterator.hasNext) {
val match = iterator.next
val existingMultiplicity = match.get(3) as Integer
if (existingMultiplicity < upperBound) {
val availableMultiplicity = upperBound - existingMultiplicity
val numberOfRepairMatches = match.get(4) as Integer
res += Math.min(availableMultiplicity, numberOfRepairMatches)
}
}
res
}
}
|