var group__pstrf =
[
    [ "cpstrf", "de/de0/group__pstrf_ga0d3b67bf8ff3921aa220c9d7c356e6b1.html#ga0d3b67bf8ff3921aa220c9d7c356e6b1", null ],
    [ "dpstrf", "de/de0/group__pstrf_ga27d24f9a4af47099060aafcb15fbd296.html#ga27d24f9a4af47099060aafcb15fbd296", null ],
    [ "spstrf", "de/de0/group__pstrf_gac255ab829d8fbf89e388c4c2dbd7ebae.html#gac255ab829d8fbf89e388c4c2dbd7ebae", null ],
    [ "zpstrf", "de/de0/group__pstrf_ga577fae3da312873125a5cf64c38a3de6.html#ga577fae3da312873125a5cf64c38a3de6", null ]
];
.