var rotate__copy_8hpp =
[
    [ "rotate_copy", "rotate__copy_8hpp.html#ga2c89003bb5b7f011b6325cf0f14fd94a", null ],
    [ "rotate_copy", "rotate__copy_8hpp.html#gaac7f89146b07c2ddf05a65b8d98abeb5", null ]
];