var dtptri_8f =
[
    [ "dtptri", "d4/d92/group__tptri_ga5f8af5d725a5c1cd3423b5ae8c882171.html#ga5f8af5d725a5c1cd3423b5ae8c882171", null ]
];
.