Searched refs:IntervalSets (Results 1 – 2 of 2) sorted by relevance
58 vector< IntervalSet<L> > *IntervalSets() { return &isets_; } in IntervalSets() function275 vector< IntervalSet<Label> > &isets = *data_->IntervalSets(); in Reach()283 vector< IntervalSet<Label> > &isets = *data_->IntervalSets(); in ReachFinal()305 vector< IntervalSet<Label> > &isets = *data_->IntervalSets(); in Reach()475 vector< IntervalSet<Label> > &isets = *data_->IntervalSets(); in FindIntervals()476 isets = state_reachable.IntervalSets(); in FindIntervals()
183 const vector< IntervalSet<I> > &IntervalSets() { return isets_; } in IntervalSets() function