var structCVC4_1_1options_1_1checkProofs____option__t =
[
    [ "type", "structCVC4_1_1options_1_1checkProofs____option__t.html#a77c559110aef095d653e202be5a291d3", null ],
    [ "operator()", "structCVC4_1_1options_1_1checkProofs____option__t.html#a9bfc2911c7bf603a6ca2b9bd449d49b6", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1checkProofs____option__t.html#ae7ef1b0a3e7086de39899c0d69c9d277", null ]
];