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 
94 namespace CVC4 {
95 
96 namespace options {
97 
98 
99 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
100 extern 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"
102 extern 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"
104 extern 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"
106 extern 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"
108 extern 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"
110 extern 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"
112 extern 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"
114 extern 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"
116 extern 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"
118 extern 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"
120 extern 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"
122 extern 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"
124 extern 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"
126 extern 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"
128 extern 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"
138 template <> bool Options::wasSetByUser(options::version__option_t) const;
139 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
140 template <> 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"
144 template <> bool Options::wasSetByUser(options::help__option_t) const;
145 #line 12 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
146 template <> 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"
152 template <> 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"
156 template <> bool Options::wasSetByUser(options::threads__option_t) const;
157 #line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
158 template <> 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"
164 template <> 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"
172 template <> 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"
180 template <> 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"
188 template <> 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"
194 template <> 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"
200 template <> 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"
206 template <> 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"
212 template <> 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"
216 template <> bool Options::wasSetByUser(options::segvSpin__option_t) const;
217 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../main/options"
218 template <> 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"
224 template <> 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"
230 template <> 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 
234 namespace 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"
240 inline 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"
245 inline 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"
250 inline bool earlyExit__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
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"
255 inline 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"
265 inline bool threadArgv__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
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"
272 inline bool thread_id__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
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"
306 inline 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"
316 inline bool waitToJoin__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
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 */
struct CVC4::options::help__option_t help
Definition: options.h:76
struct CVC4::options::threadStackSize__option_t threadStackSize
struct CVC4::options::threads__option_t threads
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...
type operator()() const
Definition: options.h:243
struct CVC4::options::tearDownIncremental__option_t tearDownIncremental
#define CVC4_PUBLIC
Definition: cvc4_public.h:30
Global (command-line, set-option, ...) parameters for SMT.
struct CVC4::options::earlyExit__option_t earlyExit
static Options & current()
Get the current Options in effect.
Definition: options.h:64
Macros that should be defined everywhere during the building of the libraries and driver binary...
struct CVC4::options::version__option_t version
struct CVC4::options::continuedExecution__option_t continuedExecution
struct CVC4::options::waitToJoin__option_t waitToJoin
std::vector< std::string > type
Definition: options.h:110
struct CVC4::options::thread_id__option_t thread_id
struct CVC4::options::threadArgv__option_t threadArgv
void set(T, const typename T::type &)
Set the value of the given option.
Definition: options.h:78
struct CVC4::options::interactivePrompt__option_t interactivePrompt
struct CVC4::options::segvSpin__option_t segvSpin
bool wasSetByUser() const
Definition: options.h:245
struct CVC4::options::fallbackSequential__option_t fallbackSequential
void set(const type &v)
Definition: options.h:274
struct CVC4::options::incrementalParallel__option_t incrementalParallel