-
assigned issue to
- marked as enhancement
- marked as minor
CP support voor functies in aggregaten
Issue #304
resolved
Check of beide even goed opgelost worden met cp:
!t[Table]: (MinTableSize =< #{guest: SitsAt(guest)=t} =< MaxTableSize)
!t[Table]: (MinTableSize =<Places(t) =< MaxTableSize) Places(t)=#{guest: SitsAt(guest)=t}.
(zonder cp blaast grounding van tweede stap op)
Comments (3)
-
reporter -
reporter - changed status to resolved
Verified: checks out as expected.
-
Mooi!
- Log in to comment