![]()  | 
  
    MySQL 8.0.44
    
   Source Code Documentation 
   | 
 
Contains a list of intervals allocated by this Gtid_set. More...
Public Attributes | |
| Interval_chunk * | next | 
| Interval | intervals [1] | 
Contains a list of intervals allocated by this Gtid_set.
When a method of this class needs a new interval and there are no more free intervals, a new Interval_chunk is allocated and the intervals of it are added to the list of free intervals.
| Interval Gtid_set::Interval_chunk::intervals[1] | 
| Interval_chunk* Gtid_set::Interval_chunk::next |