var theory_2sets_2options_8h =
[
    [ "CVC4::options::setsPropagate__option_t", "structCVC4_1_1options_1_1setsPropagate____option__t.html", "structCVC4_1_1options_1_1setsPropagate____option__t" ],
    [ "CVC4::options::setsEagerLemmas__option_t", "structCVC4_1_1options_1_1setsEagerLemmas____option__t.html", "structCVC4_1_1options_1_1setsEagerLemmas____option__t" ],
    [ "CVC4_OPTIONS__SETS__FOR_OPTION_HOLDER", "theory_2sets_2options_8h.html#a90ec63a001cbd3dc530828ee2ba28e6a", null ],
    [ "setsEagerLemmas", "theory_2sets_2options_8h.html#a03f7066513c7071d2d8cf0990cbe1a32", null ],
    [ "setsPropagate", "theory_2sets_2options_8h.html#ac469df3d724d1b87e728155220412538", null ]
];