var structCVC4_1_1options_1_1simplificationMode____option__t =
[
    [ "type", "structCVC4_1_1options_1_1simplificationMode____option__t.html#a6c6777200c5ee460fef0d95f8de0a8ec", null ],
    [ "operator()", "structCVC4_1_1options_1_1simplificationMode____option__t.html#abe31e392cbc6f58f5b2968e2fbca6216", null ],
    [ "set", "structCVC4_1_1options_1_1simplificationMode____option__t.html#afd41fac5fde3eb5e32c4e84c8355f512", null ],
    [ "wasSetByUser", "structCVC4_1_1options_1_1simplificationMode____option__t.html#ae4d8be6a1b4151929dab651f9d98fd71", null ]
];