Searched refs:state2index (Results 1 – 2 of 2) sorted by relevance
54 vector<I> *state2index) in IntervalReachVisitor() argument57 state2index_(state2index), in IntervalReachVisitor()58 index_(state2index->empty() ? 1 : -1), in IntervalReachVisitor()
474 vector<Label> &state2index = state_reachable.State2Index(); in FindIntervals() local486 Label i = state2index[s]; in FindIntervals()