var max_8hpp =
[
    [ "max", "max_8hpp.html#ga20ff612d5e9d7c2df13f5e31b0344956", null ],
    [ "max", "max_8hpp.html#ga2ea54cf8600d95250bf533aea2daa0ed", null ],
    [ "max", "max_8hpp.html#gad23c6f6702f6c86e3a83e7811209c2b3", null ]
];