var minmax_8hpp =
[
    [ "minmax", "minmax_8hpp.html#ga382fd1edd60f95f4ba2eaf7d23b9864d", null ],
    [ "minmax", "minmax_8hpp.html#gaace10edd32c2fca7609b1863143659c6", null ],
    [ "minmax", "minmax_8hpp.html#ga6945f19b065aa673bb10d523602acba8", null ]
];