var theory_2quantifiers_2options_8h =
[
    [ "CVC4::options::miniscopeQuant__option_t", "structCVC4_1_1options_1_1miniscopeQuant____option__t.html", "structCVC4_1_1options_1_1miniscopeQuant____option__t" ],
    [ "CVC4::options::miniscopeQuantFreeVar__option_t", "structCVC4_1_1options_1_1miniscopeQuantFreeVar____option__t.html", "structCVC4_1_1options_1_1miniscopeQuantFreeVar____option__t" ],
    [ "CVC4::options::prenexQuant__option_t", "structCVC4_1_1options_1_1prenexQuant____option__t.html", "structCVC4_1_1options_1_1prenexQuant____option__t" ],
    [ "CVC4::options::varElimQuant__option_t", "structCVC4_1_1options_1_1varElimQuant____option__t.html", "structCVC4_1_1options_1_1varElimQuant____option__t" ],
    [ "CVC4::options::simpleIteLiftQuant__option_t", "structCVC4_1_1options_1_1simpleIteLiftQuant____option__t.html", "structCVC4_1_1options_1_1simpleIteLiftQuant____option__t" ],
    [ "CVC4::options::cnfQuant__option_t", "structCVC4_1_1options_1_1cnfQuant____option__t.html", "structCVC4_1_1options_1_1cnfQuant____option__t" ],
    [ "CVC4::options::nnfQuant__option_t", "structCVC4_1_1options_1_1nnfQuant____option__t.html", "structCVC4_1_1options_1_1nnfQuant____option__t" ],
    [ "CVC4::options::clauseSplit__option_t", "structCVC4_1_1options_1_1clauseSplit____option__t.html", "structCVC4_1_1options_1_1clauseSplit____option__t" ],
    [ "CVC4::options::preSkolemQuant__option_t", "structCVC4_1_1options_1_1preSkolemQuant____option__t.html", "structCVC4_1_1options_1_1preSkolemQuant____option__t" ],
    [ "CVC4::options::aggressiveMiniscopeQuant__option_t", "structCVC4_1_1options_1_1aggressiveMiniscopeQuant____option__t.html", "structCVC4_1_1options_1_1aggressiveMiniscopeQuant____option__t" ],
    [ "CVC4::options::macrosQuant__option_t", "structCVC4_1_1options_1_1macrosQuant____option__t.html", "structCVC4_1_1options_1_1macrosQuant____option__t" ],
    [ "CVC4::options::foPropQuant__option_t", "structCVC4_1_1options_1_1foPropQuant____option__t.html", "structCVC4_1_1options_1_1foPropQuant____option__t" ],
    [ "CVC4::options::smartTriggers__option_t", "structCVC4_1_1options_1_1smartTriggers____option__t.html", "structCVC4_1_1options_1_1smartTriggers____option__t" ],
    [ "CVC4::options::relevantTriggers__option_t", "structCVC4_1_1options_1_1relevantTriggers____option__t.html", "structCVC4_1_1options_1_1relevantTriggers____option__t" ],
    [ "CVC4::options::relationalTriggers__option_t", "structCVC4_1_1options_1_1relationalTriggers____option__t.html", "structCVC4_1_1options_1_1relationalTriggers____option__t" ],
    [ "CVC4::options::registerQuantBodyTerms__option_t", "structCVC4_1_1options_1_1registerQuantBodyTerms____option__t.html", "structCVC4_1_1options_1_1registerQuantBodyTerms____option__t" ],
    [ "CVC4::options::instWhenMode__option_t", "structCVC4_1_1options_1_1instWhenMode____option__t.html", "structCVC4_1_1options_1_1instWhenMode____option__t" ],
    [ "CVC4::options::instMaxLevel__option_t", "structCVC4_1_1options_1_1instMaxLevel____option__t.html", "structCVC4_1_1options_1_1instMaxLevel____option__t" ],
    [ "CVC4::options::eagerInstQuant__option_t", "structCVC4_1_1options_1_1eagerInstQuant____option__t.html", "structCVC4_1_1options_1_1eagerInstQuant____option__t" ],
    [ "CVC4::options::fullSaturateQuant__option_t", "structCVC4_1_1options_1_1fullSaturateQuant____option__t.html", "structCVC4_1_1options_1_1fullSaturateQuant____option__t" ],
    [ "CVC4::options::literalMatchMode__option_t", "structCVC4_1_1options_1_1literalMatchMode____option__t.html", "structCVC4_1_1options_1_1literalMatchMode____option__t" ],
    [ "CVC4::options::cbqi__option_t", "structCVC4_1_1options_1_1cbqi____option__t.html", "structCVC4_1_1options_1_1cbqi____option__t" ],
    [ "CVC4::options::recurseCbqi__option_t", "structCVC4_1_1options_1_1recurseCbqi____option__t.html", "structCVC4_1_1options_1_1recurseCbqi____option__t" ],
    [ "CVC4::options::userPatternsQuant__option_t", "structCVC4_1_1options_1_1userPatternsQuant____option__t.html", "structCVC4_1_1options_1_1userPatternsQuant____option__t" ],
    [ "CVC4::options::flipDecision__option_t", "structCVC4_1_1options_1_1flipDecision____option__t.html", "structCVC4_1_1options_1_1flipDecision____option__t" ],
    [ "CVC4::options::internalReps__option_t", "structCVC4_1_1options_1_1internalReps____option__t.html", "structCVC4_1_1options_1_1internalReps____option__t" ],
    [ "CVC4::options::finiteModelFind__option_t", "structCVC4_1_1options_1_1finiteModelFind____option__t.html", "structCVC4_1_1options_1_1finiteModelFind____option__t" ],
    [ "CVC4::options::mbqiMode__option_t", "structCVC4_1_1options_1_1mbqiMode____option__t.html", "structCVC4_1_1options_1_1mbqiMode____option__t" ],
    [ "CVC4::options::fmfOneInstPerRound__option_t", "structCVC4_1_1options_1_1fmfOneInstPerRound____option__t.html", "structCVC4_1_1options_1_1fmfOneInstPerRound____option__t" ],
    [ "CVC4::options::fmfOneQuantPerRound__option_t", "structCVC4_1_1options_1_1fmfOneQuantPerRound____option__t.html", "structCVC4_1_1options_1_1fmfOneQuantPerRound____option__t" ],
    [ "CVC4::options::fmfInstEngine__option_t", "structCVC4_1_1options_1_1fmfInstEngine____option__t.html", "structCVC4_1_1options_1_1fmfInstEngine____option__t" ],
    [ "CVC4::options::fmfInstGen__option_t", "structCVC4_1_1options_1_1fmfInstGen____option__t.html", "structCVC4_1_1options_1_1fmfInstGen____option__t" ],
    [ "CVC4::options::fmfInstGenOneQuantPerRound__option_t", "structCVC4_1_1options_1_1fmfInstGenOneQuantPerRound____option__t.html", "structCVC4_1_1options_1_1fmfInstGenOneQuantPerRound____option__t" ],
    [ "CVC4::options::fmfFreshDistConst__option_t", "structCVC4_1_1options_1_1fmfFreshDistConst____option__t.html", "structCVC4_1_1options_1_1fmfFreshDistConst____option__t" ],
    [ "CVC4::options::fmfFmcSimple__option_t", "structCVC4_1_1options_1_1fmfFmcSimple____option__t.html", "structCVC4_1_1options_1_1fmfFmcSimple____option__t" ],
    [ "CVC4::options::fmfBoundInt__option_t", "structCVC4_1_1options_1_1fmfBoundInt____option__t.html", "structCVC4_1_1options_1_1fmfBoundInt____option__t" ],
    [ "CVC4::options::fmfBoundIntLazy__option_t", "structCVC4_1_1options_1_1fmfBoundIntLazy____option__t.html", "structCVC4_1_1options_1_1fmfBoundIntLazy____option__t" ],
    [ "CVC4::options::axiomInstMode__option_t", "structCVC4_1_1options_1_1axiomInstMode____option__t.html", "structCVC4_1_1options_1_1axiomInstMode____option__t" ],
    [ "CVC4::options::quantConflictFind__option_t", "structCVC4_1_1options_1_1quantConflictFind____option__t.html", "structCVC4_1_1options_1_1quantConflictFind____option__t" ],
    [ "CVC4::options::qcfMode__option_t", "structCVC4_1_1options_1_1qcfMode____option__t.html", "structCVC4_1_1options_1_1qcfMode____option__t" ],
    [ "CVC4::options::qcfWhenMode__option_t", "structCVC4_1_1options_1_1qcfWhenMode____option__t.html", "structCVC4_1_1options_1_1qcfWhenMode____option__t" ],
    [ "CVC4::options::qcfTConstraint__option_t", "structCVC4_1_1options_1_1qcfTConstraint____option__t.html", "structCVC4_1_1options_1_1qcfTConstraint____option__t" ],
    [ "CVC4::options::quantRewriteRules__option_t", "structCVC4_1_1options_1_1quantRewriteRules____option__t.html", "structCVC4_1_1options_1_1quantRewriteRules____option__t" ],
    [ "CVC4::options::rrOneInstPerRound__option_t", "structCVC4_1_1options_1_1rrOneInstPerRound____option__t.html", "structCVC4_1_1options_1_1rrOneInstPerRound____option__t" ],
    [ "CVC4::options::dtStcInduction__option_t", "structCVC4_1_1options_1_1dtStcInduction____option__t.html", "structCVC4_1_1options_1_1dtStcInduction____option__t" ],
    [ "CVC4_OPTIONS__QUANTIFIERS__FOR_OPTION_HOLDER", "theory_2quantifiers_2options_8h.html#afc77b7c3831e09520ec340b6ece75876", null ],
    [ "aggressiveMiniscopeQuant", "theory_2quantifiers_2options_8h.html#ada3c6f39e48d99cb7e2a297d813379d8", null ],
    [ "axiomInstMode", "theory_2quantifiers_2options_8h.html#acc0d428a98e7328d7cb4dc87e68b6b7d", null ],
    [ "cbqi", "theory_2quantifiers_2options_8h.html#acb4ce7eeb5d5e977f381e9e1de5c5b3f", null ],
    [ "clauseSplit", "theory_2quantifiers_2options_8h.html#a09cbf66c36f0fff1bb62751583ced15a", null ],
    [ "cnfQuant", "theory_2quantifiers_2options_8h.html#ad131d20f253be42df9ae75e5e30cae03", null ],
    [ "dtStcInduction", "theory_2quantifiers_2options_8h.html#a5f44e1609aed1f8069d53104b0c70781", null ],
    [ "eagerInstQuant", "theory_2quantifiers_2options_8h.html#ad3a02d648c8ba6dbc96f57222aacc7d0", null ],
    [ "finiteModelFind", "theory_2quantifiers_2options_8h.html#a8a40dc6dadd06e035e650def1dc19c8c", null ],
    [ "flipDecision", "theory_2quantifiers_2options_8h.html#a3500c9a8e393b5168dcec4eca6781610", null ],
    [ "fmfBoundInt", "theory_2quantifiers_2options_8h.html#a540f54ca4fd47de2c266c41f70de7f26", null ],
    [ "fmfBoundIntLazy", "theory_2quantifiers_2options_8h.html#a81347ab08d0ae8569cbfd8ffea03daa9", null ],
    [ "fmfFmcSimple", "theory_2quantifiers_2options_8h.html#a46f34887d68f1a408540a573b066408c", null ],
    [ "fmfFreshDistConst", "theory_2quantifiers_2options_8h.html#abc9cd6d16e2fecb8eb1bc505fdf05c1c", null ],
    [ "fmfInstEngine", "theory_2quantifiers_2options_8h.html#afb29e4ce5efded1c276429fffdb5a9c5", null ],
    [ "fmfInstGen", "theory_2quantifiers_2options_8h.html#a8a273260074f3e1e476ce9924a233a68", null ],
    [ "fmfInstGenOneQuantPerRound", "theory_2quantifiers_2options_8h.html#a1fc015e4fd7f2d4c77715a6713ffaa5e", null ],
    [ "fmfOneInstPerRound", "theory_2quantifiers_2options_8h.html#a5d2a8b353fcd7d94b2b517db53b1d92f", null ],
    [ "fmfOneQuantPerRound", "theory_2quantifiers_2options_8h.html#a815db600848d4fcdb7befee6235796d9", null ],
    [ "foPropQuant", "theory_2quantifiers_2options_8h.html#a64fbf6f56015ec9c06e807d1823f2e46", null ],
    [ "fullSaturateQuant", "theory_2quantifiers_2options_8h.html#a2774df5fda35837ed1a763f5d7fe01b6", null ],
    [ "instMaxLevel", "theory_2quantifiers_2options_8h.html#a36159ff0405abe78e53271c4f0149132", null ],
    [ "instWhenMode", "theory_2quantifiers_2options_8h.html#a7cdf4e1b1115d3b0f259c47dffd5e659", null ],
    [ "internalReps", "theory_2quantifiers_2options_8h.html#a3c98b100daec36beea6387183fe5eb2a", null ],
    [ "literalMatchMode", "theory_2quantifiers_2options_8h.html#a286f9ebdd3e39928b05a170cc2bc60e8", null ],
    [ "macrosQuant", "theory_2quantifiers_2options_8h.html#aec840023c653917d09d6c04156fe6090", null ],
    [ "mbqiMode", "theory_2quantifiers_2options_8h.html#ad204d2f452368e03a8d6f5f62cf8054e", null ],
    [ "miniscopeQuant", "theory_2quantifiers_2options_8h.html#a9a1f847be89d0cf20fc7632d30e99a03", null ],
    [ "miniscopeQuantFreeVar", "theory_2quantifiers_2options_8h.html#af1dc863c4769ca802670fd9099aae8c7", null ],
    [ "nnfQuant", "theory_2quantifiers_2options_8h.html#a106ce0feba21fa30ab910486ab936f17", null ],
    [ "prenexQuant", "theory_2quantifiers_2options_8h.html#abf8be1a9b2db78baa21b1024120c232d", null ],
    [ "preSkolemQuant", "theory_2quantifiers_2options_8h.html#a96bf180494d871911c0493a5104da2ab", null ],
    [ "qcfMode", "theory_2quantifiers_2options_8h.html#a3285340a5b9d736b5feae5bbb0b04241", null ],
    [ "qcfTConstraint", "theory_2quantifiers_2options_8h.html#a8f915c233997bd80b4bd5e5e4dc1c53d", null ],
    [ "qcfWhenMode", "theory_2quantifiers_2options_8h.html#a7e8832c1cfb49f54fc150a4cb9820478", null ],
    [ "quantConflictFind", "theory_2quantifiers_2options_8h.html#adcb1f20b55140873c8bb49f0faff1954", null ],
    [ "quantRewriteRules", "theory_2quantifiers_2options_8h.html#a4fc2dcdda1127e734ae0bf3ac7a22ef0", null ],
    [ "recurseCbqi", "theory_2quantifiers_2options_8h.html#ad61b32a95e5f6b001e5029ed256e9793", null ],
    [ "registerQuantBodyTerms", "theory_2quantifiers_2options_8h.html#ad12ee2a27079c09e3a07c94826b8e5f5", null ],
    [ "relationalTriggers", "theory_2quantifiers_2options_8h.html#acd249000b51e14a891d7852d2b4a1087", null ],
    [ "relevantTriggers", "theory_2quantifiers_2options_8h.html#aa11cebf453e1fbffe16d7df7a6718c50", null ],
    [ "rrOneInstPerRound", "theory_2quantifiers_2options_8h.html#ab08a7b19856e8f76145fad09c73ab5f4", null ],
    [ "simpleIteLiftQuant", "theory_2quantifiers_2options_8h.html#a374c8f7428c3894abcefa8b4784e321c", null ],
    [ "smartTriggers", "theory_2quantifiers_2options_8h.html#ad7e2c41c32bdbd617d9c4a4d8de9d8a0", null ],
    [ "userPatternsQuant", "theory_2quantifiers_2options_8h.html#ac93eab80a5fd0c5da1e0ba9bfd1b023e", null ],
    [ "varElimQuant", "theory_2quantifiers_2options_8h.html#a3e9046714b0e7234ee655ca313f9828f", null ]
];