Bug/unsupported feature in sum of cardinalities

[JoD]

I tried to post the following constraint in the NoMystery problem:

// At most one action can be taken at each step ! step: #{package: Load(package,step)}+#{package: Unload(package,step)}+#{loc: DriveTo(loc,step)}<2.

Which employs a sum of cardinalities, but the grounder arrived in an infinite loop.

An equivalent way of stating this is by a cardinality over the union of the sets: ! step: #[{package: Load(package,step)},{package: Unload(package,step)},{loc: DriveTo(loc,step)}]<2.

But the grounder gives a syntax error.

[Broes De Cat]

Fixes #352: Card is also cpable. (but would be better to turn into sum earlier)

→ <<cset 88b3843d95a9>>

[Broes De Cat]

Fixes #352: Card is also cpable. (but would be better to turn into sum earlier)

→ <<cset 0955389d4edb>>

[Broes De Cat]

Fixes #352: Card is also cpable. (but would be better to turn into sum earlier)

→ <<cset 923246e34fe5>>

[Broes De Cat]

Fixes #352: Card is also cpable. (but would be better to turn into sum earlier)

→ <<cset d4d34ccc5f6d>>

[Broes De Cat]

Fixes #352: Card is also cpable. (but would be better to turn into sum earlier)

→ <<cset 6f63ebbd4244>>

[Broes De Cat]

Fixes #352: Card is also cpable. (but would be better to turn into sum earlier)

→ <<cset c4dbe7e20b87>>

[Joachim Jansen]

Fixes #352: Card is also cpable. (but would be better to turn into sum earlier)

→ <<cset bc66c076052e>>

[Joachim Jansen]

Fixes #352: Card is also cpable. (but would be better to turn into sum earlier)

→ <<cset 923246e34fe5>>

[Broes De Cat]

Fixes #352: Card is also cpable. (but would be better to turn into sum earlier)

→ <<cset 923246e34fe5>>