var group__rotm =
[
    [ "drotm", "dc/d23/group__rotm_ga4ffe410ec9e3ba6d5632fd16500c45c2.html#ga4ffe410ec9e3ba6d5632fd16500c45c2", null ],
    [ "srotm", "dc/d23/group__rotm_ga9b95e7fbcee2aab54d571e3986484808.html#ga9b95e7fbcee2aab54d571e3986484808", null ]
];
.