var copy__if_8hpp =
[
    [ "copy_if_result", "copy__if_8hpp.html#ga5a179c5b7b8620b7fd95dc315cab0a39", null ],
    [ "copy_if", "copy__if_8hpp.html#gaf3817fe93ed0a1196bbba995198dd109", null ],
    [ "copy_if", "copy__if_8hpp.html#ga36a0fa6e08d83f6cf93b41faf86b1ad8", null ]
];