var structCVC4_1_1options_1_1ufssCliqueSplits____option__t =
[
    [ "type", "structCVC4_1_1options_1_1ufssCliqueSplits____option__t.html#a800c0b93e3d54f262c66e6a6ef464a0e", null ],
    [ "operator()", "structCVC4_1_1options_1_1ufssCliqueSplits____option__t.html#a8e8aae72b7b43c93c00067fce5d4aeb2", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1ufssCliqueSplits____option__t.html#af79ac3128c44dc9e6089ab96e771884f", null ]
];