var partition_8hpp =
[
    [ "partition", "partition_8hpp.html#ga9c281ce7a70bb6063fb73fb0b6453f8d", null ],
    [ "partition", "partition_8hpp.html#ga51821b8e37a34a087f0fda3e44d756fc", null ]
];