Member predicate Public :: SummaryComponentStack :: contains
Holds if this stack contains summary component c
.
predicate
contains
(
SummaryComponent
c
)