var a00712 =
[
    [ "domain_error", "a00712.html#a38a99112a1c675b784847152edc5be07", null ],
    [ "~domain_error", "a00712.html#a885f6c52568e0e6c6296a04af0d5e630", null ],
    [ "what", "a00712.html#af5a397ba77e968fba6aca8cc6c77b171", null ]
];