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)