var _named_range_8h =
[
    [ "NamedRange_", "d4/db1/class_gaudi_1_1_named_range__.html", "d4/db1/class_gaudi_1_1_named_range__" ],
    [ "range", "d5/d6d/_named_range_8h.html#a2fe17965a22fd7b50f3ed8b33240e676", null ]
];