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