cvc4-1.3
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__SMT_H
49 #define __CVC4__OPTIONS__SMT_H
50 
51 #include "options/options.h"
52 
53 #line 13 "../../../src/options/../smt/options"
55 #line 99 "../../../src/options/../smt/options"
57 #line 101 "../../../src/options/../smt/options"
59 
60 #line 26 "../../../src/options/base_options_template.h"
61 
62 #define CVC4_OPTIONS__SMT__FOR_OPTION_HOLDER \
63  simplificationMode__option_t::type simplificationMode; \
64  bool simplificationMode__setByUser__; \
65  doStaticLearning__option_t::type doStaticLearning; \
66  bool doStaticLearning__setByUser__; \
67  expandDefinitions__option_t::type expandDefinitions; \
68  bool expandDefinitions__setByUser__; \
69  produceModels__option_t::type produceModels; \
70  bool produceModels__setByUser__; \
71  checkModels__option_t::type checkModels; \
72  bool checkModels__setByUser__; \
73  dumpModels__option_t::type dumpModels; \
74  bool dumpModels__setByUser__; \
75  proof__option_t::type proof; \
76  bool proof__setByUser__; \
77  unsatCores__option_t::type unsatCores; \
78  bool unsatCores__setByUser__; \
79  produceAssignments__option_t::type produceAssignments; \
80  bool produceAssignments__setByUser__; \
81  interactive__option_t::type interactive; \
82  bool interactive__setByUser__; \
83  doITESimp__option_t::type doITESimp; \
84  bool doITESimp__setByUser__; \
85  doITESimpOnRepeat__option_t::type doITESimpOnRepeat; \
86  bool doITESimpOnRepeat__setByUser__; \
87  simplifyWithCareEnabled__option_t::type simplifyWithCareEnabled; \
88  bool simplifyWithCareEnabled__setByUser__; \
89  compressItes__option_t::type compressItes; \
90  bool compressItes__setByUser__; \
91  unconstrainedSimp__option_t::type unconstrainedSimp; \
92  bool unconstrainedSimp__setByUser__; \
93  repeatSimp__option_t::type repeatSimp; \
94  bool repeatSimp__setByUser__; \
95  zombieHuntThreshold__option_t::type zombieHuntThreshold; \
96  bool zombieHuntThreshold__setByUser__; \
97  sortInference__option_t::type sortInference; \
98  bool sortInference__setByUser__; \
99  incrementalSolving__option_t::type incrementalSolving; \
100  bool incrementalSolving__setByUser__; \
101  abstractValues__option_t::type abstractValues; \
102  bool abstractValues__setByUser__; \
103  modelUninterpDtEnum__option_t::type modelUninterpDtEnum; \
104  bool modelUninterpDtEnum__setByUser__; \
105  cumulativeMillisecondLimit__option_t::type cumulativeMillisecondLimit; \
106  bool cumulativeMillisecondLimit__setByUser__; \
107  perCallMillisecondLimit__option_t::type perCallMillisecondLimit; \
108  bool perCallMillisecondLimit__setByUser__; \
109  cumulativeResourceLimit__option_t::type cumulativeResourceLimit; \
110  bool cumulativeResourceLimit__setByUser__; \
111  perCallResourceLimit__option_t::type perCallResourceLimit; \
112  bool perCallResourceLimit__setByUser__; \
113  rewriteApplyToConst__option_t::type rewriteApplyToConst; \
114  bool rewriteApplyToConst__setByUser__; \
115  replayFilename__option_t::type replayFilename; \
116  bool replayFilename__setByUser__; \
117  replayLog__option_t::type replayLog; \
118  bool replayLog__setByUser__; \
119  replayStream__option_t::type replayStream; \
120  bool replayStream__setByUser__; \
121  lemmaInputChannel__option_t::type lemmaInputChannel; \
122  bool lemmaInputChannel__setByUser__; \
123  lemmaOutputChannel__option_t::type lemmaOutputChannel; \
124  bool lemmaOutputChannel__setByUser__;
125 
126 #line 30 "../../../src/options/base_options_template.h"
127 
128 namespace CVC4 {
129 
130 namespace options {
131 
132 
133 #line 13 "../../../src/options/../smt/options"
134 extern struct CVC4_PUBLIC simplificationMode__option_t { typedef SimplificationMode type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } simplificationMode CVC4_PUBLIC;
135 #line 18 "../../../src/options/../smt/options"
136 extern struct CVC4_PUBLIC doStaticLearning__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } doStaticLearning CVC4_PUBLIC;
137 #line 21 "../../../src/options/../smt/options"
138 extern struct CVC4_PUBLIC expandDefinitions__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } expandDefinitions CVC4_PUBLIC;
139 #line 23 "../../../src/options/../smt/options"
140 extern struct CVC4_PUBLIC produceModels__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } produceModels CVC4_PUBLIC;
141 #line 25 "../../../src/options/../smt/options"
142 extern struct CVC4_PUBLIC checkModels__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } checkModels CVC4_PUBLIC;
143 #line 27 "../../../src/options/../smt/options"
144 extern struct CVC4_PUBLIC dumpModels__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } dumpModels CVC4_PUBLIC;
145 #line 29 "../../../src/options/../smt/options"
146 extern struct CVC4_PUBLIC proof__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } proof CVC4_PUBLIC;
147 #line 32 "../../../src/options/../smt/options"
148 extern struct CVC4_PUBLIC unsatCores__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } unsatCores CVC4_PUBLIC;
149 #line 34 "../../../src/options/../smt/options"
150 extern struct CVC4_PUBLIC produceAssignments__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } produceAssignments CVC4_PUBLIC;
151 #line 39 "../../../src/options/../smt/options"
152 extern struct CVC4_PUBLIC interactive__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } interactive CVC4_PUBLIC;
153 #line 42 "../../../src/options/../smt/options"
154 extern struct CVC4_PUBLIC doITESimp__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } doITESimp CVC4_PUBLIC;
155 #line 45 "../../../src/options/../smt/options"
156 extern struct CVC4_PUBLIC doITESimpOnRepeat__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } doITESimpOnRepeat CVC4_PUBLIC;
157 #line 48 "../../../src/options/../smt/options"
158 extern struct CVC4_PUBLIC simplifyWithCareEnabled__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } simplifyWithCareEnabled CVC4_PUBLIC;
159 #line 51 "../../../src/options/../smt/options"
160 extern struct CVC4_PUBLIC compressItes__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } compressItes CVC4_PUBLIC;
161 #line 54 "../../../src/options/../smt/options"
162 extern struct CVC4_PUBLIC unconstrainedSimp__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } unconstrainedSimp CVC4_PUBLIC;
163 #line 57 "../../../src/options/../smt/options"
164 extern struct CVC4_PUBLIC repeatSimp__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } repeatSimp CVC4_PUBLIC;
165 #line 60 "../../../src/options/../smt/options"
166 extern struct CVC4_PUBLIC zombieHuntThreshold__option_t { typedef uint32_t type; type operator()() const; bool wasSetByUser() const; } zombieHuntThreshold CVC4_PUBLIC;
167 #line 63 "../../../src/options/../smt/options"
168 extern struct CVC4_PUBLIC sortInference__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } sortInference CVC4_PUBLIC;
169 #line 66 "../../../src/options/../smt/options"
170 extern struct CVC4_PUBLIC incrementalSolving__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } incrementalSolving CVC4_PUBLIC;
171 #line 69 "../../../src/options/../smt/options"
172 extern struct CVC4_PUBLIC abstractValues__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } abstractValues CVC4_PUBLIC;
173 #line 71 "../../../src/options/../smt/options"
174 extern struct CVC4_PUBLIC modelUninterpDtEnum__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } modelUninterpDtEnum CVC4_PUBLIC;
175 #line 79 "../../../src/options/../smt/options"
176 extern struct CVC4_PUBLIC cumulativeMillisecondLimit__option_t { typedef unsigned long type; type operator()() const; bool wasSetByUser() const; } cumulativeMillisecondLimit CVC4_PUBLIC;
177 #line 81 "../../../src/options/../smt/options"
178 extern struct CVC4_PUBLIC perCallMillisecondLimit__option_t { typedef unsigned long type; type operator()() const; bool wasSetByUser() const; } perCallMillisecondLimit CVC4_PUBLIC;
179 #line 83 "../../../src/options/../smt/options"
180 extern struct CVC4_PUBLIC cumulativeResourceLimit__option_t { typedef unsigned long type; type operator()() const; bool wasSetByUser() const; } cumulativeResourceLimit CVC4_PUBLIC;
181 #line 85 "../../../src/options/../smt/options"
182 extern struct CVC4_PUBLIC perCallResourceLimit__option_t { typedef unsigned long type; type operator()() const; bool wasSetByUser() const; } perCallResourceLimit CVC4_PUBLIC;
183 #line 88 "../../../src/options/../smt/options"
184 extern struct CVC4_PUBLIC rewriteApplyToConst__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } rewriteApplyToConst CVC4_PUBLIC;
185 #line 92 "../../../src/options/../smt/options"
186 extern struct CVC4_PUBLIC replayFilename__option_t { typedef std::string type; type operator()() const; bool wasSetByUser() const; } replayFilename CVC4_PUBLIC;
187 #line 94 "../../../src/options/../smt/options"
188 extern struct CVC4_PUBLIC replayLog__option_t { typedef std::ostream* type; type operator()() const; bool wasSetByUser() const; } replayLog CVC4_PUBLIC;
189 #line 96 "../../../src/options/../smt/options"
190 extern struct CVC4_PUBLIC replayStream__option_t { typedef ExprStream* type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } replayStream CVC4_PUBLIC;
191 #line 99 "../../../src/options/../smt/options"
192 extern struct CVC4_PUBLIC lemmaInputChannel__option_t { typedef LemmaInputChannel* type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } lemmaInputChannel CVC4_PUBLIC;
193 #line 101 "../../../src/options/../smt/options"
194 extern struct CVC4_PUBLIC lemmaOutputChannel__option_t { typedef LemmaOutputChannel* type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } lemmaOutputChannel CVC4_PUBLIC;
195 
196 #line 38 "../../../src/options/base_options_template.h"
197 
198 }/* CVC4::options namespace */
199 
200 
201 #line 13 "../../../src/options/../smt/options"
203 #line 13 "../../../src/options/../smt/options"
205 #line 13 "../../../src/options/../smt/options"
207 #line 13 "../../../src/options/../smt/options"
208 template <> void Options::assign(options::simplificationMode__option_t, std::string option, std::string value, SmtEngine* smt);
209 #line 18 "../../../src/options/../smt/options"
211 #line 18 "../../../src/options/../smt/options"
213 #line 18 "../../../src/options/../smt/options"
214 template <> void Options::assignBool(options::doStaticLearning__option_t, std::string option, bool value, SmtEngine* smt);
215 #line 21 "../../../src/options/../smt/options"
217 #line 21 "../../../src/options/../smt/options"
219 #line 21 "../../../src/options/../smt/options"
220 template <> void Options::assignBool(options::expandDefinitions__option_t, std::string option, bool value, SmtEngine* smt);
221 #line 23 "../../../src/options/../smt/options"
223 #line 23 "../../../src/options/../smt/options"
225 #line 23 "../../../src/options/../smt/options"
226 template <> void Options::assignBool(options::produceModels__option_t, std::string option, bool value, SmtEngine* smt);
227 #line 25 "../../../src/options/../smt/options"
229 #line 25 "../../../src/options/../smt/options"
231 #line 25 "../../../src/options/../smt/options"
232 template <> void Options::assignBool(options::checkModels__option_t, std::string option, bool value, SmtEngine* smt);
233 #line 27 "../../../src/options/../smt/options"
235 #line 27 "../../../src/options/../smt/options"
237 #line 27 "../../../src/options/../smt/options"
238 template <> void Options::assignBool(options::dumpModels__option_t, std::string option, bool value, SmtEngine* smt);
239 #line 29 "../../../src/options/../smt/options"
241 #line 29 "../../../src/options/../smt/options"
242 template <> bool Options::wasSetByUser(options::proof__option_t) const;
243 #line 29 "../../../src/options/../smt/options"
244 template <> void Options::assignBool(options::proof__option_t, std::string option, bool value, SmtEngine* smt);
245 #line 32 "../../../src/options/../smt/options"
247 #line 32 "../../../src/options/../smt/options"
249 #line 32 "../../../src/options/../smt/options"
250 template <> void Options::assignBool(options::unsatCores__option_t, std::string option, bool value, SmtEngine* smt);
251 #line 34 "../../../src/options/../smt/options"
253 #line 34 "../../../src/options/../smt/options"
255 #line 34 "../../../src/options/../smt/options"
256 template <> void Options::assignBool(options::produceAssignments__option_t, std::string option, bool value, SmtEngine* smt);
257 #line 39 "../../../src/options/../smt/options"
259 #line 39 "../../../src/options/../smt/options"
261 #line 39 "../../../src/options/../smt/options"
263 #line 39 "../../../src/options/../smt/options"
264 template <> void Options::assignBool(options::interactive__option_t, std::string option, bool value, SmtEngine* smt);
265 #line 42 "../../../src/options/../smt/options"
267 #line 42 "../../../src/options/../smt/options"
269 #line 42 "../../../src/options/../smt/options"
271 #line 42 "../../../src/options/../smt/options"
272 template <> void Options::assignBool(options::doITESimp__option_t, std::string option, bool value, SmtEngine* smt);
273 #line 45 "../../../src/options/../smt/options"
275 #line 45 "../../../src/options/../smt/options"
277 #line 45 "../../../src/options/../smt/options"
279 #line 45 "../../../src/options/../smt/options"
280 template <> void Options::assignBool(options::doITESimpOnRepeat__option_t, std::string option, bool value, SmtEngine* smt);
281 #line 48 "../../../src/options/../smt/options"
283 #line 48 "../../../src/options/../smt/options"
285 #line 48 "../../../src/options/../smt/options"
287 #line 48 "../../../src/options/../smt/options"
288 template <> void Options::assignBool(options::simplifyWithCareEnabled__option_t, std::string option, bool value, SmtEngine* smt);
289 #line 51 "../../../src/options/../smt/options"
291 #line 51 "../../../src/options/../smt/options"
293 #line 51 "../../../src/options/../smt/options"
295 #line 51 "../../../src/options/../smt/options"
296 template <> void Options::assignBool(options::compressItes__option_t, std::string option, bool value, SmtEngine* smt);
297 #line 54 "../../../src/options/../smt/options"
299 #line 54 "../../../src/options/../smt/options"
301 #line 54 "../../../src/options/../smt/options"
303 #line 54 "../../../src/options/../smt/options"
304 template <> void Options::assignBool(options::unconstrainedSimp__option_t, std::string option, bool value, SmtEngine* smt);
305 #line 57 "../../../src/options/../smt/options"
307 #line 57 "../../../src/options/../smt/options"
309 #line 57 "../../../src/options/../smt/options"
311 #line 57 "../../../src/options/../smt/options"
312 template <> void Options::assignBool(options::repeatSimp__option_t, std::string option, bool value, SmtEngine* smt);
313 #line 60 "../../../src/options/../smt/options"
315 #line 60 "../../../src/options/../smt/options"
317 #line 60 "../../../src/options/../smt/options"
318 template <> void Options::assign(options::zombieHuntThreshold__option_t, std::string option, std::string value, SmtEngine* smt);
319 #line 63 "../../../src/options/../smt/options"
321 #line 63 "../../../src/options/../smt/options"
323 #line 63 "../../../src/options/../smt/options"
325 #line 63 "../../../src/options/../smt/options"
326 template <> void Options::assignBool(options::sortInference__option_t, std::string option, bool value, SmtEngine* smt);
327 #line 66 "../../../src/options/../smt/options"
329 #line 66 "../../../src/options/../smt/options"
331 #line 66 "../../../src/options/../smt/options"
332 template <> void Options::assignBool(options::incrementalSolving__option_t, std::string option, bool value, SmtEngine* smt);
333 #line 69 "../../../src/options/../smt/options"
335 #line 69 "../../../src/options/../smt/options"
337 #line 69 "../../../src/options/../smt/options"
338 template <> void Options::assignBool(options::abstractValues__option_t, std::string option, bool value, SmtEngine* smt);
339 #line 71 "../../../src/options/../smt/options"
341 #line 71 "../../../src/options/../smt/options"
343 #line 71 "../../../src/options/../smt/options"
344 template <> void Options::assignBool(options::modelUninterpDtEnum__option_t, std::string option, bool value, SmtEngine* smt);
345 #line 79 "../../../src/options/../smt/options"
347 #line 79 "../../../src/options/../smt/options"
349 #line 79 "../../../src/options/../smt/options"
350 template <> void Options::assign(options::cumulativeMillisecondLimit__option_t, std::string option, std::string value, SmtEngine* smt);
351 #line 81 "../../../src/options/../smt/options"
353 #line 81 "../../../src/options/../smt/options"
355 #line 81 "../../../src/options/../smt/options"
356 template <> void Options::assign(options::perCallMillisecondLimit__option_t, std::string option, std::string value, SmtEngine* smt);
357 #line 83 "../../../src/options/../smt/options"
359 #line 83 "../../../src/options/../smt/options"
361 #line 83 "../../../src/options/../smt/options"
362 template <> void Options::assign(options::cumulativeResourceLimit__option_t, std::string option, std::string value, SmtEngine* smt);
363 #line 85 "../../../src/options/../smt/options"
365 #line 85 "../../../src/options/../smt/options"
367 #line 85 "../../../src/options/../smt/options"
368 template <> void Options::assign(options::perCallResourceLimit__option_t, std::string option, std::string value, SmtEngine* smt);
369 #line 88 "../../../src/options/../smt/options"
371 #line 88 "../../../src/options/../smt/options"
373 #line 88 "../../../src/options/../smt/options"
374 template <> void Options::assignBool(options::rewriteApplyToConst__option_t, std::string option, bool value, SmtEngine* smt);
375 #line 92 "../../../src/options/../smt/options"
377 #line 92 "../../../src/options/../smt/options"
379 #line 92 "../../../src/options/../smt/options"
380 template <> void Options::assign(options::replayFilename__option_t, std::string option, std::string value, SmtEngine* smt);
381 #line 94 "../../../src/options/../smt/options"
383 #line 94 "../../../src/options/../smt/options"
385 #line 94 "../../../src/options/../smt/options"
386 template <> void Options::assign(options::replayLog__option_t, std::string option, std::string value, SmtEngine* smt);
387 #line 96 "../../../src/options/../smt/options"
389 #line 96 "../../../src/options/../smt/options"
391 #line 96 "../../../src/options/../smt/options"
393 #line 96 "../../../src/options/../smt/options"
394 template <> void Options::assign(options::replayStream__option_t, std::string option, std::string value, SmtEngine* smt);
395 #line 99 "../../../src/options/../smt/options"
397 #line 99 "../../../src/options/../smt/options"
399 #line 99 "../../../src/options/../smt/options"
401 #line 99 "../../../src/options/../smt/options"
402 template <> void Options::assign(options::lemmaInputChannel__option_t, std::string option, std::string value, SmtEngine* smt);
403 #line 101 "../../../src/options/../smt/options"
405 #line 101 "../../../src/options/../smt/options"
407 #line 101 "../../../src/options/../smt/options"
409 #line 101 "../../../src/options/../smt/options"
410 template <> void Options::assign(options::lemmaOutputChannel__option_t, std::string option, std::string value, SmtEngine* smt);
411 
412 #line 44 "../../../src/options/base_options_template.h"
413 
414 namespace options {
415 
416 
417 #line 13 "../../../src/options/../smt/options"
419 #line 13 "../../../src/options/../smt/options"
421 #line 13 "../../../src/options/../smt/options"
423 
424 #line 18 "../../../src/options/../smt/options"
426 #line 18 "../../../src/options/../smt/options"
428 
429 #line 21 "../../../src/options/../smt/options"
431 #line 21 "../../../src/options/../smt/options"
433 
434 #line 23 "../../../src/options/../smt/options"
436 #line 23 "../../../src/options/../smt/options"
438 
439 #line 25 "../../../src/options/../smt/options"
441 #line 25 "../../../src/options/../smt/options"
442 inline bool checkModels__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
443 
444 #line 27 "../../../src/options/../smt/options"
446 #line 27 "../../../src/options/../smt/options"
447 inline bool dumpModels__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
448 
449 #line 29 "../../../src/options/../smt/options"
451 #line 29 "../../../src/options/../smt/options"
452 inline bool proof__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
453 
454 #line 32 "../../../src/options/../smt/options"
456 #line 32 "../../../src/options/../smt/options"
457 inline bool unsatCores__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
458 
459 #line 34 "../../../src/options/../smt/options"
461 #line 34 "../../../src/options/../smt/options"
463 
464 #line 39 "../../../src/options/../smt/options"
466 #line 39 "../../../src/options/../smt/options"
467 inline bool interactive__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
468 #line 39 "../../../src/options/../smt/options"
470 
471 #line 42 "../../../src/options/../smt/options"
473 #line 42 "../../../src/options/../smt/options"
474 inline bool doITESimp__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
475 #line 42 "../../../src/options/../smt/options"
477 
478 #line 45 "../../../src/options/../smt/options"
480 #line 45 "../../../src/options/../smt/options"
482 #line 45 "../../../src/options/../smt/options"
484 
485 #line 48 "../../../src/options/../smt/options"
487 #line 48 "../../../src/options/../smt/options"
489 #line 48 "../../../src/options/../smt/options"
491 
492 #line 51 "../../../src/options/../smt/options"
494 #line 51 "../../../src/options/../smt/options"
496 #line 51 "../../../src/options/../smt/options"
498 
499 #line 54 "../../../src/options/../smt/options"
501 #line 54 "../../../src/options/../smt/options"
503 #line 54 "../../../src/options/../smt/options"
505 
506 #line 57 "../../../src/options/../smt/options"
508 #line 57 "../../../src/options/../smt/options"
509 inline bool repeatSimp__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
510 #line 57 "../../../src/options/../smt/options"
512 
513 #line 60 "../../../src/options/../smt/options"
515 #line 60 "../../../src/options/../smt/options"
517 
518 #line 63 "../../../src/options/../smt/options"
520 #line 63 "../../../src/options/../smt/options"
522 #line 63 "../../../src/options/../smt/options"
524 
525 #line 66 "../../../src/options/../smt/options"
527 #line 66 "../../../src/options/../smt/options"
529 
530 #line 69 "../../../src/options/../smt/options"
532 #line 69 "../../../src/options/../smt/options"
534 
535 #line 71 "../../../src/options/../smt/options"
537 #line 71 "../../../src/options/../smt/options"
539 
540 #line 79 "../../../src/options/../smt/options"
542 #line 79 "../../../src/options/../smt/options"
544 
545 #line 81 "../../../src/options/../smt/options"
547 #line 81 "../../../src/options/../smt/options"
549 
550 #line 83 "../../../src/options/../smt/options"
552 #line 83 "../../../src/options/../smt/options"
554 
555 #line 85 "../../../src/options/../smt/options"
557 #line 85 "../../../src/options/../smt/options"
559 
560 #line 88 "../../../src/options/../smt/options"
562 #line 88 "../../../src/options/../smt/options"
564 
565 #line 92 "../../../src/options/../smt/options"
567 #line 92 "../../../src/options/../smt/options"
569 
570 #line 94 "../../../src/options/../smt/options"
572 #line 94 "../../../src/options/../smt/options"
573 inline bool replayLog__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
574 
575 #line 96 "../../../src/options/../smt/options"
577 #line 96 "../../../src/options/../smt/options"
579 #line 96 "../../../src/options/../smt/options"
581 
582 #line 99 "../../../src/options/../smt/options"
584 #line 99 "../../../src/options/../smt/options"
586 #line 99 "../../../src/options/../smt/options"
588 
589 #line 101 "../../../src/options/../smt/options"
591 #line 101 "../../../src/options/../smt/options"
593 #line 101 "../../../src/options/../smt/options"
595 
596 #line 50 "../../../src/options/base_options_template.h"
597 
598 }/* CVC4::options namespace */
599 
600 }/* CVC4 namespace */
601 
602 #endif /* __CVC4__OPTIONS__SMT_H */
struct CVC4::options::perCallMillisecondLimit__option_t perCallMillisecondLimit
struct CVC4::options::simplifyWithCareEnabled__option_t simplifyWithCareEnabled
struct CVC4::options::cumulativeMillisecondLimit__option_t cumulativeMillisecondLimit
struct CVC4::options::modelUninterpDtEnum__option_t modelUninterpDtEnum
[[ Add one-line brief description here ]]
struct CVC4::options::cumulativeResourceLimit__option_t cumulativeResourceLimit
struct CVC4::options::lemmaOutputChannel__option_t lemmaOutputChannel
struct CVC4::options::checkModels__option_t checkModels
This interface describes a mechanism for the propositional and theory engines to communicate with the...
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...
struct CVC4::options::incrementalSolving__option_t incrementalSolving
struct CVC4::options::perCallResourceLimit__option_t perCallResourceLimit
struct CVC4::options::unconstrainedSimp__option_t unconstrainedSimp
SimplificationMode
Enumeration of simplification modes (when to simplify).
struct CVC4::options::doStaticLearning__option_t doStaticLearning
struct CVC4::options::replayFilename__option_t replayFilename
struct CVC4::options::abstractValues__option_t abstractValues
This is CVC4 release version For build and installation please see the INSTALL file included with this distribution This first official release of CVC4 is the result of more than three years of efforts by researchers at New York University and The University of Iowa The project leaders are Clark please refer to the AUTHORS file in the source distribution CVC4 is a tool for determining the satisfiability of a first order formula modulo a first order CVC CVC3 but does not directly incorporate code from any previous version CVC4 is intended to be an open and extensible SMT engine It can be used as a stand alone tool or as a library It has been designed to increase the performance and reduce the memory overhead of its predecessors It is written entirely in C and is released under a free software see the INSTALL file that comes with this distribution We recommend that you visit our CVC4 tutorials online please write to the cvc users cs nyu edu mailing list *if you need to report a bug with CVC4
Definition: README:39
struct CVC4::options::repeatSimp__option_t repeatSimp
struct CVC4::options::simplificationMode__option_t simplificationMode
struct CVC4::options::interactive__option_t interactive
struct CVC4::options::doITESimp__option_t doITESimp
#define CVC4_PUBLIC
Definition: cvc4_public.h:30
struct CVC4::options::unsatCores__option_t unsatCores
A pure-virtual stream interface for expressions.
Definition: expr_stream.h:30
struct CVC4::options::dumpModels__option_t dumpModels
struct CVC4::options::replayLog__option_t replayLog
[[ Add one-line brief description here ]]
struct CVC4::options::produceModels__option_t produceModels
struct CVC4::options::produceAssignments__option_t produceAssignments
Mechanism for communication about new lemmas.
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::rewriteApplyToConst__option_t rewriteApplyToConst
struct CVC4::options::lemmaInputChannel__option_t lemmaInputChannel
struct CVC4::options::doITESimpOnRepeat__option_t doITESimpOnRepeat
void set(const type &v)
Definition: options.h:476
struct CVC4::options::expandDefinitions__option_t expandDefinitions
struct CVC4::options::proof__option_t proof
struct CVC4::options::sortInference__option_t sortInference
void set(T, const typename T::type &)
Set the value of the given option.
Definition: options.h:78
struct CVC4::options::replayStream__option_t replayStream
bool wasSetByUser() const
Definition: options.h:452
struct CVC4::options::zombieHuntThreshold__option_t zombieHuntThreshold
struct CVC4::options::compressItes__option_t compressItes
Global (command-line, set-option, ...) parameters for SMT.