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