var dtgexc_8f = [ [ "dtgexc", "da/d4c/group__tgexc_ga1749c83a764f42fbc57afa77a60eb5c0.html#ga1749c83a764f42fbc57afa77a60eb5c0", null ] ]; .