var structCVC4_1_1options_1_1dumpProofs____option__t =
[
    [ "type", "structCVC4_1_1options_1_1dumpProofs____option__t.html#ace4c4ed0b7e63b33524011c14eadf612", null ],
    [ "operator()", "structCVC4_1_1options_1_1dumpProofs____option__t.html#a3fb4470f7ec5f6be50fd81b25bb2b955", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1dumpProofs____option__t.html#ad0462787e319d219f2277fdb92d12744", null ]
];