includes RoyalAndLoyal
Contexto Membership
invariant_Membership2->self.participants.cards->collect( i_CustomerCard : CustomerCard | i_CustomerCard.membership )->includes(self)
Genera
invariant8 = context _Membership [invariant_Membership2]
invariant_Membership2 self = ((ocl self |.| participants' |.| cards |->| collect(\i_CustomerCard -> ocl i_CustomerCard |.| membership)) |->| (includes (ocl self)))
Tiene que generar
invariant_Membership2 self = ((ocl self |.| participants' |.| cards |->| collect(\i_CustomerCard -> ocl i_CustomerCard |.| membership)) |->| (includes (self)))
Ya que el tipo de includes es
includes :: Eq a => Val a -> Val (Collection a) -> OCL m (Val Bool)