var structCVC4_1_1options_1_1rewriteApplyToConst____option__t =
[
    [ "type", "structCVC4_1_1options_1_1rewriteApplyToConst____option__t.html#a2a772b48ed4cdaf87866058696a8a556", null ],
    [ "operator()", "structCVC4_1_1options_1_1rewriteApplyToConst____option__t.html#a8b8f9c996e2ed3d94ef7c03ab0b44786", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1rewriteApplyToConst____option__t.html#a8b30ff8fc726ba231a4345796aa769e4", null ]
];