var a01672 = [ [ "bad_cast", "a01672.html#a0298049371f532b05443577d1a7916b1", null ], [ "~bad_cast", "a01672.html#a867d613b1752512539e04d4231521ab7", null ], [ "what", "a01672.html#a06dd9ba98e54d468ba243e7354c52714", null ] ];
var a01672 = [ [ "bad_cast", "a01672.html#a0298049371f532b05443577d1a7916b1", null ], [ "~bad_cast", "a01672.html#a867d613b1752512539e04d4231521ab7", null ], [ "what", "a01672.html#a06dd9ba98e54d468ba243e7354c52714", null ] ];