text: var a00311 =
  [
      [ "BLOCK_LABEL_HEIGHT", "a00311.html#ad0e3ca9368f7687b1a72cf083cad3033", null ],
      [ "ROW_SPACING", "a00311.html#a5dc7c010531abd2d115dac13c196eda3", null ],
      [ "decreasing_top_order", "a00311.html#a653fb765bd7b90bf65d53f6ffe356955", null ],
      [ "ExtractBlobsFromSegmentation", "a00311.html#a03fb1ef59c6b36c9c4658510f4694b52", null ],
      [ "LeftMargin", "a00311.html#ae96294df3ba42a4344755ce6a7220652", null ],
      [ "PrintSegmentationStats", "a00311.html#a7f48b20c8959347726c816b94b3c47f5", null ],
      [ "RefreshWordBlobsFromNewBlobs", "a00311.html#af0a18fdb19dd9d4ebe9e73b864c2fad5", null ],
      [ "RightMargin", "a00311.html#ae85a4fad06cd7308595bda498a8e78e2", null ]
  ];