var a06061 = [ [ "regex_error", "a06061.html#a44d4ab569c3f1f9146b8cb4b1f4897c0", null ], [ "~regex_error", "a06061.html#a820a3888cf83d7864d2caa071b3f7e48", null ], [ "code", "a06061.html#a3fa7937e28854ac53d3e7b51e1cca6a3", null ], [ "what", "a06061.html#a45f5b9c4b7141ac429bf6ea99a7ff6bf", null ] ];