var theory_2idl_2options_8h =
[
    [ "CVC4::options::idlRewriteEq__option_t", "structCVC4_1_1options_1_1idlRewriteEq____option__t.html", "structCVC4_1_1options_1_1idlRewriteEq____option__t" ],
    [ "CVC4_OPTIONS__IDL__FOR_OPTION_HOLDER", "theory_2idl_2options_8h.html#a75f8021df39ce5c947c02c01213f4b02", null ],
    [ "idlRewriteEq", "theory_2idl_2options_8h.html#ad878678a68ed0286493fb6e079c4c81c", null ]
];