options.h
Go to the documentation of this file.
/********************* */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* Edit the template file instead. */
/********************* */
#include "cvc4_public.h"
#ifndef __CVC4__OPTIONS__ARITH_H
#define __CVC4__OPTIONS__ARITH_H
#include "options/options.h"
#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
#include "theory/arith/arith_unate_lemma_mode.h"
#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
#include "theory/arith/arith_propagation_mode.h"
#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
#include "theory/arith/arith_heuristic_pivot_rule.h"
#line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
#define CVC4_OPTIONS__ARITH__FOR_OPTION_HOLDER \
arithUnateLemmaMode__option_t::type arithUnateLemmaMode; \
bool arithUnateLemmaMode__setByUser__; \
arithPropagationMode__option_t::type arithPropagationMode; \
bool arithPropagationMode__setByUser__; \
arithHeuristicPivots__option_t::type arithHeuristicPivots; \
bool arithHeuristicPivots__setByUser__; \
arithStandardCheckVarOrderPivots__option_t::type arithStandardCheckVarOrderPivots; \
bool arithStandardCheckVarOrderPivots__setByUser__; \
arithErrorSelectionRule__option_t::type arithErrorSelectionRule; \
bool arithErrorSelectionRule__setByUser__; \
arithSimplexCheckPeriod__option_t::type arithSimplexCheckPeriod; \
bool arithSimplexCheckPeriod__setByUser__; \
arithPivotThreshold__option_t::type arithPivotThreshold; \
bool arithPivotThreshold__setByUser__; \
arithPropagateMaxLength__option_t::type arithPropagateMaxLength; \
bool arithPropagateMaxLength__setByUser__; \
arithDioSolver__option_t::type arithDioSolver; \
bool arithDioSolver__setByUser__; \
arithRewriteEq__option_t::type arithRewriteEq; \
bool arithRewriteEq__setByUser__; \
arithMLTrick__option_t::type arithMLTrick; \
bool arithMLTrick__setByUser__; \
arithMLTrickSubstitutions__option_t::type arithMLTrickSubstitutions; \
bool arithMLTrickSubstitutions__setByUser__; \
doCutAllBounded__option_t::type doCutAllBounded; \
bool doCutAllBounded__setByUser__; \
maxCutsInContext__option_t::type maxCutsInContext; \
bool maxCutsInContext__setByUser__; \
revertArithModels__option_t::type revertArithModels; \
bool revertArithModels__setByUser__; \
havePenalties__option_t::type havePenalties; \
bool havePenalties__setByUser__; \
useFC__option_t::type useFC; \
bool useFC__setByUser__; \
useSOI__option_t::type useSOI; \
bool useSOI__setByUser__; \
restrictedPivots__option_t::type restrictedPivots; \
bool restrictedPivots__setByUser__; \
collectPivots__option_t::type collectPivots; \
bool collectPivots__setByUser__; \
useApprox__option_t::type useApprox; \
bool useApprox__setByUser__; \
maxApproxDepth__option_t::type maxApproxDepth; \
bool maxApproxDepth__setByUser__; \
exportDioDecompositions__option_t::type exportDioDecompositions; \
bool exportDioDecompositions__setByUser__; \
newProp__option_t::type newProp; \
bool newProp__setByUser__; \
arithPropAsLemmaLength__option_t::type arithPropAsLemmaLength; \
bool arithPropAsLemmaLength__setByUser__; \
soiQuickExplain__option_t::type soiQuickExplain; \
bool soiQuickExplain__setByUser__; \
rewriteDivk__option_t::type rewriteDivk; \
bool rewriteDivk__setByUser__; \
trySolveIntStandardEffort__option_t::type trySolveIntStandardEffort; \
bool trySolveIntStandardEffort__setByUser__; \
replayFailureLemma__option_t::type replayFailureLemma; \
bool replayFailureLemma__setByUser__; \
dioSolverTurns__option_t::type dioSolverTurns; \
bool dioSolverTurns__setByUser__; \
rrTurns__option_t::type rrTurns; \
bool rrTurns__setByUser__; \
dioRepeat__option_t::type dioRepeat; \
bool dioRepeat__setByUser__; \
replayEarlyCloseDepths__option_t::type replayEarlyCloseDepths; \
bool replayEarlyCloseDepths__setByUser__; \
replayFailurePenalty__option_t::type replayFailurePenalty; \
bool replayFailurePenalty__setByUser__; \
replayNumericFailurePenalty__option_t::type replayNumericFailurePenalty; \
bool replayNumericFailurePenalty__setByUser__; \
replayRejectCutSize__option_t::type replayRejectCutSize; \
bool replayRejectCutSize__setByUser__; \
lemmaRejectCutSize__option_t::type lemmaRejectCutSize; \
bool lemmaRejectCutSize__setByUser__; \
soiApproxMajorFailure__option_t::type soiApproxMajorFailure; \
bool soiApproxMajorFailure__setByUser__; \
soiApproxMajorFailurePen__option_t::type soiApproxMajorFailurePen; \
bool soiApproxMajorFailurePen__setByUser__; \
soiApproxMinorFailure__option_t::type soiApproxMinorFailure; \
bool soiApproxMinorFailure__setByUser__; \
soiApproxMinorFailurePen__option_t::type soiApproxMinorFailurePen; \
bool soiApproxMinorFailurePen__setByUser__; \
ppAssertMaxSubSize__option_t::type ppAssertMaxSubSize; \
bool ppAssertMaxSubSize__setByUser__; \
maxReplayTree__option_t::type maxReplayTree; \
bool maxReplayTree__setByUser__; \
pbRewrites__option_t::type pbRewrites; \
bool pbRewrites__setByUser__; \
pbRewriteThreshold__option_t::type pbRewriteThreshold; \
bool pbRewriteThreshold__setByUser__;
#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
namespace CVC4 {
namespace options {
#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC arithUnateLemmaMode__option_t { typedef ArithUnateLemmaMode type; type operator()() const; bool wasSetByUser() const; } arithUnateLemmaMode CVC4_PUBLIC;
#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC arithPropagationMode__option_t { typedef ArithPropagationMode type; type operator()() const; bool wasSetByUser() const; } arithPropagationMode CVC4_PUBLIC;
#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC arithHeuristicPivots__option_t { typedef int16_t type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } arithHeuristicPivots CVC4_PUBLIC;
#line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC arithStandardCheckVarOrderPivots__option_t { typedef int16_t type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } arithStandardCheckVarOrderPivots CVC4_PUBLIC;
#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC arithErrorSelectionRule__option_t { typedef ErrorSelectionRule type; type operator()() const; bool wasSetByUser() const; } arithErrorSelectionRule CVC4_PUBLIC;
#line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC arithSimplexCheckPeriod__option_t { typedef uint16_t type; type operator()() const; bool wasSetByUser() const; } arithSimplexCheckPeriod CVC4_PUBLIC;
#line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC arithPivotThreshold__option_t { typedef uint16_t type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } arithPivotThreshold CVC4_PUBLIC;
#line 42 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC arithPropagateMaxLength__option_t { typedef uint16_t type; type operator()() const; bool wasSetByUser() const; } arithPropagateMaxLength CVC4_PUBLIC;
#line 45 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC arithDioSolver__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } arithDioSolver CVC4_PUBLIC;
#line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC arithRewriteEq__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } arithRewriteEq CVC4_PUBLIC;
#line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC arithMLTrick__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } arithMLTrick CVC4_PUBLIC;
#line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC arithMLTrickSubstitutions__option_t { typedef unsigned type; type operator()() const; bool wasSetByUser() const; } arithMLTrickSubstitutions CVC4_PUBLIC;
#line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC doCutAllBounded__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } doCutAllBounded CVC4_PUBLIC;
#line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC maxCutsInContext__option_t { typedef unsigned type; type operator()() const; bool wasSetByUser() const; } maxCutsInContext CVC4_PUBLIC;
#line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC revertArithModels__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } revertArithModels CVC4_PUBLIC;
#line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC havePenalties__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } havePenalties CVC4_PUBLIC;
#line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC useFC__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } useFC CVC4_PUBLIC;
#line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC useSOI__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } useSOI CVC4_PUBLIC;
#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC restrictedPivots__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } restrictedPivots CVC4_PUBLIC;
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC collectPivots__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } collectPivots CVC4_PUBLIC;
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC useApprox__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } useApprox CVC4_PUBLIC;
#line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC maxApproxDepth__option_t { typedef int16_t type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } maxApproxDepth CVC4_PUBLIC;
#line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC exportDioDecompositions__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } exportDioDecompositions CVC4_PUBLIC;
#line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC newProp__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } newProp CVC4_PUBLIC;
#line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC arithPropAsLemmaLength__option_t { typedef uint16_t type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } arithPropAsLemmaLength CVC4_PUBLIC;
#line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC soiQuickExplain__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } soiQuickExplain CVC4_PUBLIC;
#line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC rewriteDivk__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } rewriteDivk CVC4_PUBLIC;
#line 109 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC trySolveIntStandardEffort__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } trySolveIntStandardEffort CVC4_PUBLIC;
#line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC replayFailureLemma__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } replayFailureLemma CVC4_PUBLIC;
#line 115 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC dioSolverTurns__option_t { typedef int type; type operator()() const; bool wasSetByUser() const; } dioSolverTurns CVC4_PUBLIC;
#line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC rrTurns__option_t { typedef int type; type operator()() const; bool wasSetByUser() const; } rrTurns CVC4_PUBLIC;
#line 121 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC dioRepeat__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } dioRepeat CVC4_PUBLIC;
#line 124 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC replayEarlyCloseDepths__option_t { typedef int type; type operator()() const; bool wasSetByUser() const; } replayEarlyCloseDepths CVC4_PUBLIC;
#line 127 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC replayFailurePenalty__option_t { typedef int type; type operator()() const; bool wasSetByUser() const; } replayFailurePenalty CVC4_PUBLIC;
#line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC replayNumericFailurePenalty__option_t { typedef int type; type operator()() const; bool wasSetByUser() const; } replayNumericFailurePenalty CVC4_PUBLIC;
#line 133 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC replayRejectCutSize__option_t { typedef unsigned type; type operator()() const; bool wasSetByUser() const; } replayRejectCutSize CVC4_PUBLIC;
#line 136 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC lemmaRejectCutSize__option_t { typedef unsigned type; type operator()() const; bool wasSetByUser() const; } lemmaRejectCutSize CVC4_PUBLIC;
#line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC soiApproxMajorFailure__option_t { typedef double type; type operator()() const; bool wasSetByUser() const; } soiApproxMajorFailure CVC4_PUBLIC;
#line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC soiApproxMajorFailurePen__option_t { typedef int type; type operator()() const; bool wasSetByUser() const; } soiApproxMajorFailurePen CVC4_PUBLIC;
#line 145 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC soiApproxMinorFailure__option_t { typedef double type; type operator()() const; bool wasSetByUser() const; } soiApproxMinorFailure CVC4_PUBLIC;
#line 148 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC soiApproxMinorFailurePen__option_t { typedef int type; type operator()() const; bool wasSetByUser() const; } soiApproxMinorFailurePen CVC4_PUBLIC;
#line 151 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC ppAssertMaxSubSize__option_t { typedef unsigned type; type operator()() const; bool wasSetByUser() const; } ppAssertMaxSubSize CVC4_PUBLIC;
#line 154 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC maxReplayTree__option_t { typedef int type; type operator()() const; bool wasSetByUser() const; } maxReplayTree CVC4_PUBLIC;
#line 158 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC pbRewrites__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } pbRewrites CVC4_PUBLIC;
#line 161 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
extern struct CVC4_PUBLIC pbRewriteThreshold__option_t { typedef int type; type operator()() const; bool wasSetByUser() const; } pbRewriteThreshold CVC4_PUBLIC;
#line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
}/* CVC4::options namespace */
#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::arithUnateLemmaMode__option_t::type& Options::operator[](options::arithUnateLemmaMode__option_t) const;
#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::arithUnateLemmaMode__option_t) const;
#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::arithUnateLemmaMode__option_t, std::string option, std::string value, SmtEngine* smt);
#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::arithPropagationMode__option_t::type& Options::operator[](options::arithPropagationMode__option_t) const;
#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::arithPropagationMode__option_t) const;
#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::arithPropagationMode__option_t, std::string option, std::string value, SmtEngine* smt);
#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::set(options::arithHeuristicPivots__option_t, const options::arithHeuristicPivots__option_t::type& x);
#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::arithHeuristicPivots__option_t::type& Options::operator[](options::arithHeuristicPivots__option_t) const;
#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::arithHeuristicPivots__option_t) const;
#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::arithHeuristicPivots__option_t, std::string option, std::string value, SmtEngine* smt);
#line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::set(options::arithStandardCheckVarOrderPivots__option_t, const options::arithStandardCheckVarOrderPivots__option_t::type& x);
#line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::arithStandardCheckVarOrderPivots__option_t::type& Options::operator[](options::arithStandardCheckVarOrderPivots__option_t) const;
#line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::arithStandardCheckVarOrderPivots__option_t) const;
#line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::arithStandardCheckVarOrderPivots__option_t, std::string option, std::string value, SmtEngine* smt);
#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::arithErrorSelectionRule__option_t::type& Options::operator[](options::arithErrorSelectionRule__option_t) const;
#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::arithErrorSelectionRule__option_t) const;
#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::arithErrorSelectionRule__option_t, std::string option, std::string value, SmtEngine* smt);
#line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::arithSimplexCheckPeriod__option_t::type& Options::operator[](options::arithSimplexCheckPeriod__option_t) const;
#line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::arithSimplexCheckPeriod__option_t) const;
#line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::arithSimplexCheckPeriod__option_t, std::string option, std::string value, SmtEngine* smt);
#line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::set(options::arithPivotThreshold__option_t, const options::arithPivotThreshold__option_t::type& x);
#line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::arithPivotThreshold__option_t::type& Options::operator[](options::arithPivotThreshold__option_t) const;
#line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::arithPivotThreshold__option_t) const;
#line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::arithPivotThreshold__option_t, std::string option, std::string value, SmtEngine* smt);
#line 42 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::arithPropagateMaxLength__option_t::type& Options::operator[](options::arithPropagateMaxLength__option_t) const;
#line 42 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::arithPropagateMaxLength__option_t) const;
#line 42 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::arithPropagateMaxLength__option_t, std::string option, std::string value, SmtEngine* smt);
#line 45 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::arithDioSolver__option_t::type& Options::operator[](options::arithDioSolver__option_t) const;
#line 45 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::arithDioSolver__option_t) const;
#line 45 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assignBool(options::arithDioSolver__option_t, std::string option, bool value, SmtEngine* smt);
#line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::set(options::arithRewriteEq__option_t, const options::arithRewriteEq__option_t::type& x);
#line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::arithRewriteEq__option_t::type& Options::operator[](options::arithRewriteEq__option_t) const;
#line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::arithRewriteEq__option_t) const;
#line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assignBool(options::arithRewriteEq__option_t, std::string option, bool value, SmtEngine* smt);
#line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::arithMLTrick__option_t::type& Options::operator[](options::arithMLTrick__option_t) const;
#line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::arithMLTrick__option_t) const;
#line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assignBool(options::arithMLTrick__option_t, std::string option, bool value, SmtEngine* smt);
#line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::arithMLTrickSubstitutions__option_t::type& Options::operator[](options::arithMLTrickSubstitutions__option_t) const;
#line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::arithMLTrickSubstitutions__option_t) const;
#line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::arithMLTrickSubstitutions__option_t, std::string option, std::string value, SmtEngine* smt);
#line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::set(options::doCutAllBounded__option_t, const options::doCutAllBounded__option_t::type& x);
#line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::doCutAllBounded__option_t::type& Options::operator[](options::doCutAllBounded__option_t) const;
#line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::doCutAllBounded__option_t) const;
#line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assignBool(options::doCutAllBounded__option_t, std::string option, bool value, SmtEngine* smt);
#line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::maxCutsInContext__option_t::type& Options::operator[](options::maxCutsInContext__option_t) const;
#line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::maxCutsInContext__option_t) const;
#line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::maxCutsInContext__option_t, std::string option, std::string value, SmtEngine* smt);
#line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::revertArithModels__option_t::type& Options::operator[](options::revertArithModels__option_t) const;
#line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::revertArithModels__option_t) const;
#line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assignBool(options::revertArithModels__option_t, std::string option, bool value, SmtEngine* smt);
#line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::set(options::havePenalties__option_t, const options::havePenalties__option_t::type& x);
#line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::havePenalties__option_t::type& Options::operator[](options::havePenalties__option_t) const;
#line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::havePenalties__option_t) const;
#line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assignBool(options::havePenalties__option_t, std::string option, bool value, SmtEngine* smt);
#line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::set(options::useFC__option_t, const options::useFC__option_t::type& x);
#line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::useFC__option_t::type& Options::operator[](options::useFC__option_t) const;
#line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::useFC__option_t) const;
#line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assignBool(options::useFC__option_t, std::string option, bool value, SmtEngine* smt);
#line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::set(options::useSOI__option_t, const options::useSOI__option_t::type& x);
#line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::useSOI__option_t::type& Options::operator[](options::useSOI__option_t) const;
#line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::useSOI__option_t) const;
#line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assignBool(options::useSOI__option_t, std::string option, bool value, SmtEngine* smt);
#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::set(options::restrictedPivots__option_t, const options::restrictedPivots__option_t::type& x);
#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::restrictedPivots__option_t::type& Options::operator[](options::restrictedPivots__option_t) const;
#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::restrictedPivots__option_t) const;
#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assignBool(options::restrictedPivots__option_t, std::string option, bool value, SmtEngine* smt);
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::set(options::collectPivots__option_t, const options::collectPivots__option_t::type& x);
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::collectPivots__option_t::type& Options::operator[](options::collectPivots__option_t) const;
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::collectPivots__option_t) const;
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assignBool(options::collectPivots__option_t, std::string option, bool value, SmtEngine* smt);
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::set(options::useApprox__option_t, const options::useApprox__option_t::type& x);
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::useApprox__option_t::type& Options::operator[](options::useApprox__option_t) const;
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::useApprox__option_t) const;
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assignBool(options::useApprox__option_t, std::string option, bool value, SmtEngine* smt);
#line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::set(options::maxApproxDepth__option_t, const options::maxApproxDepth__option_t::type& x);
#line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::maxApproxDepth__option_t::type& Options::operator[](options::maxApproxDepth__option_t) const;
#line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::maxApproxDepth__option_t) const;
#line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::maxApproxDepth__option_t, std::string option, std::string value, SmtEngine* smt);
#line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::set(options::exportDioDecompositions__option_t, const options::exportDioDecompositions__option_t::type& x);
#line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::exportDioDecompositions__option_t::type& Options::operator[](options::exportDioDecompositions__option_t) const;
#line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::exportDioDecompositions__option_t) const;
#line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assignBool(options::exportDioDecompositions__option_t, std::string option, bool value, SmtEngine* smt);
#line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::set(options::newProp__option_t, const options::newProp__option_t::type& x);
#line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::newProp__option_t::type& Options::operator[](options::newProp__option_t) const;
#line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::newProp__option_t) const;
#line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assignBool(options::newProp__option_t, std::string option, bool value, SmtEngine* smt);
#line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::set(options::arithPropAsLemmaLength__option_t, const options::arithPropAsLemmaLength__option_t::type& x);
#line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::arithPropAsLemmaLength__option_t::type& Options::operator[](options::arithPropAsLemmaLength__option_t) const;
#line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::arithPropAsLemmaLength__option_t) const;
#line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::arithPropAsLemmaLength__option_t, std::string option, std::string value, SmtEngine* smt);
#line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::set(options::soiQuickExplain__option_t, const options::soiQuickExplain__option_t::type& x);
#line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::soiQuickExplain__option_t::type& Options::operator[](options::soiQuickExplain__option_t) const;
#line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::soiQuickExplain__option_t) const;
#line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assignBool(options::soiQuickExplain__option_t, std::string option, bool value, SmtEngine* smt);
#line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::set(options::rewriteDivk__option_t, const options::rewriteDivk__option_t::type& x);
#line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::rewriteDivk__option_t::type& Options::operator[](options::rewriteDivk__option_t) const;
#line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::rewriteDivk__option_t) const;
#line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assignBool(options::rewriteDivk__option_t, std::string option, bool value, SmtEngine* smt);
#line 109 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::trySolveIntStandardEffort__option_t::type& Options::operator[](options::trySolveIntStandardEffort__option_t) const;
#line 109 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::trySolveIntStandardEffort__option_t) const;
#line 109 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assignBool(options::trySolveIntStandardEffort__option_t, std::string option, bool value, SmtEngine* smt);
#line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::replayFailureLemma__option_t::type& Options::operator[](options::replayFailureLemma__option_t) const;
#line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::replayFailureLemma__option_t) const;
#line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assignBool(options::replayFailureLemma__option_t, std::string option, bool value, SmtEngine* smt);
#line 115 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::dioSolverTurns__option_t::type& Options::operator[](options::dioSolverTurns__option_t) const;
#line 115 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::dioSolverTurns__option_t) const;
#line 115 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::dioSolverTurns__option_t, std::string option, std::string value, SmtEngine* smt);
#line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::rrTurns__option_t::type& Options::operator[](options::rrTurns__option_t) const;
#line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::rrTurns__option_t) const;
#line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::rrTurns__option_t, std::string option, std::string value, SmtEngine* smt);
#line 121 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::dioRepeat__option_t::type& Options::operator[](options::dioRepeat__option_t) const;
#line 121 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::dioRepeat__option_t) const;
#line 121 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assignBool(options::dioRepeat__option_t, std::string option, bool value, SmtEngine* smt);
#line 124 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::replayEarlyCloseDepths__option_t::type& Options::operator[](options::replayEarlyCloseDepths__option_t) const;
#line 124 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::replayEarlyCloseDepths__option_t) const;
#line 124 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::replayEarlyCloseDepths__option_t, std::string option, std::string value, SmtEngine* smt);
#line 127 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::replayFailurePenalty__option_t::type& Options::operator[](options::replayFailurePenalty__option_t) const;
#line 127 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::replayFailurePenalty__option_t) const;
#line 127 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::replayFailurePenalty__option_t, std::string option, std::string value, SmtEngine* smt);
#line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::replayNumericFailurePenalty__option_t::type& Options::operator[](options::replayNumericFailurePenalty__option_t) const;
#line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::replayNumericFailurePenalty__option_t) const;
#line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::replayNumericFailurePenalty__option_t, std::string option, std::string value, SmtEngine* smt);
#line 133 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::replayRejectCutSize__option_t::type& Options::operator[](options::replayRejectCutSize__option_t) const;
#line 133 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::replayRejectCutSize__option_t) const;
#line 133 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::replayRejectCutSize__option_t, std::string option, std::string value, SmtEngine* smt);
#line 136 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::lemmaRejectCutSize__option_t::type& Options::operator[](options::lemmaRejectCutSize__option_t) const;
#line 136 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::lemmaRejectCutSize__option_t) const;
#line 136 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::lemmaRejectCutSize__option_t, std::string option, std::string value, SmtEngine* smt);
#line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::soiApproxMajorFailure__option_t::type& Options::operator[](options::soiApproxMajorFailure__option_t) const;
#line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::soiApproxMajorFailure__option_t) const;
#line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::soiApproxMajorFailure__option_t, std::string option, std::string value, SmtEngine* smt);
#line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::soiApproxMajorFailurePen__option_t::type& Options::operator[](options::soiApproxMajorFailurePen__option_t) const;
#line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::soiApproxMajorFailurePen__option_t) const;
#line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::soiApproxMajorFailurePen__option_t, std::string option, std::string value, SmtEngine* smt);
#line 145 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::soiApproxMinorFailure__option_t::type& Options::operator[](options::soiApproxMinorFailure__option_t) const;
#line 145 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::soiApproxMinorFailure__option_t) const;
#line 145 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::soiApproxMinorFailure__option_t, std::string option, std::string value, SmtEngine* smt);
#line 148 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::soiApproxMinorFailurePen__option_t::type& Options::operator[](options::soiApproxMinorFailurePen__option_t) const;
#line 148 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::soiApproxMinorFailurePen__option_t) const;
#line 148 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::soiApproxMinorFailurePen__option_t, std::string option, std::string value, SmtEngine* smt);
#line 151 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::ppAssertMaxSubSize__option_t::type& Options::operator[](options::ppAssertMaxSubSize__option_t) const;
#line 151 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::ppAssertMaxSubSize__option_t) const;
#line 151 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::ppAssertMaxSubSize__option_t, std::string option, std::string value, SmtEngine* smt);
#line 154 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::maxReplayTree__option_t::type& Options::operator[](options::maxReplayTree__option_t) const;
#line 154 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::maxReplayTree__option_t) const;
#line 154 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::maxReplayTree__option_t, std::string option, std::string value, SmtEngine* smt);
#line 158 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::pbRewrites__option_t::type& Options::operator[](options::pbRewrites__option_t) const;
#line 158 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::pbRewrites__option_t) const;
#line 158 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assignBool(options::pbRewrites__option_t, std::string option, bool value, SmtEngine* smt);
#line 161 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> const options::pbRewriteThreshold__option_t::type& Options::operator[](options::pbRewriteThreshold__option_t) const;
#line 161 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> bool Options::wasSetByUser(options::pbRewriteThreshold__option_t) const;
#line 161 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
template <> void Options::assign(options::pbRewriteThreshold__option_t, std::string option, std::string value, SmtEngine* smt);
#line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
namespace options {
#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline arithUnateLemmaMode__option_t::type arithUnateLemmaMode__option_t::operator()() const { return Options::current()[*this]; }
#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool arithUnateLemmaMode__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline arithPropagationMode__option_t::type arithPropagationMode__option_t::operator()() const { return Options::current()[*this]; }
#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool arithPropagationMode__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline arithHeuristicPivots__option_t::type arithHeuristicPivots__option_t::operator()() const { return Options::current()[*this]; }
#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool arithHeuristicPivots__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline void arithHeuristicPivots__option_t::set(const arithHeuristicPivots__option_t::type& v) { Options::current().set(*this, v); }
#line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline arithStandardCheckVarOrderPivots__option_t::type arithStandardCheckVarOrderPivots__option_t::operator()() const { return Options::current()[*this]; }
#line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool arithStandardCheckVarOrderPivots__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline void arithStandardCheckVarOrderPivots__option_t::set(const arithStandardCheckVarOrderPivots__option_t::type& v) { Options::current().set(*this, v); }
#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline arithErrorSelectionRule__option_t::type arithErrorSelectionRule__option_t::operator()() const { return Options::current()[*this]; }
#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool arithErrorSelectionRule__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline arithSimplexCheckPeriod__option_t::type arithSimplexCheckPeriod__option_t::operator()() const { return Options::current()[*this]; }
#line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool arithSimplexCheckPeriod__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline arithPivotThreshold__option_t::type arithPivotThreshold__option_t::operator()() const { return Options::current()[*this]; }
#line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool arithPivotThreshold__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline void arithPivotThreshold__option_t::set(const arithPivotThreshold__option_t::type& v) { Options::current().set(*this, v); }
#line 42 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline arithPropagateMaxLength__option_t::type arithPropagateMaxLength__option_t::operator()() const { return Options::current()[*this]; }
#line 42 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool arithPropagateMaxLength__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 45 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline arithDioSolver__option_t::type arithDioSolver__option_t::operator()() const { return Options::current()[*this]; }
#line 45 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool arithDioSolver__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline arithRewriteEq__option_t::type arithRewriteEq__option_t::operator()() const { return Options::current()[*this]; }
#line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool arithRewriteEq__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline void arithRewriteEq__option_t::set(const arithRewriteEq__option_t::type& v) { Options::current().set(*this, v); }
#line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline arithMLTrick__option_t::type arithMLTrick__option_t::operator()() const { return Options::current()[*this]; }
#line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool arithMLTrick__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline arithMLTrickSubstitutions__option_t::type arithMLTrickSubstitutions__option_t::operator()() const { return Options::current()[*this]; }
#line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool arithMLTrickSubstitutions__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline doCutAllBounded__option_t::type doCutAllBounded__option_t::operator()() const { return Options::current()[*this]; }
#line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool doCutAllBounded__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline void doCutAllBounded__option_t::set(const doCutAllBounded__option_t::type& v) { Options::current().set(*this, v); }
#line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline maxCutsInContext__option_t::type maxCutsInContext__option_t::operator()() const { return Options::current()[*this]; }
#line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool maxCutsInContext__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline revertArithModels__option_t::type revertArithModels__option_t::operator()() const { return Options::current()[*this]; }
#line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool revertArithModels__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline havePenalties__option_t::type havePenalties__option_t::operator()() const { return Options::current()[*this]; }
#line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool havePenalties__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline void havePenalties__option_t::set(const havePenalties__option_t::type& v) { Options::current().set(*this, v); }
#line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline useFC__option_t::type useFC__option_t::operator()() const { return Options::current()[*this]; }
#line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool useFC__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline void useFC__option_t::set(const useFC__option_t::type& v) { Options::current().set(*this, v); }
#line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline useSOI__option_t::type useSOI__option_t::operator()() const { return Options::current()[*this]; }
#line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool useSOI__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline void useSOI__option_t::set(const useSOI__option_t::type& v) { Options::current().set(*this, v); }
#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline restrictedPivots__option_t::type restrictedPivots__option_t::operator()() const { return Options::current()[*this]; }
#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool restrictedPivots__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline void restrictedPivots__option_t::set(const restrictedPivots__option_t::type& v) { Options::current().set(*this, v); }
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline collectPivots__option_t::type collectPivots__option_t::operator()() const { return Options::current()[*this]; }
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool collectPivots__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline void collectPivots__option_t::set(const collectPivots__option_t::type& v) { Options::current().set(*this, v); }
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline useApprox__option_t::type useApprox__option_t::operator()() const { return Options::current()[*this]; }
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool useApprox__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline void useApprox__option_t::set(const useApprox__option_t::type& v) { Options::current().set(*this, v); }
#line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline maxApproxDepth__option_t::type maxApproxDepth__option_t::operator()() const { return Options::current()[*this]; }
#line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool maxApproxDepth__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline void maxApproxDepth__option_t::set(const maxApproxDepth__option_t::type& v) { Options::current().set(*this, v); }
#line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline exportDioDecompositions__option_t::type exportDioDecompositions__option_t::operator()() const { return Options::current()[*this]; }
#line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool exportDioDecompositions__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline void exportDioDecompositions__option_t::set(const exportDioDecompositions__option_t::type& v) { Options::current().set(*this, v); }
#line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline newProp__option_t::type newProp__option_t::operator()() const { return Options::current()[*this]; }
#line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool newProp__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline void newProp__option_t::set(const newProp__option_t::type& v) { Options::current().set(*this, v); }
#line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline arithPropAsLemmaLength__option_t::type arithPropAsLemmaLength__option_t::operator()() const { return Options::current()[*this]; }
#line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool arithPropAsLemmaLength__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline void arithPropAsLemmaLength__option_t::set(const arithPropAsLemmaLength__option_t::type& v) { Options::current().set(*this, v); }
#line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline soiQuickExplain__option_t::type soiQuickExplain__option_t::operator()() const { return Options::current()[*this]; }
#line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool soiQuickExplain__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline void soiQuickExplain__option_t::set(const soiQuickExplain__option_t::type& v) { Options::current().set(*this, v); }
#line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline rewriteDivk__option_t::type rewriteDivk__option_t::operator()() const { return Options::current()[*this]; }
#line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool rewriteDivk__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline void rewriteDivk__option_t::set(const rewriteDivk__option_t::type& v) { Options::current().set(*this, v); }
#line 109 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline trySolveIntStandardEffort__option_t::type trySolveIntStandardEffort__option_t::operator()() const { return Options::current()[*this]; }
#line 109 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool trySolveIntStandardEffort__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline replayFailureLemma__option_t::type replayFailureLemma__option_t::operator()() const { return Options::current()[*this]; }
#line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool replayFailureLemma__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 115 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline dioSolverTurns__option_t::type dioSolverTurns__option_t::operator()() const { return Options::current()[*this]; }
#line 115 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool dioSolverTurns__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline rrTurns__option_t::type rrTurns__option_t::operator()() const { return Options::current()[*this]; }
#line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool rrTurns__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 121 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline dioRepeat__option_t::type dioRepeat__option_t::operator()() const { return Options::current()[*this]; }
#line 121 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool dioRepeat__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 124 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline replayEarlyCloseDepths__option_t::type replayEarlyCloseDepths__option_t::operator()() const { return Options::current()[*this]; }
#line 124 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool replayEarlyCloseDepths__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 127 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline replayFailurePenalty__option_t::type replayFailurePenalty__option_t::operator()() const { return Options::current()[*this]; }
#line 127 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool replayFailurePenalty__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline replayNumericFailurePenalty__option_t::type replayNumericFailurePenalty__option_t::operator()() const { return Options::current()[*this]; }
#line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool replayNumericFailurePenalty__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 133 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline replayRejectCutSize__option_t::type replayRejectCutSize__option_t::operator()() const { return Options::current()[*this]; }
#line 133 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool replayRejectCutSize__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 136 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline lemmaRejectCutSize__option_t::type lemmaRejectCutSize__option_t::operator()() const { return Options::current()[*this]; }
#line 136 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool lemmaRejectCutSize__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline soiApproxMajorFailure__option_t::type soiApproxMajorFailure__option_t::operator()() const { return Options::current()[*this]; }
#line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool soiApproxMajorFailure__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline soiApproxMajorFailurePen__option_t::type soiApproxMajorFailurePen__option_t::operator()() const { return Options::current()[*this]; }
#line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool soiApproxMajorFailurePen__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 145 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline soiApproxMinorFailure__option_t::type soiApproxMinorFailure__option_t::operator()() const { return Options::current()[*this]; }
#line 145 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool soiApproxMinorFailure__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 148 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline soiApproxMinorFailurePen__option_t::type soiApproxMinorFailurePen__option_t::operator()() const { return Options::current()[*this]; }
#line 148 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool soiApproxMinorFailurePen__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 151 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline ppAssertMaxSubSize__option_t::type ppAssertMaxSubSize__option_t::operator()() const { return Options::current()[*this]; }
#line 151 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool ppAssertMaxSubSize__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 154 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline maxReplayTree__option_t::type maxReplayTree__option_t::operator()() const { return Options::current()[*this]; }
#line 154 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool maxReplayTree__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 158 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline pbRewrites__option_t::type pbRewrites__option_t::operator()() const { return Options::current()[*this]; }
#line 158 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool pbRewrites__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 161 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline pbRewriteThreshold__option_t::type pbRewriteThreshold__option_t::operator()() const { return Options::current()[*this]; }
#line 161 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
inline bool pbRewriteThreshold__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
}/* CVC4::options namespace */
}/* CVC4 namespace */
#endif /* __CVC4__OPTIONS__ARITH_H */
arith_heuristic_pivot_rule.h
[[ Add one-line brief description here ]]
arith_propagation_mode.h
[[ Add one-line brief description here ]]
arith_unate_lemma_mode.h
[[ Add one-line brief description here ]]
CVC4::Options::current
static Options & current()
Get the current Options in effect.
Definition options.h:64
CVC4::Options::operator[]
const T::type & operator[](T) const
Get the value of the given option.
CVC4::Options::wasSetByUser
bool wasSetByUser(T) const
Returns true iff the value of the given option was set by the user via a command-line option or SmtEn...
CVC4::Options::set
void set(T, const typename T::type &)
Set the value of the given option.
Definition options.h:78
CVC4::SmtEngine
Definition smt_engine.h:113
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary,...
CVC4_PUBLIC
#define CVC4_PUBLIC
Definition cvc4_public.h:30
CVC4::options::arithPropagateMaxLength
struct CVC4::options::arithPropagateMaxLength__option_t arithPropagateMaxLength
CVC4::options::arithStandardCheckVarOrderPivots
struct CVC4::options::arithStandardCheckVarOrderPivots__option_t arithStandardCheckVarOrderPivots
CVC4::options::rrTurns
struct CVC4::options::rrTurns__option_t rrTurns
CVC4::options::arithErrorSelectionRule
struct CVC4::options::arithErrorSelectionRule__option_t arithErrorSelectionRule
CVC4::options::arithMLTrick
struct CVC4::options::arithMLTrick__option_t arithMLTrick
CVC4::options::pbRewrites
struct CVC4::options::pbRewrites__option_t pbRewrites
CVC4::options::dioRepeat
struct CVC4::options::dioRepeat__option_t dioRepeat
CVC4::options::useFC
struct CVC4::options::useFC__option_t useFC
CVC4::options::exportDioDecompositions
struct CVC4::options::exportDioDecompositions__option_t exportDioDecompositions
CVC4::options::havePenalties
struct CVC4::options::havePenalties__option_t havePenalties
CVC4::options::useApprox
struct CVC4::options::useApprox__option_t useApprox
CVC4::options::arithHeuristicPivots
struct CVC4::options::arithHeuristicPivots__option_t arithHeuristicPivots
CVC4::options::collectPivots
struct CVC4::options::collectPivots__option_t collectPivots
CVC4::options::soiApproxMinorFailurePen
struct CVC4::options::soiApproxMinorFailurePen__option_t soiApproxMinorFailurePen
CVC4::options::pbRewriteThreshold
struct CVC4::options::pbRewriteThreshold__option_t pbRewriteThreshold
CVC4::options::replayFailureLemma
struct CVC4::options::replayFailureLemma__option_t replayFailureLemma
CVC4::options::arithSimplexCheckPeriod
struct CVC4::options::arithSimplexCheckPeriod__option_t arithSimplexCheckPeriod
CVC4::options::arithPropagationMode
struct CVC4::options::arithPropagationMode__option_t arithPropagationMode
CVC4::options::replayNumericFailurePenalty
struct CVC4::options::replayNumericFailurePenalty__option_t replayNumericFailurePenalty
CVC4::options::arithMLTrickSubstitutions
struct CVC4::options::arithMLTrickSubstitutions__option_t arithMLTrickSubstitutions
CVC4::options::maxApproxDepth
struct CVC4::options::maxApproxDepth__option_t maxApproxDepth
CVC4::options::newProp
struct CVC4::options::newProp__option_t newProp
CVC4::options::soiApproxMajorFailurePen
struct CVC4::options::soiApproxMajorFailurePen__option_t soiApproxMajorFailurePen
CVC4::options::doCutAllBounded
struct CVC4::options::doCutAllBounded__option_t doCutAllBounded
CVC4::options::revertArithModels
struct CVC4::options::revertArithModels__option_t revertArithModels
CVC4::options::arithPivotThreshold
struct CVC4::options::arithPivotThreshold__option_t arithPivotThreshold
CVC4::options::replayEarlyCloseDepths
struct CVC4::options::replayEarlyCloseDepths__option_t replayEarlyCloseDepths
CVC4::options::trySolveIntStandardEffort
struct CVC4::options::trySolveIntStandardEffort__option_t trySolveIntStandardEffort
CVC4::options::soiQuickExplain
struct CVC4::options::soiQuickExplain__option_t soiQuickExplain
CVC4::options::arithPropAsLemmaLength
struct CVC4::options::arithPropAsLemmaLength__option_t arithPropAsLemmaLength
CVC4::options::restrictedPivots
struct CVC4::options::restrictedPivots__option_t restrictedPivots
CVC4::options::soiApproxMajorFailure
struct CVC4::options::soiApproxMajorFailure__option_t soiApproxMajorFailure
CVC4::options::replayFailurePenalty
struct CVC4::options::replayFailurePenalty__option_t replayFailurePenalty
CVC4::options::dioSolverTurns
struct CVC4::options::dioSolverTurns__option_t dioSolverTurns
CVC4::options::lemmaRejectCutSize
struct CVC4::options::lemmaRejectCutSize__option_t lemmaRejectCutSize
CVC4::options::rewriteDivk
struct CVC4::options::rewriteDivk__option_t rewriteDivk
CVC4::options::replayRejectCutSize
struct CVC4::options::replayRejectCutSize__option_t replayRejectCutSize
CVC4::options::maxReplayTree
struct CVC4::options::maxReplayTree__option_t maxReplayTree
CVC4::options::arithUnateLemmaMode
struct CVC4::options::arithUnateLemmaMode__option_t arithUnateLemmaMode
CVC4::options::arithRewriteEq
struct CVC4::options::arithRewriteEq__option_t arithRewriteEq
CVC4::options::ppAssertMaxSubSize
struct CVC4::options::ppAssertMaxSubSize__option_t ppAssertMaxSubSize
CVC4::options::soiApproxMinorFailure
struct CVC4::options::soiApproxMinorFailure__option_t soiApproxMinorFailure
CVC4::options::useSOI
struct CVC4::options::useSOI__option_t useSOI
CVC4::options::arithDioSolver
struct CVC4::options::arithDioSolver__option_t arithDioSolver
CVC4::options::maxCutsInContext
struct CVC4::options::maxCutsInContext__option_t maxCutsInContext
CVC4
Definition expr.h:106
CVC4::ArithPropagationMode
ArithPropagationMode
Definition arith_propagation_mode.h:27
CVC4::ArithUnateLemmaMode
ArithUnateLemmaMode
Definition arith_unate_lemma_mode.h:27
CVC4::ErrorSelectionRule
ErrorSelectionRule
Definition arith_heuristic_pivot_rule.h:27
options.h
Global (command-line, set-option, ...) parameters for SMT.
CVC4::options::arithDioSolver__option_t
Definition options.h:178
CVC4::options::arithDioSolver__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:616
CVC4::options::arithDioSolver__option_t::type
bool type
Definition options.h:178
CVC4::options::arithDioSolver__option_t::operator()
type operator()() const
Definition options.h:614
CVC4::options::arithErrorSelectionRule__option_t
Definition options.h:170
CVC4::options::arithErrorSelectionRule__option_t::type
ErrorSelectionRule type
Definition options.h:170
CVC4::options::arithErrorSelectionRule__option_t::operator()
type operator()() const
Definition options.h:592
CVC4::options::arithErrorSelectionRule__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:594
CVC4::options::arithHeuristicPivots__option_t
Definition options.h:166
CVC4::options::arithHeuristicPivots__option_t::set
void set(const type &v)
Definition options.h:582
CVC4::options::arithHeuristicPivots__option_t::type
int16_t type
Definition options.h:166
CVC4::options::arithHeuristicPivots__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:580
CVC4::options::arithHeuristicPivots__option_t::operator()
type operator()() const
Definition options.h:578
CVC4::options::arithMLTrickSubstitutions__option_t
Definition options.h:184
CVC4::options::arithMLTrickSubstitutions__option_t::operator()
type operator()() const
Definition options.h:631
CVC4::options::arithMLTrickSubstitutions__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:633
CVC4::options::arithMLTrickSubstitutions__option_t::type
unsigned type
Definition options.h:184
CVC4::options::arithMLTrick__option_t
Definition options.h:182
CVC4::options::arithMLTrick__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:628
CVC4::options::arithMLTrick__option_t::type
bool type
Definition options.h:182
CVC4::options::arithMLTrick__option_t::operator()
type operator()() const
Definition options.h:626
CVC4::options::arithPivotThreshold__option_t
Definition options.h:174
CVC4::options::arithPivotThreshold__option_t::set
void set(const type &v)
Definition options.h:606
CVC4::options::arithPivotThreshold__option_t::operator()
type operator()() const
Definition options.h:602
CVC4::options::arithPivotThreshold__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:604
CVC4::options::arithPivotThreshold__option_t::type
uint16_t type
Definition options.h:174
CVC4::options::arithPropAsLemmaLength__option_t
Definition options.h:210
CVC4::options::arithPropAsLemmaLength__option_t::type
uint16_t type
Definition options.h:210
CVC4::options::arithPropAsLemmaLength__option_t::set
void set(const type &v)
Definition options.h:720
CVC4::options::arithPropAsLemmaLength__option_t::operator()
type operator()() const
Definition options.h:716
CVC4::options::arithPropAsLemmaLength__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:718
CVC4::options::arithPropagateMaxLength__option_t
Definition options.h:176
CVC4::options::arithPropagateMaxLength__option_t::type
uint16_t type
Definition options.h:176
CVC4::options::arithPropagateMaxLength__option_t::operator()
type operator()() const
Definition options.h:609
CVC4::options::arithPropagateMaxLength__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:611
CVC4::options::arithPropagationMode__option_t
Definition options.h:164
CVC4::options::arithPropagationMode__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:575
CVC4::options::arithPropagationMode__option_t::operator()
type operator()() const
Definition options.h:573
CVC4::options::arithPropagationMode__option_t::type
ArithPropagationMode type
Definition options.h:164
CVC4::options::arithRewriteEq__option_t
Definition options.h:180
CVC4::options::arithRewriteEq__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:621
CVC4::options::arithRewriteEq__option_t::set
void set(const type &v)
Definition options.h:623
CVC4::options::arithRewriteEq__option_t::type
bool type
Definition options.h:180
CVC4::options::arithRewriteEq__option_t::operator()
type operator()() const
Definition options.h:619
CVC4::options::arithSimplexCheckPeriod__option_t
Definition options.h:172
CVC4::options::arithSimplexCheckPeriod__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:599
CVC4::options::arithSimplexCheckPeriod__option_t::type
uint16_t type
Definition options.h:172
CVC4::options::arithSimplexCheckPeriod__option_t::operator()
type operator()() const
Definition options.h:597
CVC4::options::arithStandardCheckVarOrderPivots__option_t
Definition options.h:168
CVC4::options::arithStandardCheckVarOrderPivots__option_t::set
void set(const type &v)
Definition options.h:589
CVC4::options::arithStandardCheckVarOrderPivots__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:587
CVC4::options::arithStandardCheckVarOrderPivots__option_t::operator()
type operator()() const
Definition options.h:585
CVC4::options::arithStandardCheckVarOrderPivots__option_t::type
int16_t type
Definition options.h:168
CVC4::options::arithUnateLemmaMode__option_t
Definition options.h:162
CVC4::options::arithUnateLemmaMode__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:570
CVC4::options::arithUnateLemmaMode__option_t::operator()
type operator()() const
Definition options.h:568
CVC4::options::arithUnateLemmaMode__option_t::type
ArithUnateLemmaMode type
Definition options.h:162
CVC4::options::collectPivots__option_t
Definition options.h:200
CVC4::options::collectPivots__option_t::type
bool type
Definition options.h:200
CVC4::options::collectPivots__option_t::operator()
type operator()() const
Definition options.h:681
CVC4::options::collectPivots__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:683
CVC4::options::collectPivots__option_t::set
void set(const type &v)
Definition options.h:685
CVC4::options::dioRepeat__option_t
Definition options.h:224
CVC4::options::dioRepeat__option_t::operator()
type operator()() const
Definition options.h:757
CVC4::options::dioRepeat__option_t::type
bool type
Definition options.h:224
CVC4::options::dioRepeat__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:759
CVC4::options::dioSolverTurns__option_t
Definition options.h:220
CVC4::options::dioSolverTurns__option_t::type
int type
Definition options.h:220
CVC4::options::dioSolverTurns__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:749
CVC4::options::dioSolverTurns__option_t::operator()
type operator()() const
Definition options.h:747
CVC4::options::doCutAllBounded__option_t
Definition options.h:186
CVC4::options::doCutAllBounded__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:638
CVC4::options::doCutAllBounded__option_t::operator()
type operator()() const
Definition options.h:636
CVC4::options::doCutAllBounded__option_t::set
void set(const type &v)
Definition options.h:640
CVC4::options::doCutAllBounded__option_t::type
bool type
Definition options.h:186
CVC4::options::exportDioDecompositions__option_t
Definition options.h:206
CVC4::options::exportDioDecompositions__option_t::operator()
type operator()() const
Definition options.h:702
CVC4::options::exportDioDecompositions__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:704
CVC4::options::exportDioDecompositions__option_t::type
bool type
Definition options.h:206
CVC4::options::exportDioDecompositions__option_t::set
void set(const type &v)
Definition options.h:706
CVC4::options::havePenalties__option_t
Definition options.h:192
CVC4::options::havePenalties__option_t::operator()
type operator()() const
Definition options.h:653
CVC4::options::havePenalties__option_t::set
void set(const type &v)
Definition options.h:657
CVC4::options::havePenalties__option_t::type
bool type
Definition options.h:192
CVC4::options::havePenalties__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:655
CVC4::options::lemmaRejectCutSize__option_t
Definition options.h:234
CVC4::options::lemmaRejectCutSize__option_t::operator()
type operator()() const
Definition options.h:782
CVC4::options::lemmaRejectCutSize__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:784
CVC4::options::lemmaRejectCutSize__option_t::type
unsigned type
Definition options.h:234
CVC4::options::maxApproxDepth__option_t
Definition options.h:204
CVC4::options::maxApproxDepth__option_t::set
void set(const type &v)
Definition options.h:699
CVC4::options::maxApproxDepth__option_t::type
int16_t type
Definition options.h:204
CVC4::options::maxApproxDepth__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:697
CVC4::options::maxApproxDepth__option_t::operator()
type operator()() const
Definition options.h:695
CVC4::options::maxCutsInContext__option_t
Definition options.h:188
CVC4::options::maxCutsInContext__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:645
CVC4::options::maxCutsInContext__option_t::operator()
type operator()() const
Definition options.h:643
CVC4::options::maxCutsInContext__option_t::type
unsigned type
Definition options.h:188
CVC4::options::maxReplayTree__option_t
Definition options.h:246
CVC4::options::maxReplayTree__option_t::type
int type
Definition options.h:246
CVC4::options::maxReplayTree__option_t::operator()
type operator()() const
Definition options.h:812
CVC4::options::maxReplayTree__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:814
CVC4::options::newProp__option_t
Definition options.h:208
CVC4::options::newProp__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:711
CVC4::options::newProp__option_t::operator()
type operator()() const
Definition options.h:709
CVC4::options::newProp__option_t::set
void set(const type &v)
Definition options.h:713
CVC4::options::newProp__option_t::type
bool type
Definition options.h:208
CVC4::options::pbRewriteThreshold__option_t
Definition options.h:250
CVC4::options::pbRewriteThreshold__option_t::type
int type
Definition options.h:250
CVC4::options::pbRewriteThreshold__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:824
CVC4::options::pbRewriteThreshold__option_t::operator()
type operator()() const
Definition options.h:822
CVC4::options::pbRewrites__option_t
Definition options.h:248
CVC4::options::pbRewrites__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:819
CVC4::options::pbRewrites__option_t::operator()
type operator()() const
Definition options.h:817
CVC4::options::pbRewrites__option_t::type
bool type
Definition options.h:248
CVC4::options::ppAssertMaxSubSize__option_t
Definition options.h:244
CVC4::options::ppAssertMaxSubSize__option_t::type
unsigned type
Definition options.h:244
CVC4::options::ppAssertMaxSubSize__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:809
CVC4::options::ppAssertMaxSubSize__option_t::operator()
type operator()() const
Definition options.h:807
CVC4::options::replayEarlyCloseDepths__option_t
Definition options.h:226
CVC4::options::replayEarlyCloseDepths__option_t::type
int type
Definition options.h:226
CVC4::options::replayEarlyCloseDepths__option_t::operator()
type operator()() const
Definition options.h:762
CVC4::options::replayEarlyCloseDepths__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:764
CVC4::options::replayFailureLemma__option_t
Definition options.h:218
CVC4::options::replayFailureLemma__option_t::operator()
type operator()() const
Definition options.h:742
CVC4::options::replayFailureLemma__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:744
CVC4::options::replayFailureLemma__option_t::type
bool type
Definition options.h:218
CVC4::options::replayFailurePenalty__option_t
Definition options.h:228
CVC4::options::replayFailurePenalty__option_t::type
int type
Definition options.h:228
CVC4::options::replayFailurePenalty__option_t::operator()
type operator()() const
Definition options.h:767
CVC4::options::replayFailurePenalty__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:769
CVC4::options::replayNumericFailurePenalty__option_t
Definition options.h:230
CVC4::options::replayNumericFailurePenalty__option_t::type
int type
Definition options.h:230
CVC4::options::replayNumericFailurePenalty__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:774
CVC4::options::replayNumericFailurePenalty__option_t::operator()
type operator()() const
Definition options.h:772
CVC4::options::replayRejectCutSize__option_t
Definition options.h:232
CVC4::options::replayRejectCutSize__option_t::type
unsigned type
Definition options.h:232
CVC4::options::replayRejectCutSize__option_t::operator()
type operator()() const
Definition options.h:777
CVC4::options::replayRejectCutSize__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:779
CVC4::options::restrictedPivots__option_t
Definition options.h:198
CVC4::options::restrictedPivots__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:676
CVC4::options::restrictedPivots__option_t::set
void set(const type &v)
Definition options.h:678
CVC4::options::restrictedPivots__option_t::operator()
type operator()() const
Definition options.h:674
CVC4::options::restrictedPivots__option_t::type
bool type
Definition options.h:198
CVC4::options::revertArithModels__option_t
Definition options.h:190
CVC4::options::revertArithModels__option_t::operator()
type operator()() const
Definition options.h:648
CVC4::options::revertArithModels__option_t::type
bool type
Definition options.h:190
CVC4::options::revertArithModels__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:650
CVC4::options::rewriteDivk__option_t
Definition options.h:214
CVC4::options::rewriteDivk__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:732
CVC4::options::rewriteDivk__option_t::set
void set(const type &v)
Definition options.h:734
CVC4::options::rewriteDivk__option_t::operator()
type operator()() const
Definition options.h:730
CVC4::options::rewriteDivk__option_t::type
bool type
Definition options.h:214
CVC4::options::rrTurns__option_t
Definition options.h:222
CVC4::options::rrTurns__option_t::operator()
type operator()() const
Definition options.h:752
CVC4::options::rrTurns__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:754
CVC4::options::rrTurns__option_t::type
int type
Definition options.h:222
CVC4::options::soiApproxMajorFailurePen__option_t
Definition options.h:238
CVC4::options::soiApproxMajorFailurePen__option_t::type
int type
Definition options.h:238
CVC4::options::soiApproxMajorFailurePen__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:794
CVC4::options::soiApproxMajorFailurePen__option_t::operator()
type operator()() const
Definition options.h:792
CVC4::options::soiApproxMajorFailure__option_t
Definition options.h:236
CVC4::options::soiApproxMajorFailure__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:789
CVC4::options::soiApproxMajorFailure__option_t::type
double type
Definition options.h:236
CVC4::options::soiApproxMajorFailure__option_t::operator()
type operator()() const
Definition options.h:787
CVC4::options::soiApproxMinorFailurePen__option_t
Definition options.h:242
CVC4::options::soiApproxMinorFailurePen__option_t::operator()
type operator()() const
Definition options.h:802
CVC4::options::soiApproxMinorFailurePen__option_t::type
int type
Definition options.h:242
CVC4::options::soiApproxMinorFailurePen__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:804
CVC4::options::soiApproxMinorFailure__option_t
Definition options.h:240
CVC4::options::soiApproxMinorFailure__option_t::operator()
type operator()() const
Definition options.h:797
CVC4::options::soiApproxMinorFailure__option_t::type
double type
Definition options.h:240
CVC4::options::soiApproxMinorFailure__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:799
CVC4::options::soiQuickExplain__option_t
Definition options.h:212
CVC4::options::soiQuickExplain__option_t::set
void set(const type &v)
Definition options.h:727
CVC4::options::soiQuickExplain__option_t::operator()
type operator()() const
Definition options.h:723
CVC4::options::soiQuickExplain__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:725
CVC4::options::soiQuickExplain__option_t::type
bool type
Definition options.h:212
CVC4::options::trySolveIntStandardEffort__option_t
Definition options.h:216
CVC4::options::trySolveIntStandardEffort__option_t::type
bool type
Definition options.h:216
CVC4::options::trySolveIntStandardEffort__option_t::operator()
type operator()() const
Definition options.h:737
CVC4::options::trySolveIntStandardEffort__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:739
CVC4::options::useApprox__option_t
Definition options.h:202
CVC4::options::useApprox__option_t::set
void set(const type &v)
Definition options.h:692
CVC4::options::useApprox__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:690
CVC4::options::useApprox__option_t::type
bool type
Definition options.h:202
CVC4::options::useApprox__option_t::operator()
type operator()() const
Definition options.h:688
CVC4::options::useFC__option_t
Definition options.h:194
CVC4::options::useFC__option_t::set
void set(const type &v)
Definition options.h:664
CVC4::options::useFC__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:662
CVC4::options::useFC__option_t::type
bool type
Definition options.h:194
CVC4::options::useFC__option_t::operator()
type operator()() const
Definition options.h:660
CVC4::options::useSOI__option_t
Definition options.h:196
CVC4::options::useSOI__option_t::set
void set(const type &v)
Definition options.h:671
CVC4::options::useSOI__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:669
CVC4::options::useSOI__option_t::type
bool type
Definition options.h:196
CVC4::options::useSOI__option_t::operator()
type operator()() const
Definition options.h:667