Recursion + aggregation gives incorrect results (should work with default algo?)

[eclipse-viatra-bot]

| --- | --- |
| Bugzilla Link | 576122 |
| Status | NEW |
| Importance | P3 normal |
| Reported | Sep 20, 2021 13:18 EDT |
| Modified | Sep 20, 2021 13:18 EDT |
| Version | 2.6.0 |
| Reporter | Gabor Bergmann |

Description

private incremental pattern owner(
a,b
) {
a == 1; b==2;
} or {
a == 2; b==3;
} or {
a == 3; b==5;
} or {
a == 4; b==5;
} or {
a == 6; b==9;
} or {
a == 7; b==9;
} or {
a == 8; b==9;
} or {
a == 5; b==10;
} or {
a == 9; b==10;
}

incremental pattern structureRollup(\
  owner, element, totalContents: java Integer
) { \
  find owner(element, owner); \
  totalContentsExceptSelf == sum find structureRollup(element, _, #);\
  totalContents == eval(1 + totalContentsExceptSelf);\
}

OBSERVED:

owner element totalContents
3 2 2
3 2 1
9 6 1
10 9 4
5 3 2
10 9 1
10 5 5
10 5 1
10 5 3
9 8 1
9 7 1
10 5 9
5 3 4
5 4 1
5 3 1
2 1 1

EXPECTED:

owner element totalContents
10 9 4
10 5 5
9 8 1
9 7 1
9 6 1
5 4 1
5 3 3
3 2 2
2 1 1