var class_file_reader =
[
    [ "FileReader", "class_file_reader.html#a0a245d38240776dc53ffd1cc41e344c9", null ],
    [ "more", "class_file_reader.html#a8c9c45c3066ab92f6cf3746e21675b6a", null ]
];