var structCVC4_1_1options_1_1nnfQuant____option__t =
[
    [ "type", "structCVC4_1_1options_1_1nnfQuant____option__t.html#a23c795544c481d179cafb5c16fec9edd", null ],
    [ "operator()", "structCVC4_1_1options_1_1nnfQuant____option__t.html#a1b9c1e9c3131dd38b249c8fcacd83871", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1nnfQuant____option__t.html#af3dee76dbdb37edd4f7778297b6b7757", null ]
];