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