var structCVC4_1_1options_1_1err____option__t =
[
    [ "type", "structCVC4_1_1options_1_1err____option__t.html#af8b3ded791c5887d8d45430814547f1d", null ],
    [ "operator()", "structCVC4_1_1options_1_1err____option__t.html#ad0571545bc27bf4b38ae46e2e16f40d0", null ],
    [ "set", "structCVC4_1_1options_1_1err____option__t.html#ada1c5ff241a3a9d53d7fd5c740ad7762", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1err____option__t.html#a233f9ccfd5697d8b57d9c06e7e8ef132", null ]
];