ws_server/docs/html/search/searchdata.js

var indexSectionsWithContent =
{
  0: "acdhimnoprstw~",
  1: "ms",
  2: "cmrst",
  3: "cimors~",
  4: "insw",
  5: "acdhmpst",
  6: "w"
};

var indexSectionNames =
{
  0: "all",
  1: "classes",
  2: "files",
  3: "functions",
  4: "variables",
  5: "defines",
  6: "pages"
};

var indexSectionLabels =
{
  0: "All",
  1: "Classes",
  2: "Files",
  3: "Functions",
  4: "Variables",
  5: "Macros",
  6: "Pages"
};