var class_xml_files_manager =
[
    [ "GetFile", "class_xml_files_manager.html#a85ef32c742ab36ea803a6a7b208f43c5", null ],
    [ "GetOpenedFilesList", "class_xml_files_manager.html#a53bfc382ef148312dcbe60690431be8c", null ],
    [ "LoadFile", "class_xml_files_manager.html#a99d0c01412d0555eecc254bbff2eed5e", null ],
    [ "UnloadFile", "class_xml_files_manager.html#af549110b88694a9c9863f96a3368d1b7", null ]
];