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