var a02815 =
[
    [ "overflow_error", "a02815.html#afc8e1450ba007a9979771c90c54939e5", null ],
    [ "overflow_error", "a02815.html#a963bead4d5d3da97f72c5719a57f7795", null ],
    [ "~overflow_error", "a02815.html#ade3599629a586cede8e9bc29b7069996", null ],
    [ "what", "a02815.html#a261a33056182b4b5f047e7061d716380", null ]
];