| 661 | /// Index Range in the 'tmp_files'. Used to keep track of index range |
| 662 | /// corresponding to a given priority. |
| 663 | struct TmpFileIndexRange { |
| 664 | TmpFileIndexRange(int start, int end) |
| 665 | : start(start), end(end) {} |
| 666 | // Start index of the range. |
| 667 | const int start; |
| 668 | // End index of the range. |
| 669 | const int end; |
| 670 | }; |
| 671 | /// Map storing the index range in the 'tmp_files', corresponding to scratch dirs's |
| 672 | /// priority. |
| 673 | std::map<int, TmpFileIndexRange> tmp_files_index_range_; |