var theory_2booleans_2options_8h =
[
    [ "CVC4::options::booleanTermConversionMode__option_t", "structCVC4_1_1options_1_1booleanTermConversionMode____option__t.html", "structCVC4_1_1options_1_1booleanTermConversionMode____option__t" ],
    [ "CVC4_OPTIONS__BOOLEANS__FOR_OPTION_HOLDER", "theory_2booleans_2options_8h.html#a348098f9cc01d4bbbf5f3f82d29a63ef", null ],
    [ "booleanTermConversionMode", "theory_2booleans_2options_8h.html#adac0407b33a302785d4744139f8a098e", null ]
];