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