var structCVC4_1_1options_1_1simpleIteLiftQuant____option__t =
[
    [ "type", "structCVC4_1_1options_1_1simpleIteLiftQuant____option__t.html#abb9be47e71d3b94f31f003952ea8107a", null ],
    [ "operator()", "structCVC4_1_1options_1_1simpleIteLiftQuant____option__t.html#ab1ba85597b8a58a6156d713157a9de91", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1simpleIteLiftQuant____option__t.html#ad9277e641aa387fe6243a1a10c2c5347", null ]
];