var partial__sort__copy_8hpp =
[
    [ "PartialSortCopyConcept", "partial__sort__copy_8hpp.html#gaf0101df2ca0090711ed05287cc9b9d2d", null ],
    [ "partial_sort_copy", "partial__sort__copy_8hpp.html#gace25aa7d6ed2c607b5eef92551dd830c", null ]
];