var is__partitioned_8hpp =
[
    [ "IsPartitionedable", "is__partitioned_8hpp.html#gac8e87bc6b459910588784e2567a35889", null ],
    [ "is_partitioned", "is__partitioned_8hpp.html#ga14e144feb80bb05e86c1c0e5481fab41", null ]
];