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