var structCVC4_1_1options_1_1arithErrorSelectionRule____option__t =
[
    [ "type", "structCVC4_1_1options_1_1arithErrorSelectionRule____option__t.html#a2a820e5ffa3b41c15964082440a80db3", null ],
    [ "operator()", "structCVC4_1_1options_1_1arithErrorSelectionRule____option__t.html#a8354d808ad47737e13481b0279ff24a2", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1arithErrorSelectionRule____option__t.html#aa09522c89625b82516fc56f43a4d2bdf", null ]
];