Lines Matching refs:isets
275 vector< IntervalSet<Label> > &isets = *data_->IntervalSets(); in Reach() local
276 return isets[s_].Member(label); in Reach()
283 vector< IntervalSet<Label> > &isets = *data_->IntervalSets(); in ReachFinal() local
284 return isets[s_].Member(data_->FinalLabel()); in ReachFinal()
305 vector< IntervalSet<Label> > &isets = *data_->IntervalSets(); in Reach() local
306 const vector<Interval> *intervals = isets[s_].Intervals(); in Reach()
475 vector< IntervalSet<Label> > &isets = *data_->IntervalSets(); in FindIntervals() local
476 isets = state_reachable.IntervalSets(); in FindIntervals()
477 isets.resize(ins); in FindIntervals()
494 nintervals += isets[s].Size(); in FindIntervals()
495 if (isets[s].Size() > 1) { in FindIntervals()
497 VLOG(3) << "state: " << s << " # of intervals: " << isets[s].Size(); in FindIntervals()