var classRDKit_1_1BadFileException =
[
    [ "BadFileException", "classRDKit_1_1BadFileException.html#a35ea42bc347b7d317346f98a07d4a741", null ],
    [ "BadFileException", "classRDKit_1_1BadFileException.html#a29c4d6938a5983d4e207f56835940f5e", null ],
    [ "~BadFileException", "classRDKit_1_1BadFileException.html#a73e2262dd8ad8a253208728e14bc6fff", null ],
    [ "message", "classRDKit_1_1BadFileException.html#acef851899f8dad873d2282f8a37b0443", null ]
];