var _selector_8cpp =
[
    [ "BATCH_SIZE", "_selector_8cpp.html#ac1d895cb4479f043958ccc5cb92d630f", null ]
];