var structCVC4_1_1options_1_1proof____option__t =
[
    [ "type", "structCVC4_1_1options_1_1proof____option__t.html#ab3e53b9cdc5eecde473c6d5eca752bb1", null ],
    [ "operator()", "structCVC4_1_1options_1_1proof____option__t.html#afd8a119a5d79a14a671bbd0599f52362", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1proof____option__t.html#af10e29a04a800301c57f1d39a24d6a52", null ]
];