Member predicate TrackableState::startsAt
Holds if state starts at f given context ctx.
Either this predicate or startsAt(ControlFlowNode f)
should be overridden by sub-classes.
predicate startsAt(ControlFlowNode f, Context ctx)Holds if state starts at f given context ctx.
Either this predicate or startsAt(ControlFlowNode f)
should be overridden by sub-classes.
predicate startsAt(ControlFlowNode f, Context ctx)