var class_exception_handler = [ [ "ExceptionHandler", "class_exception_handler.html#a2f3bbf85520b804d318c9dd32a363e51", null ], [ "~ExceptionHandler", "class_exception_handler.html#acdb2dda4226305ca238bd975ef4ad67e", null ] ];