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