var a02788 = [ [ "domain_error", "a02788.html#aafd40e6b6f1ed7cf2f287e02df62f298", null ], [ "domain_error", "a02788.html#a25ed2c31590d46cb968131969f1e877b", null ], [ "~domain_error", "a02788.html#a885f6c52568e0e6c6296a04af0d5e630", null ], [ "what", "a02788.html#ae8b3821398a8d041bbfdf2c44c972569", null ] ];