text: var _arena_manager_8cs =
  [
      [ "Consts", "class_consts.html", "class_consts" ],
      [ "ArenaManager", "class_arena_manager.html", "class_arena_manager" ],
      [ "Random", "_arena_manager_8cs.html#a24953b19d956caa76c403684c71b4e5b", null ]
  ];