Lines Matching full:isets_
56 isets_(isets),
60 isets_->clear();
66 while (isets_->size() <= s)
67 isets_->push_back(IntervalSet<Label>());
73 vector<Interval> *intervals = (*isets_)[s].Intervals();
108 (*isets_)[s].Union((*isets_)[arc.nextstate]);
114 vector<Interval> *intervals = (*isets_)[s].Intervals();
117 (*isets_)[s].Normalize();
119 (*isets_)[p].Union((*isets_)[s]); // Propagate intervals to parent
128 vector< IntervalSet<I> > *isets_;
150 IntervalReachVisitor<Arc> reach_visitor(fst, &isets_, &state2index_);
175 return isets_[s_].Member(i);
183 const vector< IntervalSet<I> > &IntervalSets() { return isets_; }
189 vector< IntervalSet<I> > isets_; // Interval sets per state
