Member predicate TrackableState::mayNotApplyTo
Holds if this state may apply to the control flow node f
, regardless of the context.
predicate mayNotApplyTo(ControlFlowNode f)
Holds if this state may apply to the control flow node f
, regardless of the context.
predicate mayNotApplyTo(ControlFlowNode f)