var classRDKit_1_1BadFileException =
[
    [ "BadFileException", "classRDKit_1_1BadFileException.html#a35ea42bc347b7d317346f98a07d4a741", null ],
    [ "BadFileException", "classRDKit_1_1BadFileException.html#a0e4501bb69df926d6e848a0e230ff49d", null ],
    [ "~BadFileException", "classRDKit_1_1BadFileException.html#a688bade813476546f33f1e32d88b7b76", null ],
    [ "what", "classRDKit_1_1BadFileException.html#a5d65e8130c8b205edb1907765ad5c96a", null ]
];