var expr_2options_8h =
[
    [ "CVC4::options::defaultExprDepth__option_t", "structCVC4_1_1options_1_1defaultExprDepth____option__t.html", "structCVC4_1_1options_1_1defaultExprDepth____option__t" ],
    [ "CVC4::options::defaultDagThresh__option_t", "structCVC4_1_1options_1_1defaultDagThresh____option__t.html", "structCVC4_1_1options_1_1defaultDagThresh____option__t" ],
    [ "CVC4::options::earlyTypeChecking__option_t", "structCVC4_1_1options_1_1earlyTypeChecking____option__t.html", "structCVC4_1_1options_1_1earlyTypeChecking____option__t" ],
    [ "CVC4::options::typeChecking__option_t", "structCVC4_1_1options_1_1typeChecking____option__t.html", "structCVC4_1_1options_1_1typeChecking____option__t" ],
    [ "CVC4::options::biasedITERemoval__option_t", "structCVC4_1_1options_1_1biasedITERemoval____option__t.html", "structCVC4_1_1options_1_1biasedITERemoval____option__t" ],
    [ "CVC4_OPTIONS__EXPR__FOR_OPTION_HOLDER", "expr_2options_8h.html#a4c3fe57bc4353c375c2d056b3471ba93", null ],
    [ "biasedITERemoval", "expr_2options_8h.html#af72ace1e1b5a05503f28d9021f963ca6", null ],
    [ "defaultDagThresh", "expr_2options_8h.html#a38db613c7fa21a2cb11b080918df668c", null ],
    [ "defaultExprDepth", "expr_2options_8h.html#a6f2b8daae0d43ca67cf2048aaaee7def", null ],
    [ "earlyTypeChecking", "expr_2options_8h.html#aab68552a8b82e647ab243790c35f0b8d", null ],
    [ "typeChecking", "expr_2options_8h.html#aafc22e7cde4c7d74be9ad65196769ba5", null ]
];