Constraints:

No additional constraints.

Operations:

Signature: allIncludedUseCases() : UseCase;Description: The query allIncludedUseCases() returns the transitive closure of all UseCases
(directly or indirectly) included by this UseCase.Expression: result = (self.include.addition->union(self.include.addition->collect(uc | uc.allIncludedUseCases()))->asSet())