Searched refs:isets_ (Results 1 – 2 of 2) sorted by relevance
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[all …]
58 vector< IntervalSet<L> > *IntervalSets() { return &isets_; } in IntervalSets()81 ReadType(istrm, &data->isets_); in Read()91 WriteType(ostrm, isets_); in Write()108 vector<IntervalSet <L> > isets_; // Interval sets per state. variable