var structCVC4_1_1options_1_1bitvectorQuickXplain____option__t =
[
    [ "type", "structCVC4_1_1options_1_1bitvectorQuickXplain____option__t.html#a8c03d3027f9dc4edf1b169ac71e2a93a", null ],
    [ "operator()", "structCVC4_1_1options_1_1bitvectorQuickXplain____option__t.html#a5516d8ede8f7467fd884478287c80e57", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1bitvectorQuickXplain____option__t.html#aa79b13c6e050d1d289d1f92cae2f20ee", null ]
];