var theory_2uf_2options_8h =
[
    [ "CVC4::options::ufSymmetryBreaker__option_t", "structCVC4_1_1options_1_1ufSymmetryBreaker____option__t.html", "structCVC4_1_1options_1_1ufSymmetryBreaker____option__t" ],
    [ "CVC4::options::condenseFunctionValues__option_t", "structCVC4_1_1options_1_1condenseFunctionValues____option__t.html", "structCVC4_1_1options_1_1condenseFunctionValues____option__t" ],
    [ "CVC4::options::ufssRegions__option_t", "structCVC4_1_1options_1_1ufssRegions____option__t.html", "structCVC4_1_1options_1_1ufssRegions____option__t" ],
    [ "CVC4::options::ufssEagerSplits__option_t", "structCVC4_1_1options_1_1ufssEagerSplits____option__t.html", "structCVC4_1_1options_1_1ufssEagerSplits____option__t" ],
    [ "CVC4::options::ufssTotality__option_t", "structCVC4_1_1options_1_1ufssTotality____option__t.html", "structCVC4_1_1options_1_1ufssTotality____option__t" ],
    [ "CVC4::options::ufssTotalityLimited__option_t", "structCVC4_1_1options_1_1ufssTotalityLimited____option__t.html", "structCVC4_1_1options_1_1ufssTotalityLimited____option__t" ],
    [ "CVC4::options::ufssTotalitySymBreak__option_t", "structCVC4_1_1options_1_1ufssTotalitySymBreak____option__t.html", "structCVC4_1_1options_1_1ufssTotalitySymBreak____option__t" ],
    [ "CVC4::options::ufssAbortCardinality__option_t", "structCVC4_1_1options_1_1ufssAbortCardinality____option__t.html", "structCVC4_1_1options_1_1ufssAbortCardinality____option__t" ],
    [ "CVC4::options::ufssExplainedCliques__option_t", "structCVC4_1_1options_1_1ufssExplainedCliques____option__t.html", "structCVC4_1_1options_1_1ufssExplainedCliques____option__t" ],
    [ "CVC4::options::ufssSimpleCliques__option_t", "structCVC4_1_1options_1_1ufssSimpleCliques____option__t.html", "structCVC4_1_1options_1_1ufssSimpleCliques____option__t" ],
    [ "CVC4::options::ufssDiseqPropagation__option_t", "structCVC4_1_1options_1_1ufssDiseqPropagation____option__t.html", "structCVC4_1_1options_1_1ufssDiseqPropagation____option__t" ],
    [ "CVC4::options::ufssMinimalModel__option_t", "structCVC4_1_1options_1_1ufssMinimalModel____option__t.html", "structCVC4_1_1options_1_1ufssMinimalModel____option__t" ],
    [ "CVC4::options::ufssCliqueSplits__option_t", "structCVC4_1_1options_1_1ufssCliqueSplits____option__t.html", "structCVC4_1_1options_1_1ufssCliqueSplits____option__t" ],
    [ "CVC4::options::ufssSymBreak__option_t", "structCVC4_1_1options_1_1ufssSymBreak____option__t.html", "structCVC4_1_1options_1_1ufssSymBreak____option__t" ],
    [ "CVC4::options::ufssFairness__option_t", "structCVC4_1_1options_1_1ufssFairness____option__t.html", "structCVC4_1_1options_1_1ufssFairness____option__t" ],
    [ "CVC4_OPTIONS__UF__FOR_OPTION_HOLDER", "theory_2uf_2options_8h.html#a643ba81260d1c02bdd17a80a88c1055a", null ],
    [ "condenseFunctionValues", "theory_2uf_2options_8h.html#acc83902dd07e97dccb888d7ebaade123", null ],
    [ "ufssAbortCardinality", "theory_2uf_2options_8h.html#a587449ba70270224eb9cecfcb27b59d5", null ],
    [ "ufssCliqueSplits", "theory_2uf_2options_8h.html#aaf4edf28550dd591e4a73ed928ba5f10", null ],
    [ "ufssDiseqPropagation", "theory_2uf_2options_8h.html#ad10529822624a1c298a740a153836bdf", null ],
    [ "ufssEagerSplits", "theory_2uf_2options_8h.html#a2c7f5ff03646eb2135777d8fb35d2a23", null ],
    [ "ufssExplainedCliques", "theory_2uf_2options_8h.html#a4ad9f5c6bb9921f80de1d2ca4c84e619", null ],
    [ "ufssFairness", "theory_2uf_2options_8h.html#af13e1195c40c7090db18c04e49a1520c", null ],
    [ "ufssMinimalModel", "theory_2uf_2options_8h.html#a3bb895956f69b3293998e85b48289fff", null ],
    [ "ufssRegions", "theory_2uf_2options_8h.html#a08d51d87a64f012df3b611779ae12cd2", null ],
    [ "ufssSimpleCliques", "theory_2uf_2options_8h.html#a9b493fe97b3b9631dc3945e5f9cf1a0e", null ],
    [ "ufssSymBreak", "theory_2uf_2options_8h.html#a3715f07f28a603936a33fe7babbc8387", null ],
    [ "ufssTotality", "theory_2uf_2options_8h.html#acee8ef4a836d39b012dfd9ade007b628", null ],
    [ "ufssTotalityLimited", "theory_2uf_2options_8h.html#a8597469d23c2a1d39097285b32277745", null ],
    [ "ufssTotalitySymBreak", "theory_2uf_2options_8h.html#a986f95724684272cca201ed34f421e32", null ],
    [ "ufSymmetryBreaker", "theory_2uf_2options_8h.html#ac07461b17ab2348196ebc87c396f794c", null ]
];