48 #ifndef __CVC4__OPTIONS__DRIVER_H 49 #define __CVC4__OPTIONS__DRIVER_H 53 #line 33 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 55 #line 33 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 58 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 60 #define CVC4_OPTIONS__DRIVER__FOR_OPTION_HOLDER \ 61 version__option_t::type version; \ 62 bool version__setByUser__; \ 63 help__option_t::type help; \ 64 bool help__setByUser__; \ 65 earlyExit__option_t::type earlyExit; \ 66 bool earlyExit__setByUser__; \ 67 threads__option_t::type threads; \ 68 bool threads__setByUser__; \ 69 threadStackSize__option_t::type threadStackSize; \ 70 bool threadStackSize__setByUser__; \ 71 threadArgv__option_t::type threadArgv; \ 72 bool threadArgv__setByUser__; \ 73 thread_id__option_t::type thread_id; \ 74 bool thread_id__setByUser__; \ 75 sharingFilterByLength__option_t::type sharingFilterByLength; \ 76 bool sharingFilterByLength__setByUser__; \ 77 fallbackSequential__option_t::type fallbackSequential; \ 78 bool fallbackSequential__setByUser__; \ 79 incrementalParallel__option_t::type incrementalParallel; \ 80 bool incrementalParallel__setByUser__; \ 81 interactivePrompt__option_t::type interactivePrompt; \ 82 bool interactivePrompt__setByUser__; \ 83 continuedExecution__option_t::type continuedExecution; \ 84 bool continuedExecution__setByUser__; \ 85 segvSpin__option_t::type segvSpin; \ 86 bool segvSpin__setByUser__; \ 87 tearDownIncremental__option_t::type tearDownIncremental; \ 88 bool tearDownIncremental__setByUser__; \ 89 waitToJoin__option_t::type waitToJoin; \ 90 bool waitToJoin__setByUser__; 92 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 99 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 101 #line 12 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 103 #line 23 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 105 #line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 107 #line 31 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 109 #line 33 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 111 #line 35 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 113 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 115 #line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 117 #line 41 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 119 #line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 121 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 123 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 125 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 127 #line 58 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 130 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 135 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 137 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 139 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 141 #line 12 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 143 #line 12 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 145 #line 12 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 147 #line 23 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 149 #line 23 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 151 #line 23 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 153 #line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 155 #line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 157 #line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 159 #line 31 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 161 #line 31 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 163 #line 31 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 165 #line 33 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 167 #line 33 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 169 #line 33 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 171 #line 33 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 173 #line 35 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 175 #line 35 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 177 #line 35 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 179 #line 35 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 181 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 183 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 185 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 187 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 189 #line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 191 #line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 193 #line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 195 #line 41 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 197 #line 41 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 199 #line 41 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 201 #line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 203 #line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 205 #line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 207 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 209 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 211 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 213 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 215 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 217 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 219 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 221 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 223 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 225 #line 58 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 227 #line 58 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 229 #line 58 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 232 #line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 237 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 239 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 242 #line 12 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 244 #line 12 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 247 #line 23 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 249 #line 23 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 252 #line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 254 #line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 257 #line 31 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 259 #line 31 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 262 #line 33 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 264 #line 33 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 266 #line 33 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 269 #line 35 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 271 #line 35 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 273 #line 35 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 276 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 278 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 280 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 283 #line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 285 #line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 288 #line 41 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 290 #line 41 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 293 #line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 295 #line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 298 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 300 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 303 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 305 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 308 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 310 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 313 #line 58 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 315 #line 58 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options" 318 #line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
struct CVC4::options::help__option_t help
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::threadStackSize__option_t threadStackSize
struct CVC4::options::threads__option_t threads
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::sharingFilterByLength__option_t sharingFilterByLength
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...
bool wasSetByUser() const
struct CVC4::options::tearDownIncremental__option_t tearDownIncremental
bool wasSetByUser() const
Global (command-line, set-option, ...) parameters for SMT.
struct CVC4::options::earlyExit__option_t earlyExit
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
struct CVC4::options::version__option_t version
struct CVC4::options::continuedExecution__option_t continuedExecution
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::waitToJoin__option_t waitToJoin
std::vector< std::string > type
struct CVC4::options::thread_id__option_t thread_id
bool wasSetByUser() const
struct CVC4::options::threadArgv__option_t threadArgv
void set(T, const typename T::type &)
Set the value of the given option.
struct CVC4::options::interactivePrompt__option_t interactivePrompt
struct CVC4::options::segvSpin__option_t segvSpin
bool wasSetByUser() const
struct CVC4::options::fallbackSequential__option_t fallbackSequential
struct CVC4::options::incrementalParallel__option_t incrementalParallel
bool wasSetByUser() const
bool wasSetByUser() const