var theory_2datatypes_2options_8h =
[
    [ "CVC4::options::dtRewriteErrorSel__option_t", "structCVC4_1_1options_1_1dtRewriteErrorSel____option__t.html", "structCVC4_1_1options_1_1dtRewriteErrorSel____option__t" ],
    [ "CVC4::options::dtForceAssignment__option_t", "structCVC4_1_1options_1_1dtForceAssignment____option__t.html", "structCVC4_1_1options_1_1dtForceAssignment____option__t" ],
    [ "CVC4_OPTIONS__DATATYPES__FOR_OPTION_HOLDER", "theory_2datatypes_2options_8h.html#a1a8a12f3f831d37ef29b67fcaf1c3c84", null ],
    [ "dtForceAssignment", "theory_2datatypes_2options_8h.html#a620c0661d0fd71d7abe2aff9733cd0c9", null ],
    [ "dtRewriteErrorSel", "theory_2datatypes_2options_8h.html#a7d8a54b020ff5217b3387d1ef15a3307", null ]
];