var theory_2options_8h =
[
    [ "CVC4::options::theoryOfMode__option_t", "structCVC4_1_1options_1_1theoryOfMode____option__t.html", "structCVC4_1_1options_1_1theoryOfMode____option__t" ],
    [ "CVC4::options::theoryAlternates__option_t", "structCVC4_1_1options_1_1theoryAlternates____option__t.html", "structCVC4_1_1options_1_1theoryAlternates____option__t" ],
    [ "CVC4_OPTIONS__THEORY__FOR_OPTION_HOLDER", "theory_2options_8h.html#a81f105153f0c2877c0556c96f227bab6", null ],
    [ "theoryAlternates", "theory_2options_8h.html#a01a115a4888a6a11e92db2f3c02d5db2", null ],
    [ "theoryOfMode", "theory_2options_8h.html#a98c0d68cc97dfebe28b307018def823f", null ]
];