var structCVC4_1_1options_1_1ufssSimpleCliques____option__t =
[
    [ "type", "structCVC4_1_1options_1_1ufssSimpleCliques____option__t.html#a19fcce5d6ecba291205c3315ef29fe78", null ],
    [ "operator()", "structCVC4_1_1options_1_1ufssSimpleCliques____option__t.html#a6dbf28f547788cb2414d0a5c6c74b319", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1ufssSimpleCliques____option__t.html#a0ad432b714d57a550eddf9d0bee2762b", null ]
];