var theory_2arith_2options_8h =
[
    [ "CVC4::options::arithUnateLemmaMode__option_t", "structCVC4_1_1options_1_1arithUnateLemmaMode____option__t.html", "structCVC4_1_1options_1_1arithUnateLemmaMode____option__t" ],
    [ "CVC4::options::arithPropagationMode__option_t", "structCVC4_1_1options_1_1arithPropagationMode____option__t.html", "structCVC4_1_1options_1_1arithPropagationMode____option__t" ],
    [ "CVC4::options::arithHeuristicPivots__option_t", "structCVC4_1_1options_1_1arithHeuristicPivots____option__t.html", "structCVC4_1_1options_1_1arithHeuristicPivots____option__t" ],
    [ "CVC4::options::arithStandardCheckVarOrderPivots__option_t", "structCVC4_1_1options_1_1arithStandardCheckVarOrderPivots____option__t.html", "structCVC4_1_1options_1_1arithStandardCheckVarOrderPivots____option__t" ],
    [ "CVC4::options::arithErrorSelectionRule__option_t", "structCVC4_1_1options_1_1arithErrorSelectionRule____option__t.html", "structCVC4_1_1options_1_1arithErrorSelectionRule____option__t" ],
    [ "CVC4::options::arithSimplexCheckPeriod__option_t", "structCVC4_1_1options_1_1arithSimplexCheckPeriod____option__t.html", "structCVC4_1_1options_1_1arithSimplexCheckPeriod____option__t" ],
    [ "CVC4::options::arithPivotThreshold__option_t", "structCVC4_1_1options_1_1arithPivotThreshold____option__t.html", "structCVC4_1_1options_1_1arithPivotThreshold____option__t" ],
    [ "CVC4::options::arithPropagateMaxLength__option_t", "structCVC4_1_1options_1_1arithPropagateMaxLength____option__t.html", "structCVC4_1_1options_1_1arithPropagateMaxLength____option__t" ],
    [ "CVC4::options::arithDioSolver__option_t", "structCVC4_1_1options_1_1arithDioSolver____option__t.html", "structCVC4_1_1options_1_1arithDioSolver____option__t" ],
    [ "CVC4::options::arithRewriteEq__option_t", "structCVC4_1_1options_1_1arithRewriteEq____option__t.html", "structCVC4_1_1options_1_1arithRewriteEq____option__t" ],
    [ "CVC4::options::arithMLTrick__option_t", "structCVC4_1_1options_1_1arithMLTrick____option__t.html", "structCVC4_1_1options_1_1arithMLTrick____option__t" ],
    [ "CVC4::options::arithMLTrickSubstitutions__option_t", "structCVC4_1_1options_1_1arithMLTrickSubstitutions____option__t.html", "structCVC4_1_1options_1_1arithMLTrickSubstitutions____option__t" ],
    [ "CVC4::options::doCutAllBounded__option_t", "structCVC4_1_1options_1_1doCutAllBounded____option__t.html", "structCVC4_1_1options_1_1doCutAllBounded____option__t" ],
    [ "CVC4::options::maxCutsInContext__option_t", "structCVC4_1_1options_1_1maxCutsInContext____option__t.html", "structCVC4_1_1options_1_1maxCutsInContext____option__t" ],
    [ "CVC4::options::revertArithModels__option_t", "structCVC4_1_1options_1_1revertArithModels____option__t.html", "structCVC4_1_1options_1_1revertArithModels____option__t" ],
    [ "CVC4::options::havePenalties__option_t", "structCVC4_1_1options_1_1havePenalties____option__t.html", "structCVC4_1_1options_1_1havePenalties____option__t" ],
    [ "CVC4::options::useFC__option_t", "structCVC4_1_1options_1_1useFC____option__t.html", "structCVC4_1_1options_1_1useFC____option__t" ],
    [ "CVC4::options::useSOI__option_t", "structCVC4_1_1options_1_1useSOI____option__t.html", "structCVC4_1_1options_1_1useSOI____option__t" ],
    [ "CVC4::options::restrictedPivots__option_t", "structCVC4_1_1options_1_1restrictedPivots____option__t.html", "structCVC4_1_1options_1_1restrictedPivots____option__t" ],
    [ "CVC4::options::collectPivots__option_t", "structCVC4_1_1options_1_1collectPivots____option__t.html", "structCVC4_1_1options_1_1collectPivots____option__t" ],
    [ "CVC4::options::useApprox__option_t", "structCVC4_1_1options_1_1useApprox____option__t.html", "structCVC4_1_1options_1_1useApprox____option__t" ],
    [ "CVC4::options::maxApproxDepth__option_t", "structCVC4_1_1options_1_1maxApproxDepth____option__t.html", "structCVC4_1_1options_1_1maxApproxDepth____option__t" ],
    [ "CVC4::options::exportDioDecompositions__option_t", "structCVC4_1_1options_1_1exportDioDecompositions____option__t.html", "structCVC4_1_1options_1_1exportDioDecompositions____option__t" ],
    [ "CVC4::options::newProp__option_t", "structCVC4_1_1options_1_1newProp____option__t.html", "structCVC4_1_1options_1_1newProp____option__t" ],
    [ "CVC4::options::arithPropAsLemmaLength__option_t", "structCVC4_1_1options_1_1arithPropAsLemmaLength____option__t.html", "structCVC4_1_1options_1_1arithPropAsLemmaLength____option__t" ],
    [ "CVC4::options::soiQuickExplain__option_t", "structCVC4_1_1options_1_1soiQuickExplain____option__t.html", "structCVC4_1_1options_1_1soiQuickExplain____option__t" ],
    [ "CVC4::options::rewriteDivk__option_t", "structCVC4_1_1options_1_1rewriteDivk____option__t.html", "structCVC4_1_1options_1_1rewriteDivk____option__t" ],
    [ "CVC4::options::trySolveIntStandardEffort__option_t", "structCVC4_1_1options_1_1trySolveIntStandardEffort____option__t.html", "structCVC4_1_1options_1_1trySolveIntStandardEffort____option__t" ],
    [ "CVC4::options::replayFailureLemma__option_t", "structCVC4_1_1options_1_1replayFailureLemma____option__t.html", "structCVC4_1_1options_1_1replayFailureLemma____option__t" ],
    [ "CVC4::options::dioSolverTurns__option_t", "structCVC4_1_1options_1_1dioSolverTurns____option__t.html", "structCVC4_1_1options_1_1dioSolverTurns____option__t" ],
    [ "CVC4::options::rrTurns__option_t", "structCVC4_1_1options_1_1rrTurns____option__t.html", "structCVC4_1_1options_1_1rrTurns____option__t" ],
    [ "CVC4::options::dioRepeat__option_t", "structCVC4_1_1options_1_1dioRepeat____option__t.html", "structCVC4_1_1options_1_1dioRepeat____option__t" ],
    [ "CVC4::options::replayEarlyCloseDepths__option_t", "structCVC4_1_1options_1_1replayEarlyCloseDepths____option__t.html", "structCVC4_1_1options_1_1replayEarlyCloseDepths____option__t" ],
    [ "CVC4::options::replayFailurePenalty__option_t", "structCVC4_1_1options_1_1replayFailurePenalty____option__t.html", "structCVC4_1_1options_1_1replayFailurePenalty____option__t" ],
    [ "CVC4::options::replayNumericFailurePenalty__option_t", "structCVC4_1_1options_1_1replayNumericFailurePenalty____option__t.html", "structCVC4_1_1options_1_1replayNumericFailurePenalty____option__t" ],
    [ "CVC4::options::replayRejectCutSize__option_t", "structCVC4_1_1options_1_1replayRejectCutSize____option__t.html", "structCVC4_1_1options_1_1replayRejectCutSize____option__t" ],
    [ "CVC4::options::lemmaRejectCutSize__option_t", "structCVC4_1_1options_1_1lemmaRejectCutSize____option__t.html", "structCVC4_1_1options_1_1lemmaRejectCutSize____option__t" ],
    [ "CVC4::options::soiApproxMajorFailure__option_t", "structCVC4_1_1options_1_1soiApproxMajorFailure____option__t.html", "structCVC4_1_1options_1_1soiApproxMajorFailure____option__t" ],
    [ "CVC4::options::soiApproxMajorFailurePen__option_t", "structCVC4_1_1options_1_1soiApproxMajorFailurePen____option__t.html", "structCVC4_1_1options_1_1soiApproxMajorFailurePen____option__t" ],
    [ "CVC4::options::soiApproxMinorFailure__option_t", "structCVC4_1_1options_1_1soiApproxMinorFailure____option__t.html", "structCVC4_1_1options_1_1soiApproxMinorFailure____option__t" ],
    [ "CVC4::options::soiApproxMinorFailurePen__option_t", "structCVC4_1_1options_1_1soiApproxMinorFailurePen____option__t.html", "structCVC4_1_1options_1_1soiApproxMinorFailurePen____option__t" ],
    [ "CVC4::options::ppAssertMaxSubSize__option_t", "structCVC4_1_1options_1_1ppAssertMaxSubSize____option__t.html", "structCVC4_1_1options_1_1ppAssertMaxSubSize____option__t" ],
    [ "CVC4::options::maxReplayTree__option_t", "structCVC4_1_1options_1_1maxReplayTree____option__t.html", "structCVC4_1_1options_1_1maxReplayTree____option__t" ],
    [ "CVC4::options::pbRewrites__option_t", "structCVC4_1_1options_1_1pbRewrites____option__t.html", "structCVC4_1_1options_1_1pbRewrites____option__t" ],
    [ "CVC4::options::pbRewriteThreshold__option_t", "structCVC4_1_1options_1_1pbRewriteThreshold____option__t.html", "structCVC4_1_1options_1_1pbRewriteThreshold____option__t" ],
    [ "CVC4_OPTIONS__ARITH__FOR_OPTION_HOLDER", "theory_2arith_2options_8h.html#aa7bed06b699c59f266ee03339af7d517", null ],
    [ "arithDioSolver", "theory_2arith_2options_8h.html#afa1ae2b7010831b914f7a8ca9612f451", null ],
    [ "arithErrorSelectionRule", "theory_2arith_2options_8h.html#a06fe481c5a3ed555ab5a6da8f9a94ab0", null ],
    [ "arithHeuristicPivots", "theory_2arith_2options_8h.html#a1f48ef19505e0bfa81b8a4244e7fc329", null ],
    [ "arithMLTrick", "theory_2arith_2options_8h.html#a074a08e93027c9716d9081c6e6b36b82", null ],
    [ "arithMLTrickSubstitutions", "theory_2arith_2options_8h.html#a5318b1c4af6f45bc419f46be99d39ef8", null ],
    [ "arithPivotThreshold", "theory_2arith_2options_8h.html#a757bf19210e28a900222888fde989cac", null ],
    [ "arithPropagateMaxLength", "theory_2arith_2options_8h.html#a0065db0ba3662388e535d0864d8e4055", null ],
    [ "arithPropagationMode", "theory_2arith_2options_8h.html#a3a388d6b0f7ae37fc88ba893e038976f", null ],
    [ "arithPropAsLemmaLength", "theory_2arith_2options_8h.html#a8056b87408b1e568a184642f1f83406b", null ],
    [ "arithRewriteEq", "theory_2arith_2options_8h.html#ae70a520f7acc5f485fd3c094ee6c1da6", null ],
    [ "arithSimplexCheckPeriod", "theory_2arith_2options_8h.html#a37fcbf002ca512793466a95cf46ce95a", null ],
    [ "arithStandardCheckVarOrderPivots", "theory_2arith_2options_8h.html#a01d960a4bad5edf1b1202c442d454e2f", null ],
    [ "arithUnateLemmaMode", "theory_2arith_2options_8h.html#adb5d7cb9e81ff32eb57c95534dc3148c", null ],
    [ "collectPivots", "theory_2arith_2options_8h.html#a21bba373cd62864ffd7931b10a6c8a0b", null ],
    [ "dioRepeat", "theory_2arith_2options_8h.html#a09feba4f6a5f94aaa76513d859e6d185", null ],
    [ "dioSolverTurns", "theory_2arith_2options_8h.html#ab5561d6259c6f51a7f4f0b0f98298be4", null ],
    [ "doCutAllBounded", "theory_2arith_2options_8h.html#a67bca5f52487ed87befac44cd5ae931c", null ],
    [ "exportDioDecompositions", "theory_2arith_2options_8h.html#a0caf582d2574bfc4c9eb5d291c5c5fb2", null ],
    [ "havePenalties", "theory_2arith_2options_8h.html#a0f41298c8baf1ed961f2d57ef726b79f", null ],
    [ "lemmaRejectCutSize", "theory_2arith_2options_8h.html#ab8b16d4cfb0f70aacfde6a59682520ad", null ],
    [ "maxApproxDepth", "theory_2arith_2options_8h.html#a5664687df668849ea08098964e6ec18f", null ],
    [ "maxCutsInContext", "theory_2arith_2options_8h.html#afcfae222bac08e56ea831de58d1efaa3", null ],
    [ "maxReplayTree", "theory_2arith_2options_8h.html#ad549788d872a7d8def2ae3d151e3b5d3", null ],
    [ "newProp", "theory_2arith_2options_8h.html#a56a16594e4026a99110117a2eaf74337", null ],
    [ "pbRewrites", "theory_2arith_2options_8h.html#a095c04a7a41bfbc7bff13a2120bda47f", null ],
    [ "pbRewriteThreshold", "theory_2arith_2options_8h.html#a28c8bf01d04cfd8e5c3cdfe04b9131e0", null ],
    [ "ppAssertMaxSubSize", "theory_2arith_2options_8h.html#ae793dafad2c3c2e914e9e85c85832340", null ],
    [ "replayEarlyCloseDepths", "theory_2arith_2options_8h.html#a77b5443f9a258a85a6be52803071cb7b", null ],
    [ "replayFailureLemma", "theory_2arith_2options_8h.html#a37cb9843c1d2ec7db1cb6430805e8e86", null ],
    [ "replayFailurePenalty", "theory_2arith_2options_8h.html#aa6705fa0ebb448b7baa2d45f60268bb3", null ],
    [ "replayNumericFailurePenalty", "theory_2arith_2options_8h.html#a3bd8551828bcbb997f65c9937b2703aa", null ],
    [ "replayRejectCutSize", "theory_2arith_2options_8h.html#ac8893bbba6b6a40ece87286cec4b9a87", null ],
    [ "restrictedPivots", "theory_2arith_2options_8h.html#a81dbc1b5195d49445dfbfa610c0ab9fb", null ],
    [ "revertArithModels", "theory_2arith_2options_8h.html#a70563a44ba06a8b5b518da149dfd9b44", null ],
    [ "rewriteDivk", "theory_2arith_2options_8h.html#ac2ec9069d53d55590cf7932b9b840171", null ],
    [ "rrTurns", "theory_2arith_2options_8h.html#a02bd4a211cdd00e63d43eca824077371", null ],
    [ "soiApproxMajorFailure", "theory_2arith_2options_8h.html#a8bd4ef3c88dc7b0f6c8cd5733f9d3258", null ],
    [ "soiApproxMajorFailurePen", "theory_2arith_2options_8h.html#a66431b3aa461c0d188503c487ad74fc5", null ],
    [ "soiApproxMinorFailure", "theory_2arith_2options_8h.html#aee1a51df92327e57d6ca014e58fcc928", null ],
    [ "soiApproxMinorFailurePen", "theory_2arith_2options_8h.html#a21ca4bfb11aad519a558b00b3acd1082", null ],
    [ "soiQuickExplain", "theory_2arith_2options_8h.html#a7af5ce143643e9a8731dea77a200be85", null ],
    [ "trySolveIntStandardEffort", "theory_2arith_2options_8h.html#a7aec1e409422f8b7f3ea5cf229361768", null ],
    [ "useApprox", "theory_2arith_2options_8h.html#a1f3742a8d89460db77365ebf94244982", null ],
    [ "useFC", "theory_2arith_2options_8h.html#a0c82eaea4bb79851623a757584b8481c", null ],
    [ "useSOI", "theory_2arith_2options_8h.html#aee7652ce493995359feef1a8f83e5431", null ]
];