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