cvc4-1.4
options.h
Go to the documentation of this file.
1/********************* */
14/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
15/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
16/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
17/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
18/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
19/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
20
21/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
22/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
23/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
24/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
25/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
26/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
27
28/* Edit the template file instead. */
29
30/********************* */
46#include "cvc4_public.h"
47
48#ifndef __CVC4__OPTIONS__DRIVER_H
49#define __CVC4__OPTIONS__DRIVER_H
50
51#include "options/options.h"
52
53#line 33 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
54#include <vector>
55#line 33 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
56#include <string>
57
58#line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
59
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__;
91
92#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
93
94namespace CVC4 {
95
96namespace options {
97
98
99#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
100extern struct CVC4_PUBLIC version__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } version CVC4_PUBLIC;
101#line 12 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
102extern struct CVC4_PUBLIC help__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } help CVC4_PUBLIC;
103#line 23 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
104extern struct CVC4_PUBLIC earlyExit__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } earlyExit CVC4_PUBLIC;
105#line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
106extern struct CVC4_PUBLIC threads__option_t { typedef unsigned type; type operator()() const; bool wasSetByUser() const; } threads CVC4_PUBLIC;
107#line 31 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
108extern struct CVC4_PUBLIC threadStackSize__option_t { typedef unsigned type; type operator()() const; bool wasSetByUser() const; } threadStackSize CVC4_PUBLIC;
109#line 33 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
110extern struct CVC4_PUBLIC threadArgv__option_t { typedef std::vector<std::string> type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } threadArgv CVC4_PUBLIC;
111#line 35 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
112extern struct CVC4_PUBLIC thread_id__option_t { typedef int type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } thread_id CVC4_PUBLIC;
113#line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
114extern struct CVC4_PUBLIC sharingFilterByLength__option_t { typedef int type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } sharingFilterByLength CVC4_PUBLIC;
115#line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
116extern struct CVC4_PUBLIC fallbackSequential__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } fallbackSequential CVC4_PUBLIC;
117#line 41 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
118extern struct CVC4_PUBLIC incrementalParallel__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } incrementalParallel CVC4_PUBLIC;
119#line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
120extern struct CVC4_PUBLIC interactivePrompt__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } interactivePrompt CVC4_PUBLIC;
121#line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
122extern struct CVC4_PUBLIC continuedExecution__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } continuedExecution CVC4_PUBLIC;
123#line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
124extern struct CVC4_PUBLIC segvSpin__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } segvSpin CVC4_PUBLIC;
125#line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
126extern struct CVC4_PUBLIC tearDownIncremental__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } tearDownIncremental CVC4_PUBLIC;
127#line 58 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
128extern struct CVC4_PUBLIC waitToJoin__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } waitToJoin CVC4_PUBLIC;
129
130#line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
131
132}/* CVC4::options namespace */
133
134
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"
140template <> void Options::assignBool(options::version__option_t, std::string option, bool value, SmtEngine* smt);
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"
146template <> void Options::assignBool(options::help__option_t, std::string option, bool value, SmtEngine* smt);
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"
152template <> void Options::assignBool(options::earlyExit__option_t, std::string option, bool value, SmtEngine* smt);
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"
158template <> void Options::assign(options::threads__option_t, std::string option, std::string value, SmtEngine* smt);
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"
164template <> void Options::assign(options::threadStackSize__option_t, std::string option, std::string value, SmtEngine* smt);
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"
172template <> void Options::assign(options::threadArgv__option_t, std::string option, std::string value, SmtEngine* smt);
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"
180template <> void Options::assign(options::thread_id__option_t, std::string option, std::string value, SmtEngine* smt);
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"
188template <> void Options::assign(options::sharingFilterByLength__option_t, std::string option, std::string value, SmtEngine* smt);
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"
194template <> void Options::assignBool(options::fallbackSequential__option_t, std::string option, bool value, SmtEngine* smt);
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"
200template <> void Options::assignBool(options::incrementalParallel__option_t, std::string option, bool value, SmtEngine* smt);
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"
206template <> void Options::assignBool(options::interactivePrompt__option_t, std::string option, bool value, SmtEngine* smt);
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"
212template <> void Options::assignBool(options::continuedExecution__option_t, std::string option, bool value, SmtEngine* smt);
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"
218template <> void Options::assignBool(options::segvSpin__option_t, std::string option, bool value, SmtEngine* smt);
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"
224template <> void Options::assignBool(options::tearDownIncremental__option_t, std::string option, bool value, SmtEngine* smt);
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"
230template <> void Options::assignBool(options::waitToJoin__option_t, std::string option, bool value, SmtEngine* smt);
231
232#line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
233
234namespace options {
235
236
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"
240inline bool version__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
241
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"
245inline bool help__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
246
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"
251
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"
255inline bool threads__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
256
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"
261
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"
268
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"
275
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"
282
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"
287
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"
292
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"
297
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"
302
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"
306inline bool segvSpin__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
307
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"
312
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"
317
318#line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
319
320}/* CVC4::options namespace */
321
322}/* CVC4 namespace */
323
324#endif /* __CVC4__OPTIONS__DRIVER_H */
static Options & current()
Get the current Options in effect.
Definition options.h:64
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.
Definition options.h:78
Macros that should be defined everywhere during the building of the libraries and driver binary,...
#define CVC4_PUBLIC
Definition cvc4_public.h:30
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
Definition expr.h:106
Global (command-line, set-option, ...) parameters for SMT.
std::vector< std::string > type
Definition options.h:110