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