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"
static Options & current()
Get the current Options in effect.
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...
void set(T, const typename T::type &)
Set the value of the given option.
Macros that should be defined everywhere during the building of the libraries and driver binary,...
struct CVC4::options::segvSpin__option_t segvSpin
struct CVC4::options::incrementalParallel__option_t incrementalParallel
struct CVC4::options::thread_id__option_t thread_id
struct CVC4::options::threadStackSize__option_t threadStackSize
struct CVC4::options::tearDownIncremental__option_t tearDownIncremental
struct CVC4::options::version__option_t version
struct CVC4::options::fallbackSequential__option_t fallbackSequential
struct CVC4::options::earlyExit__option_t earlyExit
struct CVC4::options::interactivePrompt__option_t interactivePrompt
struct CVC4::options::continuedExecution__option_t continuedExecution
struct CVC4::options::threads__option_t threads
struct CVC4::options::threadArgv__option_t threadArgv
struct CVC4::options::help__option_t help
struct CVC4::options::waitToJoin__option_t waitToJoin
struct CVC4::options::sharingFilterByLength__option_t sharingFilterByLength
Global (command-line, set-option, ...) parameters for SMT.
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
std::vector< std::string > type
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const