var partition__copy_8hpp =
[
    [ "PartitionCopyable", "partition__copy_8hpp.html#ga5c959d0ba6110faea7e16a61ac9215cc", null ],
    [ "partition_copy", "partition__copy_8hpp.html#ga798952e773075c765b42436bf6ffd872", null ]
];