text: var edit_distance_8h =
  [
      [ "LevenshteinAlignment", "edit-distance_8h.html#a5017c9b6fb9d1958ca00fc9b0a7cda4b", null ],
      [ "LevenshteinEditDistance", "edit-distance_8h.html#a492b0a1d8f894f6bf4781e4a52a6a226", null ],
      [ "LevenshteinEditDistance", "edit-distance_8h.html#ad67e6b7d9a76043024ece4b095a1d960", null ]
  ];