text: var searchData=
  [
    ['platform_0',['Platform',['../class_platform.html',1,'']]],
    ['platforms_1',['Platforms',['../class_platforms.html',1,'']]],
    ['player_2',['Player',['../class_player.html',1,'']]]
  ];
  