var copy__if_8hpp =
[
    [ "copy_if", "copy__if_8hpp.html#ga9bf549e35a88461196d0184014435d84", null ],
    [ "copy_if", "copy__if_8hpp.html#ga8dec2f6469e25cd685555f8dcd6fd0a0", null ]
];