var rotate_8hpp =
[
    [ "rotate", "rotate_8hpp.html#gaf0a7c215ad231b50b33027aefc2b7208", null ],
    [ "rotate", "rotate_8hpp.html#gac675d71f931ca61b04c8b555fa7ba25b", null ]
];