var ddot_8f =
[
    [ "ddot", "d1/dcc/group__dot_ga2a42ecc597403b22ad786715c739196b.html#ga2a42ecc597403b22ad786715c739196b", null ]
];
.