48 #ifndef __CVC4__OPTIONS__PROP_H 49 #define __CVC4__OPTIONS__PROP_H 54 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 56 #define CVC4_OPTIONS__PROP__FOR_OPTION_HOLDER \ 57 satRandomFreq__option_t::type satRandomFreq; \ 58 bool satRandomFreq__setByUser__; \ 59 satRandomSeed__option_t::type satRandomSeed; \ 60 bool satRandomSeed__setByUser__; \ 61 satVarDecay__option_t::type satVarDecay; \ 62 bool satVarDecay__setByUser__; \ 63 satClauseDecay__option_t::type satClauseDecay; \ 64 bool satClauseDecay__setByUser__; \ 65 satRestartFirst__option_t::type satRestartFirst; \ 66 bool satRestartFirst__setByUser__; \ 67 satRestartInc__option_t::type satRestartInc; \ 68 bool satRestartInc__setByUser__; \ 69 sat_refine_conflicts__option_t::type sat_refine_conflicts; \ 70 bool sat_refine_conflicts__setByUser__; \ 71 minisatUseElim__option_t::type minisatUseElim; \ 72 bool minisatUseElim__setByUser__; \ 73 minisatDumpDimacs__option_t::type minisatDumpDimacs; \ 74 bool minisatDumpDimacs__setByUser__; 76 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 83 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 85 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 87 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 89 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 91 #line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 93 #line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 95 #line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 97 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 99 #line 31 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 102 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 107 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 109 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 111 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 113 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 115 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 117 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 119 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 121 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 123 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 125 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 127 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 129 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 131 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 133 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 135 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 137 #line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 139 #line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 141 #line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 143 #line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 145 #line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 147 #line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 149 #line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 151 #line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 153 #line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 155 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 157 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 159 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 161 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 163 #line 31 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 165 #line 31 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 167 #line 31 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 170 #line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 175 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 177 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 180 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 182 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 184 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 187 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 189 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 191 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 194 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 196 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 198 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 201 #line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 203 #line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 206 #line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 208 #line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 211 #line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 213 #line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 216 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 218 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 220 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 223 #line 31 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 225 #line 31 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options" 228 #line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" struct CVC4::options::satRandomFreq__option_t satRandomFreq
bool wasSetByUser() const
const T::type & operator[](T) const
Get the value of the given option.
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...
struct CVC4::options::sat_refine_conflicts__option_t sat_refine_conflicts
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::satVarDecay__option_t satVarDecay
struct CVC4::options::minisatDumpDimacs__option_t minisatDumpDimacs
struct CVC4::options::minisatUseElim__option_t minisatUseElim
Global (command-line, set-option, ...) parameters for SMT.
static Options & current()
Get the current Options in effect.
Macros that should be defined everywhere during the building of the libraries and driver binary...
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
void set(T, const typename T::type &)
Set the value of the given option.
bool wasSetByUser() const
struct CVC4::options::satClauseDecay__option_t satClauseDecay
struct CVC4::options::satRestartInc__option_t satRestartInc
struct CVC4::options::satRestartFirst__option_t satRestartFirst
bool wasSetByUser() const
struct CVC4::options::satRandomSeed__option_t satRandomSeed