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)