text: var class_standard_allocator =
  [
      [ "allocate", "class_standard_allocator.html#a0d53eb1028a2439d9d3089b44a9fa629", null ],
      [ "deallocate", "class_standard_allocator.html#ab8926c8450b71ec5c064c9b4acd6da47", null ]
  ];