var printer_2options_8h =
[
    [ "CVC4::options::modelFormatMode__option_t", "structCVC4_1_1options_1_1modelFormatMode____option__t.html", "structCVC4_1_1options_1_1modelFormatMode____option__t" ],
    [ "CVC4::options::instFormatMode__option_t", "structCVC4_1_1options_1_1instFormatMode____option__t.html", "structCVC4_1_1options_1_1instFormatMode____option__t" ],
    [ "CVC4_OPTIONS__PRINTER__FOR_OPTION_HOLDER", "printer_2options_8h.html#a65ae4279c99e4a302887ab02f707365f", null ],
    [ "instFormatMode", "printer_2options_8h.html#a7c0ae4e4466d24eb57cbaa79f159db37", null ],
    [ "modelFormatMode", "printer_2options_8h.html#a9047f0338554648b9b1c2bfaf72c5c83", null ]
];