var structCVC4_1_1options_1_1ufSymmetryBreaker____option__t =
[
    [ "type", "structCVC4_1_1options_1_1ufSymmetryBreaker____option__t.html#aaa20a7c47583549cca2bc21e9626cbd6", null ],
    [ "operator()", "structCVC4_1_1options_1_1ufSymmetryBreaker____option__t.html#a6ae37792c48eba0876cc66d449cda1d4", null ],
    [ "set", "structCVC4_1_1options_1_1ufSymmetryBreaker____option__t.html#a30ec8bc1fd86a2b3bd7faf3983a390f5", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1ufSymmetryBreaker____option__t.html#a1bb43ec1987ecd7296f56150c4cb29b0", null ]
];