var structCVC4_1_1options_1_1instMaxLevel____option__t =
[
    [ "type", "structCVC4_1_1options_1_1instMaxLevel____option__t.html#ab35581ad951b5b54f44cb55f2d016ac7", null ],
    [ "operator()", "structCVC4_1_1options_1_1instMaxLevel____option__t.html#ac8de82fd46652b41c66331d41d2b56f9", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1instMaxLevel____option__t.html#ab5e4f1f8b238d7b07203beeeaf39c561", null ]
];