Searched refs:isets (Results 1 – 2 of 2) sorted by relevance
275 vector< IntervalSet<Label> > &isets = *data_->IntervalSets(); in Reach() local276 return isets[s_].Member(label); in Reach()283 vector< IntervalSet<Label> > &isets = *data_->IntervalSets(); in ReachFinal() local284 return isets[s_].Member(data_->FinalLabel()); in ReachFinal()305 vector< IntervalSet<Label> > &isets = *data_->IntervalSets(); in Reach() local306 const vector<Interval> *intervals = isets[s_].Intervals(); in Reach()475 vector< IntervalSet<Label> > &isets = *data_->IntervalSets(); in FindIntervals() local476 isets = state_reachable.IntervalSets(); in FindIntervals()477 isets.resize(ins); in FindIntervals()494 nintervals += isets[s].Size(); in FindIntervals()[all …]
53 vector< IntervalSet<I> > *isets, in IntervalReachVisitor()56 isets_(isets), in IntervalReachVisitor()