var group__seg__name =
[
    [ "set_segm_name", "group__seg__name.html#ga3d5103bc9a9467bf76955237678ebe1a", null ],
    [ "get_segm_name", "group__seg__name.html#ga338226d1af237de04e3ca6c941560afe", null ],
    [ "get_visible_segm_name", "group__seg__name.html#ga9664611338c9701b54dd1f0e4915a7d9", null ],
    [ "get_segm_expr", "group__seg__name.html#gafbbbb4017cfa20f887d0b6f0fe01693f", null ]
];