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