Member predicate Private :: SummaryNodeState :: isOutputState
Holds if this state is a valid output state for c.
predicate
isOutputState
(
SummarizedCallable
c
,
SummaryComponentStack
s
)