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__SMT_H
49 #define __CVC4__OPTIONS__SMT_H
50 
51 #include "options/options.h"
52 
53 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
54 #include "theory/logic_info.h"
55 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
57 #line 108 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
59 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
61 
62 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
63 
64 #define CVC4_OPTIONS__SMT__FOR_OPTION_HOLDER \
65  forceLogic__option_t::type forceLogic; \
66  bool forceLogic__setByUser__; \
67  simplificationMode__option_t::type simplificationMode; \
68  bool simplificationMode__setByUser__; \
69  doStaticLearning__option_t::type doStaticLearning; \
70  bool doStaticLearning__setByUser__; \
71  expandDefinitions__option_t::type expandDefinitions; \
72  bool expandDefinitions__setByUser__; \
73  produceModels__option_t::type produceModels; \
74  bool produceModels__setByUser__; \
75  checkModels__option_t::type checkModels; \
76  bool checkModels__setByUser__; \
77  dumpModels__option_t::type dumpModels; \
78  bool dumpModels__setByUser__; \
79  proof__option_t::type proof; \
80  bool proof__setByUser__; \
81  checkProofs__option_t::type checkProofs; \
82  bool checkProofs__setByUser__; \
83  dumpProofs__option_t::type dumpProofs; \
84  bool dumpProofs__setByUser__; \
85  dumpInstantiations__option_t::type dumpInstantiations; \
86  bool dumpInstantiations__setByUser__; \
87  unsatCores__option_t::type unsatCores; \
88  bool unsatCores__setByUser__; \
89  produceAssignments__option_t::type produceAssignments; \
90  bool produceAssignments__setByUser__; \
91  interactive__option_t::type interactive; \
92  bool interactive__setByUser__; \
93  doITESimp__option_t::type doITESimp; \
94  bool doITESimp__setByUser__; \
95  doITESimpOnRepeat__option_t::type doITESimpOnRepeat; \
96  bool doITESimpOnRepeat__setByUser__; \
97  simplifyWithCareEnabled__option_t::type simplifyWithCareEnabled; \
98  bool simplifyWithCareEnabled__setByUser__; \
99  compressItes__option_t::type compressItes; \
100  bool compressItes__setByUser__; \
101  unconstrainedSimp__option_t::type unconstrainedSimp; \
102  bool unconstrainedSimp__setByUser__; \
103  repeatSimp__option_t::type repeatSimp; \
104  bool repeatSimp__setByUser__; \
105  zombieHuntThreshold__option_t::type zombieHuntThreshold; \
106  bool zombieHuntThreshold__setByUser__; \
107  sortInference__option_t::type sortInference; \
108  bool sortInference__setByUser__; \
109  incrementalSolving__option_t::type incrementalSolving; \
110  bool incrementalSolving__setByUser__; \
111  abstractValues__option_t::type abstractValues; \
112  bool abstractValues__setByUser__; \
113  modelUninterpDtEnum__option_t::type modelUninterpDtEnum; \
114  bool modelUninterpDtEnum__setByUser__; \
115  cumulativeMillisecondLimit__option_t::type cumulativeMillisecondLimit; \
116  bool cumulativeMillisecondLimit__setByUser__; \
117  perCallMillisecondLimit__option_t::type perCallMillisecondLimit; \
118  bool perCallMillisecondLimit__setByUser__; \
119  cumulativeResourceLimit__option_t::type cumulativeResourceLimit; \
120  bool cumulativeResourceLimit__setByUser__; \
121  perCallResourceLimit__option_t::type perCallResourceLimit; \
122  bool perCallResourceLimit__setByUser__; \
123  rewriteApplyToConst__option_t::type rewriteApplyToConst; \
124  bool rewriteApplyToConst__setByUser__; \
125  replayFilename__option_t::type replayFilename; \
126  bool replayFilename__setByUser__; \
127  replayLog__option_t::type replayLog; \
128  bool replayLog__setByUser__; \
129  replayStream__option_t::type replayStream; \
130  bool replayStream__setByUser__; \
131  lemmaInputChannel__option_t::type lemmaInputChannel; \
132  bool lemmaInputChannel__setByUser__; \
133  lemmaOutputChannel__option_t::type lemmaOutputChannel; \
134  bool lemmaOutputChannel__setByUser__; \
135  forceNoLimitCpuWhileDump__option_t::type forceNoLimitCpuWhileDump; \
136  bool forceNoLimitCpuWhileDump__setByUser__;
137 
138 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
139 
140 namespace CVC4 {
141 
142 namespace options {
143 
144 
145 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
146 extern struct CVC4_PUBLIC forceLogic__option_t { typedef LogicInfo type; type operator()() const; bool wasSetByUser() const; } forceLogic CVC4_PUBLIC;
147 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
148 extern struct CVC4_PUBLIC simplificationMode__option_t { typedef SimplificationMode type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } simplificationMode CVC4_PUBLIC;
149 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
150 extern struct CVC4_PUBLIC doStaticLearning__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } doStaticLearning CVC4_PUBLIC;
151 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
152 extern struct CVC4_PUBLIC expandDefinitions__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } expandDefinitions CVC4_PUBLIC;
153 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
154 extern struct CVC4_PUBLIC produceModels__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } produceModels CVC4_PUBLIC;
155 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
156 extern struct CVC4_PUBLIC checkModels__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } checkModels CVC4_PUBLIC;
157 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
158 extern struct CVC4_PUBLIC dumpModels__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } dumpModels CVC4_PUBLIC;
159 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
160 extern struct CVC4_PUBLIC proof__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } proof CVC4_PUBLIC;
161 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
162 extern struct CVC4_PUBLIC checkProofs__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } checkProofs CVC4_PUBLIC;
163 #line 36 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
164 extern struct CVC4_PUBLIC dumpProofs__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } dumpProofs CVC4_PUBLIC;
165 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
166 extern struct CVC4_PUBLIC dumpInstantiations__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } dumpInstantiations CVC4_PUBLIC;
167 #line 41 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
168 extern struct CVC4_PUBLIC unsatCores__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } unsatCores CVC4_PUBLIC;
169 #line 43 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
170 extern struct CVC4_PUBLIC produceAssignments__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } produceAssignments CVC4_PUBLIC;
171 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
172 extern struct CVC4_PUBLIC interactive__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } interactive CVC4_PUBLIC;
173 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
174 extern struct CVC4_PUBLIC doITESimp__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } doITESimp CVC4_PUBLIC;
175 #line 54 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
176 extern struct CVC4_PUBLIC doITESimpOnRepeat__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } doITESimpOnRepeat CVC4_PUBLIC;
177 #line 57 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
178 extern struct CVC4_PUBLIC simplifyWithCareEnabled__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } simplifyWithCareEnabled CVC4_PUBLIC;
179 #line 60 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
180 extern struct CVC4_PUBLIC compressItes__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } compressItes CVC4_PUBLIC;
181 #line 63 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
182 extern struct CVC4_PUBLIC unconstrainedSimp__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } unconstrainedSimp CVC4_PUBLIC;
183 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
184 extern struct CVC4_PUBLIC repeatSimp__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } repeatSimp CVC4_PUBLIC;
185 #line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
186 extern struct CVC4_PUBLIC zombieHuntThreshold__option_t { typedef uint32_t type; type operator()() const; bool wasSetByUser() const; } zombieHuntThreshold CVC4_PUBLIC;
187 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
188 extern struct CVC4_PUBLIC sortInference__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } sortInference CVC4_PUBLIC;
189 #line 75 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
190 extern struct CVC4_PUBLIC incrementalSolving__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } incrementalSolving CVC4_PUBLIC;
191 #line 78 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
192 extern struct CVC4_PUBLIC abstractValues__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } abstractValues CVC4_PUBLIC;
193 #line 80 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
194 extern struct CVC4_PUBLIC modelUninterpDtEnum__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } modelUninterpDtEnum CVC4_PUBLIC;
195 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
196 extern struct CVC4_PUBLIC cumulativeMillisecondLimit__option_t { typedef unsigned long type; type operator()() const; bool wasSetByUser() const; } cumulativeMillisecondLimit CVC4_PUBLIC;
197 #line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
198 extern struct CVC4_PUBLIC perCallMillisecondLimit__option_t { typedef unsigned long type; type operator()() const; bool wasSetByUser() const; } perCallMillisecondLimit CVC4_PUBLIC;
199 #line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
200 extern struct CVC4_PUBLIC cumulativeResourceLimit__option_t { typedef unsigned long type; type operator()() const; bool wasSetByUser() const; } cumulativeResourceLimit CVC4_PUBLIC;
201 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
202 extern struct CVC4_PUBLIC perCallResourceLimit__option_t { typedef unsigned long type; type operator()() const; bool wasSetByUser() const; } perCallResourceLimit CVC4_PUBLIC;
203 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
204 extern struct CVC4_PUBLIC rewriteApplyToConst__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } rewriteApplyToConst CVC4_PUBLIC;
205 #line 101 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
206 extern struct CVC4_PUBLIC replayFilename__option_t { typedef std::string type; type operator()() const; bool wasSetByUser() const; } replayFilename CVC4_PUBLIC;
207 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
208 extern struct CVC4_PUBLIC replayLog__option_t { typedef std::ostream* type; type operator()() const; bool wasSetByUser() const; } replayLog CVC4_PUBLIC;
209 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
210 extern struct CVC4_PUBLIC replayStream__option_t { typedef ExprStream* type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } replayStream CVC4_PUBLIC;
211 #line 108 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
212 extern struct CVC4_PUBLIC lemmaInputChannel__option_t { typedef LemmaInputChannel* type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } lemmaInputChannel CVC4_PUBLIC;
213 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
214 extern struct CVC4_PUBLIC lemmaOutputChannel__option_t { typedef LemmaOutputChannel* type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } lemmaOutputChannel CVC4_PUBLIC;
215 #line 113 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
216 extern struct CVC4_PUBLIC forceNoLimitCpuWhileDump__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } forceNoLimitCpuWhileDump CVC4_PUBLIC;
217 
218 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
219 
220 }/* CVC4::options namespace */
221 
222 
223 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
225 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
227 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
228 template <> void Options::assign(options::forceLogic__option_t, std::string option, std::string value, SmtEngine* smt);
229 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
231 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
233 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
235 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
236 template <> void Options::assign(options::simplificationMode__option_t, std::string option, std::string value, SmtEngine* smt);
237 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
239 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
241 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
242 template <> void Options::assignBool(options::doStaticLearning__option_t, std::string option, bool value, SmtEngine* smt);
243 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
245 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
247 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
248 template <> void Options::assignBool(options::expandDefinitions__option_t, std::string option, bool value, SmtEngine* smt);
249 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
251 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
253 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
254 template <> void Options::assignBool(options::produceModels__option_t, std::string option, bool value, SmtEngine* smt);
255 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
257 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
259 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
260 template <> void Options::assignBool(options::checkModels__option_t, std::string option, bool value, SmtEngine* smt);
261 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
263 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
265 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
266 template <> void Options::assignBool(options::dumpModels__option_t, std::string option, bool value, SmtEngine* smt);
267 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
269 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
270 template <> bool Options::wasSetByUser(options::proof__option_t) const;
271 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
272 template <> void Options::assignBool(options::proof__option_t, std::string option, bool value, SmtEngine* smt);
273 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
275 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
277 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
278 template <> void Options::assignBool(options::checkProofs__option_t, std::string option, bool value, SmtEngine* smt);
279 #line 36 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
281 #line 36 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
283 #line 36 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
284 template <> void Options::assignBool(options::dumpProofs__option_t, std::string option, bool value, SmtEngine* smt);
285 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
287 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
289 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
290 template <> void Options::assignBool(options::dumpInstantiations__option_t, std::string option, bool value, SmtEngine* smt);
291 #line 41 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
293 #line 41 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
295 #line 41 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
296 template <> void Options::assignBool(options::unsatCores__option_t, std::string option, bool value, SmtEngine* smt);
297 #line 43 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
299 #line 43 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
301 #line 43 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
302 template <> void Options::assignBool(options::produceAssignments__option_t, std::string option, bool value, SmtEngine* smt);
303 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
305 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
307 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
309 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
310 template <> void Options::assignBool(options::interactive__option_t, std::string option, bool value, SmtEngine* smt);
311 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
313 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
315 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
317 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
318 template <> void Options::assignBool(options::doITESimp__option_t, std::string option, bool value, SmtEngine* smt);
319 #line 54 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
321 #line 54 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
323 #line 54 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
325 #line 54 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
326 template <> void Options::assignBool(options::doITESimpOnRepeat__option_t, std::string option, bool value, SmtEngine* smt);
327 #line 57 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
329 #line 57 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
331 #line 57 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
333 #line 57 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
334 template <> void Options::assignBool(options::simplifyWithCareEnabled__option_t, std::string option, bool value, SmtEngine* smt);
335 #line 60 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
337 #line 60 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
339 #line 60 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
341 #line 60 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
342 template <> void Options::assignBool(options::compressItes__option_t, std::string option, bool value, SmtEngine* smt);
343 #line 63 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
345 #line 63 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
347 #line 63 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
349 #line 63 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
350 template <> void Options::assignBool(options::unconstrainedSimp__option_t, std::string option, bool value, SmtEngine* smt);
351 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
353 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
355 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
357 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
358 template <> void Options::assignBool(options::repeatSimp__option_t, std::string option, bool value, SmtEngine* smt);
359 #line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
361 #line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
363 #line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
364 template <> void Options::assign(options::zombieHuntThreshold__option_t, std::string option, std::string value, SmtEngine* smt);
365 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
367 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
369 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
371 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
372 template <> void Options::assignBool(options::sortInference__option_t, std::string option, bool value, SmtEngine* smt);
373 #line 75 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
375 #line 75 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
377 #line 75 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
378 template <> void Options::assignBool(options::incrementalSolving__option_t, std::string option, bool value, SmtEngine* smt);
379 #line 78 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
381 #line 78 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
383 #line 78 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
384 template <> void Options::assignBool(options::abstractValues__option_t, std::string option, bool value, SmtEngine* smt);
385 #line 80 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
387 #line 80 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
389 #line 80 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
390 template <> void Options::assignBool(options::modelUninterpDtEnum__option_t, std::string option, bool value, SmtEngine* smt);
391 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
393 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
395 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
396 template <> void Options::assign(options::cumulativeMillisecondLimit__option_t, std::string option, std::string value, SmtEngine* smt);
397 #line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
399 #line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
401 #line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
402 template <> void Options::assign(options::perCallMillisecondLimit__option_t, std::string option, std::string value, SmtEngine* smt);
403 #line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
405 #line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
407 #line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
408 template <> void Options::assign(options::cumulativeResourceLimit__option_t, std::string option, std::string value, SmtEngine* smt);
409 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
411 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
413 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
414 template <> void Options::assign(options::perCallResourceLimit__option_t, std::string option, std::string value, SmtEngine* smt);
415 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
417 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
419 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
420 template <> void Options::assignBool(options::rewriteApplyToConst__option_t, std::string option, bool value, SmtEngine* smt);
421 #line 101 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
423 #line 101 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
425 #line 101 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
426 template <> void Options::assign(options::replayFilename__option_t, std::string option, std::string value, SmtEngine* smt);
427 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
429 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
431 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
432 template <> void Options::assign(options::replayLog__option_t, std::string option, std::string value, SmtEngine* smt);
433 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
435 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
437 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
439 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
440 template <> void Options::assign(options::replayStream__option_t, std::string option, std::string value, SmtEngine* smt);
441 #line 108 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
443 #line 108 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
445 #line 108 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
447 #line 108 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
448 template <> void Options::assign(options::lemmaInputChannel__option_t, std::string option, std::string value, SmtEngine* smt);
449 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
451 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
453 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
455 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
456 template <> void Options::assign(options::lemmaOutputChannel__option_t, std::string option, std::string value, SmtEngine* smt);
457 #line 113 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
459 #line 113 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
461 #line 113 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
462 template <> void Options::assignBool(options::forceNoLimitCpuWhileDump__option_t, std::string option, bool value, SmtEngine* smt);
463 
464 #line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
465 
466 namespace options {
467 
468 
469 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
471 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
472 inline bool forceLogic__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
473 
474 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
476 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
478 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
480 
481 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
483 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
485 
486 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
488 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
490 
491 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
493 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
495 
496 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
498 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
499 inline bool checkModels__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
500 
501 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
503 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
504 inline bool dumpModels__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
505 
506 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
508 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
509 inline bool proof__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
510 
511 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
513 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
514 inline bool checkProofs__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
515 
516 #line 36 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
518 #line 36 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
519 inline bool dumpProofs__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
520 
521 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
523 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
525 
526 #line 41 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
528 #line 41 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
529 inline bool unsatCores__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
530 
531 #line 43 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
533 #line 43 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
535 
536 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
538 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
539 inline bool interactive__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
540 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
542 
543 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
545 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
546 inline bool doITESimp__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
547 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
549 
550 #line 54 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
552 #line 54 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
554 #line 54 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
556 
557 #line 57 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
559 #line 57 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
561 #line 57 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
563 
564 #line 60 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
566 #line 60 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
568 #line 60 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
570 
571 #line 63 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
573 #line 63 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
575 #line 63 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
577 
578 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
580 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
581 inline bool repeatSimp__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
582 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
584 
585 #line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
587 #line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
589 
590 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
592 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
594 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
596 
597 #line 75 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
599 #line 75 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
601 
602 #line 78 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
604 #line 78 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
606 
607 #line 80 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
609 #line 80 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
611 
612 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
614 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
616 
617 #line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
619 #line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
621 
622 #line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
624 #line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
626 
627 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
629 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
631 
632 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
634 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
636 
637 #line 101 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
639 #line 101 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
641 
642 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
644 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
645 inline bool replayLog__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
646 
647 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
649 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
651 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
653 
654 #line 108 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
656 #line 108 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
658 #line 108 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
660 
661 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
663 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
665 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
667 
668 #line 113 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
670 #line 113 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options"
672 
673 #line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
674 
675 }/* CVC4::options namespace */
676 
677 }/* CVC4 namespace */
678 
679 #endif /* __CVC4__OPTIONS__SMT_H */
struct CVC4::options::dumpProofs__option_t dumpProofs
struct CVC4::options::replayFilename__option_t replayFilename
struct CVC4::options::sortInference__option_t sortInference
struct CVC4::options::dumpModels__option_t dumpModels
struct CVC4::options::forceLogic__option_t forceLogic
struct CVC4::options::abstractValues__option_t abstractValues
Definition: modes.h:25
struct CVC4::options::compressItes__option_t compressItes
struct CVC4::options::modelUninterpDtEnum__option_t modelUninterpDtEnum
A class giving information about a logic (group a theory modules and configuration information) ...
struct CVC4::options::repeatSimp__option_t repeatSimp
struct CVC4::options::doStaticLearning__option_t doStaticLearning
struct CVC4::options::cumulativeMillisecondLimit__option_t cumulativeMillisecondLimit
struct CVC4::options::checkProofs__option_t checkProofs
A LogicInfo instance describes a collection of theory modules and some basic configuration about them...
Definition: logic_info.h:45
[[ Add one-line brief description here ]]
struct CVC4::options::checkModels__option_t checkModels
struct CVC4::options::simplifyWithCareEnabled__option_t simplifyWithCareEnabled
This interface describes a mechanism for the propositional and theory engines to communicate with the...
struct CVC4::options::proof__option_t proof
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...
SimplificationMode
Enumeration of simplification modes (when to simplify).
struct CVC4::options::incrementalSolving__option_t incrementalSolving
struct CVC4::options::cumulativeResourceLimit__option_t cumulativeResourceLimit
struct CVC4::options::produceModels__option_t produceModels
struct CVC4::options::unconstrainedSimp__option_t unconstrainedSimp
struct CVC4::options::lemmaInputChannel__option_t lemmaInputChannel
struct CVC4::options::perCallResourceLimit__option_t perCallResourceLimit
struct CVC4::options::interactive__option_t interactive
#define CVC4_PUBLIC
Definition: cvc4_public.h:30
struct CVC4::options::rewriteApplyToConst__option_t rewriteApplyToConst
struct CVC4::options::forceNoLimitCpuWhileDump__option_t forceNoLimitCpuWhileDump
struct CVC4::options::dumpInstantiations__option_t dumpInstantiations
A pure-virtual stream interface for expressions.
Definition: expr_stream.h:30
[[ Add one-line brief description here ]]
Global (command-line, set-option, ...) parameters for SMT.
struct CVC4::options::replayStream__option_t replayStream
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::zombieHuntThreshold__option_t zombieHuntThreshold
struct CVC4::options::simplificationMode__option_t simplificationMode
struct CVC4::options::doITESimpOnRepeat__option_t doITESimpOnRepeat
void set(const type &v)
Definition: options.h:548
struct CVC4::options::doITESimp__option_t doITESimp
struct CVC4::options::perCallMillisecondLimit__option_t perCallMillisecondLimit
struct CVC4::options::unsatCores__option_t unsatCores
struct CVC4::options::produceAssignments__option_t produceAssignments
void set(T, const typename T::type &)
Set the value of the given option.
Definition: options.h:78
struct CVC4::options::expandDefinitions__option_t expandDefinitions
bool wasSetByUser() const
Definition: options.h:509
struct CVC4::options::replayLog__option_t replayLog
struct CVC4::options::lemmaOutputChannel__option_t lemmaOutputChannel