var minmax_8hpp =
[
    [ "minmax_result", "minmax_8hpp.html#ga33d3732bfda9763bacb492f678c49ac2", null ],
    [ "minmax", "minmax_8hpp.html#ga88d3a1dad8f5b506eb9d437d82205609", null ],
    [ "minmax", "minmax_8hpp.html#gaffdee79083e3876c7562153203673fb8", null ],
    [ "minmax", "minmax_8hpp.html#ga20cd213410245835bdafb2e6eb996895", null ]
];