var structCVC4_1_1options_1_1miniscopeQuant____option__t =
[
    [ "type", "structCVC4_1_1options_1_1miniscopeQuant____option__t.html#adb1f9ebde54ecfc06c7e5ca8c4750666", null ],
    [ "operator()", "structCVC4_1_1options_1_1miniscopeQuant____option__t.html#a51bf185173d02398bf32e036b30988fc", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1miniscopeQuant____option__t.html#a34eaf7b162d9bbe3a62c96a4f72fec6a", null ]
];