var structCVC4_1_1options_1_1decisionUseWeight____option__t =
[
    [ "type", "structCVC4_1_1options_1_1decisionUseWeight____option__t.html#ad4c70330bb6e07b2900f2682c5ab04a7", null ],
    [ "operator()", "structCVC4_1_1options_1_1decisionUseWeight____option__t.html#a67d6140afe419046063005b8412c14af", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1decisionUseWeight____option__t.html#a2576d23949c56ebb69246a680c7fb58c", null ]
];