var partition__copy_8hpp =
[
    [ "partition_copy", "partition__copy_8hpp.html#ga8818eeda03738969ead1a938be36e927", null ],
    [ "partition_copy", "partition__copy_8hpp.html#gab8f86064adcb09711e549c82a13da893", null ]
];