var structCVC4_1_1options_1_1decisionMode____option__t =
[
    [ "type", "structCVC4_1_1options_1_1decisionMode____option__t.html#a99f280d337ee945ebc5ccbd8de961972", null ],
    [ "operator()", "structCVC4_1_1options_1_1decisionMode____option__t.html#a036f325403d3a9ea65b05796c46e788d", null ],
    [ "set", "structCVC4_1_1options_1_1decisionMode____option__t.html#a9f604a50c0847d1a2525322209367049", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1decisionMode____option__t.html#a0583fb1d5e8eacba55083cede0894ed6", null ]
];