var structCVC4_1_1options_1_1sat__refine__conflicts____option__t =
[
    [ "type", "structCVC4_1_1options_1_1sat__refine__conflicts____option__t.html#ad190c6d45b9ebfb26e7bcb6ea1a20729", null ],
    [ "operator()", "structCVC4_1_1options_1_1sat__refine__conflicts____option__t.html#a8798bbfef17547ec9f4d0906b4c36318", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1sat__refine__conflicts____option__t.html#a93f880c4e6ed15c240956e3ce8d79c3e", null ]
];