48 #ifndef __CVC4__OPTIONS__SMT_H
49 #define __CVC4__OPTIONS__SMT_H
53 #line 13 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
55 #line 99 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
57 #line 101 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
60 #line 26 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/base_options_template.h"
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__;
126 #line 30 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/base_options_template.h"
133 #line 13 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
135 #line 18 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
137 #line 21 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
139 #line 23 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
141 #line 25 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
143 #line 27 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
145 #line 29 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
147 #line 32 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
149 #line 34 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
151 #line 39 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
153 #line 42 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
155 #line 45 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
157 #line 48 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
159 #line 51 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
161 #line 54 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
163 #line 57 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
165 #line 60 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
167 #line 63 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
169 #line 66 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
171 #line 69 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
173 #line 71 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
175 #line 79 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
177 #line 81 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
179 #line 83 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
181 #line 85 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
183 #line 88 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
185 #line 92 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
187 #line 94 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
189 #line 96 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
191 #line 99 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
193 #line 101 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
196 #line 38 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/base_options_template.h"
201 #line 13 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
203 #line 13 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
205 #line 13 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
207 #line 13 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
209 #line 18 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
211 #line 18 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
213 #line 18 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
215 #line 21 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
217 #line 21 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
219 #line 21 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
221 #line 23 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
223 #line 23 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
225 #line 23 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
227 #line 25 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
229 #line 25 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
231 #line 25 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
233 #line 27 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
235 #line 27 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
237 #line 27 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
239 #line 29 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
241 #line 29 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
243 #line 29 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
245 #line 32 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
247 #line 32 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
249 #line 32 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
251 #line 34 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
253 #line 34 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
255 #line 34 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
257 #line 39 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
259 #line 39 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
261 #line 39 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
263 #line 39 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
265 #line 42 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
267 #line 42 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
269 #line 42 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
271 #line 42 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
273 #line 45 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
275 #line 45 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
277 #line 45 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
279 #line 45 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
281 #line 48 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
283 #line 48 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
285 #line 48 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
287 #line 48 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
289 #line 51 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
291 #line 51 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
293 #line 51 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
295 #line 51 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
297 #line 54 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
299 #line 54 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
301 #line 54 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
303 #line 54 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
305 #line 57 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
307 #line 57 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
309 #line 57 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
311 #line 57 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
313 #line 60 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
315 #line 60 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
317 #line 60 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
319 #line 63 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
321 #line 63 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
323 #line 63 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
325 #line 63 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
327 #line 66 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
329 #line 66 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
331 #line 66 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
333 #line 69 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
335 #line 69 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
337 #line 69 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
339 #line 71 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
341 #line 71 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
343 #line 71 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
345 #line 79 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
347 #line 79 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
349 #line 79 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
351 #line 81 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
353 #line 81 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
355 #line 81 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
357 #line 83 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
359 #line 83 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
361 #line 83 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
363 #line 85 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
365 #line 85 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
367 #line 85 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
369 #line 88 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
371 #line 88 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
373 #line 88 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
375 #line 92 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
377 #line 92 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
379 #line 92 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
381 #line 94 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
383 #line 94 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
385 #line 94 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
387 #line 96 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
389 #line 96 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
391 #line 96 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
393 #line 96 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
395 #line 99 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
397 #line 99 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
399 #line 99 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
401 #line 99 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
403 #line 101 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
405 #line 101 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
407 #line 101 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
409 #line 101 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
412 #line 44 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/base_options_template.h"
417 #line 13 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
419 #line 13 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
421 #line 13 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
424 #line 18 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
426 #line 18 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
429 #line 21 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
431 #line 21 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
434 #line 23 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
436 #line 23 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
439 #line 25 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
441 #line 25 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
444 #line 27 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
446 #line 27 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
449 #line 29 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
451 #line 29 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
454 #line 32 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
456 #line 32 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
459 #line 34 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
461 #line 34 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
464 #line 39 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
466 #line 39 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
468 #line 39 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
471 #line 42 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
473 #line 42 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
475 #line 42 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
478 #line 45 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
480 #line 45 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
482 #line 45 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
485 #line 48 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
487 #line 48 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
489 #line 48 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
492 #line 51 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
494 #line 51 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
496 #line 51 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
499 #line 54 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
501 #line 54 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
503 #line 54 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
506 #line 57 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
508 #line 57 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
510 #line 57 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
513 #line 60 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
515 #line 60 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
518 #line 63 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
520 #line 63 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
522 #line 63 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
525 #line 66 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
527 #line 66 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
530 #line 69 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
532 #line 69 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
535 #line 71 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
537 #line 71 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
540 #line 79 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
542 #line 79 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
545 #line 81 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
547 #line 81 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
550 #line 83 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
552 #line 83 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
555 #line 85 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
557 #line 85 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
560 #line 88 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
562 #line 88 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
565 #line 92 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
567 #line 92 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
570 #line 94 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
572 #line 94 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
575 #line 96 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
577 #line 96 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
579 #line 96 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
582 #line 99 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
584 #line 99 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
586 #line 99 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
589 #line 101 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
591 #line 101 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
593 #line 101 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/../smt/options"
596 #line 50 "/builddir/build/BUILD/cvc4-1.3/builds/powerpc-redhat-linux-gnu/default-proof/../../../src/options/base_options_template.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
bool wasSetByUser() const
[[ Add one-line brief description here ]]
struct CVC4::options::cumulativeResourceLimit__option_t cumulativeResourceLimit
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::lemmaOutputChannel__option_t lemmaOutputChannel
bool wasSetByUser() const
struct CVC4::options::checkModels__option_t checkModels
bool wasSetByUser() const
This interface describes a mechanism for the propositional and theory engines to communicate with the...
bool wasSetByUser() const
const T::type & operator[](T) const
Get the value of the given option.
bool wasSetByUser() const
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...
bool wasSetByUser() const
struct CVC4::options::incrementalSolving__option_t incrementalSolving
struct CVC4::options::perCallResourceLimit__option_t perCallResourceLimit
bool wasSetByUser() const
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
bool wasSetByUser() const
struct CVC4::options::repeatSimp__option_t repeatSimp
struct CVC4::options::simplificationMode__option_t simplificationMode
struct CVC4::options::interactive__option_t interactive
bool wasSetByUser() const
struct CVC4::options::doITESimp__option_t doITESimp
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::unsatCores__option_t unsatCores
bool wasSetByUser() const
A pure-virtual stream interface for expressions.
struct CVC4::options::dumpModels__option_t dumpModels
struct CVC4::options::replayLog__option_t replayLog
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.
Macros that should be defined everywhere during the building of the libraries and driver binary...
bool wasSetByUser() const
struct CVC4::options::rewriteApplyToConst__option_t rewriteApplyToConst
struct CVC4::options::lemmaInputChannel__option_t lemmaInputChannel
struct CVC4::options::doITESimpOnRepeat__option_t doITESimpOnRepeat
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::expandDefinitions__option_t expandDefinitions
bool wasSetByUser() const
struct CVC4::options::proof__option_t proof
struct CVC4::options::sortInference__option_t sortInference
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
void set(T, const typename T::type &)
Set the value of the given option.
bool wasSetByUser() const
struct CVC4::options::replayStream__option_t replayStream
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::zombieHuntThreshold__option_t zombieHuntThreshold
bool wasSetByUser() const
struct CVC4::options::compressItes__option_t compressItes
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
LemmaOutputChannel * type
Global (command-line, set-option, ...) parameters for SMT.