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