var proximity_8h =
[
    [ "Proximity", "classProximity.html", "classProximity" ],
    [ "operator<<", "proximity_8h.html#a89a5bc332d9d300d9e4f53bb507011cb", null ],
    [ "operator>>", "proximity_8h.html#a2bb735dfe82cee369d797aad02849fb5", null ]
];