cvc4-1.4
base_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__BASE_H
49 #define __CVC4__OPTIONS__BASE_H
50 
51 #include "options/options.h"
52 
53 #line 84 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
54 #include <iostream>
55 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
56 #include <iostream>
57 #line 86 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
58 #include <iostream>
59 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
60 #include "util/language.h"
61 #line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
62 #include "util/language.h"
63 
64 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
65 
66 #define CVC4_OPTIONS__BASE__FOR_OPTION_HOLDER \
67  binary_name__option_t::type binary_name; \
68  bool binary_name__setByUser__; \
69  in__option_t::type in; \
70  bool in__setByUser__; \
71  out__option_t::type out; \
72  bool out__setByUser__; \
73  err__option_t::type err; \
74  bool err__setByUser__; \
75  inputLanguage__option_t::type inputLanguage; \
76  bool inputLanguage__setByUser__; \
77  outputLanguage__option_t::type outputLanguage; \
78  bool outputLanguage__setByUser__; \
79  languageHelp__option_t::type languageHelp; \
80  bool languageHelp__setByUser__; \
81  verbosity__option_t::type verbosity; \
82  bool verbosity__setByUser__; \
83  statistics__option_t::type statistics; \
84  bool statistics__setByUser__; \
85  statsEveryQuery__option_t::type statsEveryQuery; \
86  bool statsEveryQuery__setByUser__; \
87  statsHideZeros__option_t::type statsHideZeros; \
88  bool statsHideZeros__setByUser__; \
89  parseOnly__option_t::type parseOnly; \
90  bool parseOnly__setByUser__; \
91  preprocessOnly__option_t::type preprocessOnly; \
92  bool preprocessOnly__setByUser__; \
93  printSuccess__option_t::type printSuccess; \
94  bool printSuccess__setByUser__;
95 
96 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
97 
98 namespace CVC4 {
99 
100 namespace options {
101 
102 
103 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
104 extern struct CVC4_PUBLIC binary_name__option_t { typedef std::string type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } binary_name CVC4_PUBLIC;
105 #line 84 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
106 extern struct CVC4_PUBLIC in__option_t { typedef std::istream* type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } in CVC4_PUBLIC;
107 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
108 extern struct CVC4_PUBLIC out__option_t { typedef std::ostream* type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } out CVC4_PUBLIC;
109 #line 86 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
110 extern struct CVC4_PUBLIC err__option_t { typedef std::ostream* type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } err CVC4_PUBLIC;
111 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
112 extern struct CVC4_PUBLIC inputLanguage__option_t { typedef InputLanguage type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } inputLanguage CVC4_PUBLIC;
113 #line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
114 extern struct CVC4_PUBLIC outputLanguage__option_t { typedef OutputLanguage type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } outputLanguage CVC4_PUBLIC;
115 #line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
116 extern struct CVC4_PUBLIC languageHelp__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } languageHelp CVC4_PUBLIC;
117 #line 99 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
118 extern struct CVC4_PUBLIC verbosity__option_t { typedef int type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } verbosity CVC4_PUBLIC;
119 #line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
120 extern struct CVC4_PUBLIC statistics__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } statistics CVC4_PUBLIC;
121 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
122 extern struct CVC4_PUBLIC statsEveryQuery__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } statsEveryQuery CVC4_PUBLIC;
123 #line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
124 extern struct CVC4_PUBLIC statsHideZeros__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } statsHideZeros CVC4_PUBLIC;
125 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
126 extern struct CVC4_PUBLIC parseOnly__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } parseOnly CVC4_PUBLIC;
127 #line 123 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
128 extern struct CVC4_PUBLIC preprocessOnly__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } preprocessOnly CVC4_PUBLIC;
129 #line 131 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
130 extern struct CVC4_PUBLIC printSuccess__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } printSuccess CVC4_PUBLIC;
131 
132 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
133 
134 }/* CVC4::options namespace */
135 
136 
137 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
139 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
141 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
143 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
144 template <> void Options::assign(options::binary_name__option_t, std::string option, std::string value, SmtEngine* smt);
145 #line 84 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
147 #line 84 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
149 #line 84 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
150 template <> bool Options::wasSetByUser(options::in__option_t) const;
151 #line 84 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
152 template <> void Options::assign(options::in__option_t, std::string option, std::string value, SmtEngine* smt);
153 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
155 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
157 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
158 template <> bool Options::wasSetByUser(options::out__option_t) const;
159 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
160 template <> void Options::assign(options::out__option_t, std::string option, std::string value, SmtEngine* smt);
161 #line 86 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
163 #line 86 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
165 #line 86 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
166 template <> bool Options::wasSetByUser(options::err__option_t) const;
167 #line 86 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
168 template <> void Options::assign(options::err__option_t, std::string option, std::string value, SmtEngine* smt);
169 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
171 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
173 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
175 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
176 template <> void Options::assign(options::inputLanguage__option_t, std::string option, std::string value, SmtEngine* smt);
177 #line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
179 #line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
181 #line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
183 #line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
184 template <> void Options::assign(options::outputLanguage__option_t, std::string option, std::string value, SmtEngine* smt);
185 #line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
187 #line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
189 #line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
191 #line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
192 template <> void Options::assignBool(options::languageHelp__option_t, std::string option, bool value, SmtEngine* smt);
193 #line 99 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
195 #line 99 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
197 #line 99 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
199 #line 99 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
200 template <> void Options::assign(options::verbosity__option_t, std::string option, std::string value, SmtEngine* smt);
201 #line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
203 #line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
205 #line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
206 template <> void Options::assignBool(options::statistics__option_t, std::string option, bool value, SmtEngine* smt);
207 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
209 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
211 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
212 template <> void Options::assignBool(options::statsEveryQuery__option_t, std::string option, bool value, SmtEngine* smt);
213 #line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
215 #line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
217 #line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
218 template <> void Options::assignBool(options::statsHideZeros__option_t, std::string option, bool value, SmtEngine* smt);
219 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
221 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
223 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
225 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
226 template <> void Options::assignBool(options::parseOnly__option_t, std::string option, bool value, SmtEngine* smt);
227 #line 123 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
229 #line 123 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
231 #line 123 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
232 template <> void Options::assignBool(options::preprocessOnly__option_t, std::string option, bool value, SmtEngine* smt);
233 #line 131 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
235 #line 131 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
237 #line 131 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
238 template <> void Options::assignBool(options::printSuccess__option_t, std::string option, bool value, SmtEngine* smt);
239 
240 #line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
241 
242 namespace options {
243 
244 
245 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
247 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
248 inline bool binary_name__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
249 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
251 
252 #line 84 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
254 #line 84 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
255 inline bool in__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
256 #line 84 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
257 inline void in__option_t::set(const in__option_t::type& v) { Options::current().set(*this, v); }
258 
259 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
261 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
262 inline bool out__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
263 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
264 inline void out__option_t::set(const out__option_t::type& v) { Options::current().set(*this, v); }
265 
266 #line 86 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
268 #line 86 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
269 inline bool err__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
270 #line 86 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
271 inline void err__option_t::set(const err__option_t::type& v) { Options::current().set(*this, v); }
272 
273 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
275 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
277 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
279 
280 #line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
282 #line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
284 #line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
286 
287 #line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
289 #line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
291 #line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
293 
294 #line 99 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
296 #line 99 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
297 inline bool verbosity__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
298 #line 99 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
300 
301 #line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
303 #line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
304 inline bool statistics__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
305 
306 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
308 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
310 
311 #line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
313 #line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
315 
316 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
318 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
319 inline bool parseOnly__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
320 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
322 
323 #line 123 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
325 #line 123 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
327 
328 #line 131 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
330 #line 131 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
332 
333 #line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
334 
335 }/* CVC4::options namespace */
336 
337 }/* CVC4 namespace */
338 
339 #endif /* __CVC4__OPTIONS__BASE_H */
struct CVC4::options::printSuccess__option_t printSuccess
Definition: options.h:60
struct CVC4::options::statsEveryQuery__option_t statsEveryQuery
struct CVC4::options::in__option_t in
struct CVC4::options::verbosity__option_t verbosity
struct CVC4::options::statistics__option_t statistics
const T::type & operator[](T) const
Get the value of the given option.
void set(const type &v)
Definition: base_options.h:271
void set(const type &v)
Definition: base_options.h:257
struct CVC4::options::parseOnly__option_t parseOnly
struct CVC4::options::binary_name__option_t binary_name
#define CVC4_PUBLIC
Definition: cvc4_public.h:30
Definition of input and output languages.
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...
Global (command-line, set-option, ...) parameters for SMT.
struct CVC4::options::outputLanguage__option_t outputLanguage
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::err__option_t err
struct CVC4::options::preprocessOnly__option_t preprocessOnly
void set(const type &v)
Definition: base_options.h:264
struct CVC4::options::out__option_t out
void set(T, const typename T::type &)
Set the value of the given option.
Definition: options.h:78
struct CVC4::options::statsHideZeros__option_t statsHideZeros
struct CVC4::options::inputLanguage__option_t inputLanguage
struct CVC4::options::languageHelp__option_t languageHelp