48 #ifndef __CVC4__OPTIONS__QUANTIFIERS_H
49 #define __CVC4__OPTIONS__QUANTIFIERS_H
53 #line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
54 #include "theory/quantifiers/modes.h"
55 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
56 #include "theory/quantifiers/modes.h"
57 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
58 #include "theory/quantifiers/modes.h"
59 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
60 #include "theory/quantifiers/modes.h"
61 #line 125 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
62 #include "theory/quantifiers/modes.h"
63 #line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
64 #include "theory/quantifiers/modes.h"
65 #line 132 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
66 #include "theory/quantifiers/modes.h"
68 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
70 #define CVC4_OPTIONS__QUANTIFIERS__FOR_OPTION_HOLDER \
71 miniscopeQuant__option_t::type miniscopeQuant; \
72 bool miniscopeQuant__setByUser__; \
73 miniscopeQuantFreeVar__option_t::type miniscopeQuantFreeVar; \
74 bool miniscopeQuantFreeVar__setByUser__; \
75 prenexQuant__option_t::type prenexQuant; \
76 bool prenexQuant__setByUser__; \
77 varElimQuant__option_t::type varElimQuant; \
78 bool varElimQuant__setByUser__; \
79 simpleIteLiftQuant__option_t::type simpleIteLiftQuant; \
80 bool simpleIteLiftQuant__setByUser__; \
81 cnfQuant__option_t::type cnfQuant; \
82 bool cnfQuant__setByUser__; \
83 nnfQuant__option_t::type nnfQuant; \
84 bool nnfQuant__setByUser__; \
85 clauseSplit__option_t::type clauseSplit; \
86 bool clauseSplit__setByUser__; \
87 preSkolemQuant__option_t::type preSkolemQuant; \
88 bool preSkolemQuant__setByUser__; \
89 aggressiveMiniscopeQuant__option_t::type aggressiveMiniscopeQuant; \
90 bool aggressiveMiniscopeQuant__setByUser__; \
91 macrosQuant__option_t::type macrosQuant; \
92 bool macrosQuant__setByUser__; \
93 foPropQuant__option_t::type foPropQuant; \
94 bool foPropQuant__setByUser__; \
95 smartTriggers__option_t::type smartTriggers; \
96 bool smartTriggers__setByUser__; \
97 relevantTriggers__option_t::type relevantTriggers; \
98 bool relevantTriggers__setByUser__; \
99 relationalTriggers__option_t::type relationalTriggers; \
100 bool relationalTriggers__setByUser__; \
101 registerQuantBodyTerms__option_t::type registerQuantBodyTerms; \
102 bool registerQuantBodyTerms__setByUser__; \
103 instWhenMode__option_t::type instWhenMode; \
104 bool instWhenMode__setByUser__; \
105 instMaxLevel__option_t::type instMaxLevel; \
106 bool instMaxLevel__setByUser__; \
107 eagerInstQuant__option_t::type eagerInstQuant; \
108 bool eagerInstQuant__setByUser__; \
109 fullSaturateQuant__option_t::type fullSaturateQuant; \
110 bool fullSaturateQuant__setByUser__; \
111 literalMatchMode__option_t::type literalMatchMode; \
112 bool literalMatchMode__setByUser__; \
113 cbqi__option_t::type cbqi; \
114 bool cbqi__setByUser__; \
115 recurseCbqi__option_t::type recurseCbqi; \
116 bool recurseCbqi__setByUser__; \
117 userPatternsQuant__option_t::type userPatternsQuant; \
118 bool userPatternsQuant__setByUser__; \
119 flipDecision__option_t::type flipDecision; \
120 bool flipDecision__setByUser__; \
121 internalReps__option_t::type internalReps; \
122 bool internalReps__setByUser__; \
123 finiteModelFind__option_t::type finiteModelFind; \
124 bool finiteModelFind__setByUser__; \
125 mbqiMode__option_t::type mbqiMode; \
126 bool mbqiMode__setByUser__; \
127 fmfOneInstPerRound__option_t::type fmfOneInstPerRound; \
128 bool fmfOneInstPerRound__setByUser__; \
129 fmfOneQuantPerRound__option_t::type fmfOneQuantPerRound; \
130 bool fmfOneQuantPerRound__setByUser__; \
131 fmfInstEngine__option_t::type fmfInstEngine; \
132 bool fmfInstEngine__setByUser__; \
133 fmfInstGen__option_t::type fmfInstGen; \
134 bool fmfInstGen__setByUser__; \
135 fmfInstGenOneQuantPerRound__option_t::type fmfInstGenOneQuantPerRound; \
136 bool fmfInstGenOneQuantPerRound__setByUser__; \
137 fmfFreshDistConst__option_t::type fmfFreshDistConst; \
138 bool fmfFreshDistConst__setByUser__; \
139 fmfFmcSimple__option_t::type fmfFmcSimple; \
140 bool fmfFmcSimple__setByUser__; \
141 fmfBoundInt__option_t::type fmfBoundInt; \
142 bool fmfBoundInt__setByUser__; \
143 fmfBoundIntLazy__option_t::type fmfBoundIntLazy; \
144 bool fmfBoundIntLazy__setByUser__; \
145 axiomInstMode__option_t::type axiomInstMode; \
146 bool axiomInstMode__setByUser__; \
147 quantConflictFind__option_t::type quantConflictFind; \
148 bool quantConflictFind__setByUser__; \
149 qcfMode__option_t::type qcfMode; \
150 bool qcfMode__setByUser__; \
151 qcfWhenMode__option_t::type qcfWhenMode; \
152 bool qcfWhenMode__setByUser__; \
153 qcfTConstraint__option_t::type qcfTConstraint; \
154 bool qcfTConstraint__setByUser__; \
155 quantRewriteRules__option_t::type quantRewriteRules; \
156 bool quantRewriteRules__setByUser__; \
157 rrOneInstPerRound__option_t::type rrOneInstPerRound; \
158 bool rrOneInstPerRound__setByUser__; \
159 dtStcInduction__option_t::type dtStcInduction; \
160 bool dtStcInduction__setByUser__;
162 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
169 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
171 #line 17 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
173 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
175 #line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
177 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
179 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
181 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
183 #line 40 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
185 #line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
187 #line 49 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
189 #line 52 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
191 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
193 #line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
195 #line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
197 #line 64 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
199 #line 68 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
201 #line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
203 #line 73 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
205 #line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
207 #line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
209 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
211 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
213 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
215 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
217 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
219 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
221 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
223 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
225 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
227 #line 107 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
229 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
231 #line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
233 #line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
235 #line 116 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
237 #line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
239 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
241 #line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
243 #line 125 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
245 #line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
247 #line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
249 #line 132 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
251 #line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
253 #line 137 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
255 #line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
257 #line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
260 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
265 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
267 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
269 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
271 #line 17 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
273 #line 17 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
275 #line 17 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
277 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
279 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
281 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
283 #line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
285 #line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
287 #line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
289 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
291 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
293 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
295 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
297 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
299 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
301 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
303 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
305 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
307 #line 40 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
309 #line 40 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
311 #line 40 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
313 #line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
315 #line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
317 #line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
319 #line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
321 #line 49 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
323 #line 49 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
325 #line 49 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
327 #line 52 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
329 #line 52 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
331 #line 52 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
333 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
335 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
337 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
339 #line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
341 #line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
343 #line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
345 #line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
347 #line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
349 #line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
351 #line 64 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
353 #line 64 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
355 #line 64 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
357 #line 68 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
359 #line 68 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
361 #line 68 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
363 #line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
365 #line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
367 #line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
369 #line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
371 #line 73 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
373 #line 73 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
375 #line 73 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
377 #line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
379 #line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
381 #line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
383 #line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
385 #line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
387 #line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
389 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
391 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
393 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
395 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
397 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
399 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
401 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
403 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
405 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
407 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
409 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
411 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
413 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
415 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
417 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
419 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
421 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
423 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
425 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
427 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
429 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
431 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
433 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
435 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
437 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
439 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
441 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
443 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
445 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
447 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
449 #line 107 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
451 #line 107 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
453 #line 107 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
455 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
457 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
459 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
461 #line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
463 #line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
465 #line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
467 #line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
469 #line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
471 #line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
473 #line 116 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
475 #line 116 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
477 #line 116 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
479 #line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
481 #line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
483 #line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
485 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
487 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
489 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
491 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
493 #line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
495 #line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
497 #line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
499 #line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
501 #line 125 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
503 #line 125 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
505 #line 125 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
507 #line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
509 #line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
511 #line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
513 #line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
515 #line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
517 #line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
519 #line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
521 #line 132 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
523 #line 132 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
525 #line 132 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
527 #line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
529 #line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
531 #line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
533 #line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
535 #line 137 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
537 #line 137 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
539 #line 137 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
541 #line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
543 #line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
545 #line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
547 #line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
549 #line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
551 #line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
554 #line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
559 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
561 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
564 #line 17 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
566 #line 17 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
569 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
571 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
574 #line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
576 #line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
579 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
581 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
584 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
586 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
589 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
591 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
594 #line 40 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
596 #line 40 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
599 #line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
601 #line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
603 #line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
606 #line 49 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
608 #line 49 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
611 #line 52 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
613 #line 52 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
616 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
618 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
621 #line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
623 #line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
626 #line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
628 #line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
631 #line 64 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
633 #line 64 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
636 #line 68 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
638 #line 68 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
641 #line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
643 #line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
645 #line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
648 #line 73 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
650 #line 73 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
653 #line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
655 #line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
658 #line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
660 #line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
663 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
665 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
668 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
670 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
672 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
675 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
677 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
680 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
682 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
685 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
687 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
690 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
692 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
695 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
697 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
699 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
702 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
704 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
706 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
709 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
711 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
714 #line 107 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
716 #line 107 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
719 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
721 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
724 #line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
726 #line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
729 #line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
731 #line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
734 #line 116 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
736 #line 116 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
739 #line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
741 #line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
744 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
746 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
748 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
751 #line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
753 #line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
755 #line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
758 #line 125 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
760 #line 125 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
763 #line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
765 #line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
767 #line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
770 #line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
772 #line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
775 #line 132 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
777 #line 132 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
780 #line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
782 #line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
784 #line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
787 #line 137 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
789 #line 137 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
792 #line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
794 #line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
797 #line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
799 #line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
802 #line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::foPropQuant__option_t foPropQuant
struct CVC4::options::fmfBoundIntLazy__option_t fmfBoundIntLazy
CVC4::theory::quantifiers::QcfMode type
struct CVC4::options::fmfOneInstPerRound__option_t fmfOneInstPerRound
bool wasSetByUser() const
struct CVC4::options::quantConflictFind__option_t quantConflictFind
struct CVC4::options::quantRewriteRules__option_t quantRewriteRules
struct CVC4::options::fullSaturateQuant__option_t fullSaturateQuant
struct CVC4::options::finiteModelFind__option_t finiteModelFind
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::mbqiMode__option_t mbqiMode
bool wasSetByUser() const
struct CVC4::options::fmfBoundInt__option_t fmfBoundInt
struct CVC4::options::rrOneInstPerRound__option_t rrOneInstPerRound
struct CVC4::options::userPatternsQuant__option_t userPatternsQuant
CVC4::theory::quantifiers::AxiomInstMode type
struct CVC4::options::fmfInstGen__option_t fmfInstGen
struct CVC4::options::cnfQuant__option_t cnfQuant
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::cbqi__option_t cbqi
struct CVC4::options::clauseSplit__option_t clauseSplit
struct CVC4::options::internalReps__option_t internalReps
bool wasSetByUser() const
struct CVC4::options::macrosQuant__option_t macrosQuant
bool wasSetByUser() const
CVC4::theory::quantifiers::UserPatMode type
bool wasSetByUser() const
CVC4::theory::quantifiers::MbqiMode type
const T::type & operator[](T) const
Get the value of the given option.
struct CVC4::options::miniscopeQuantFreeVar__option_t miniscopeQuantFreeVar
bool wasSetByUser() const
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...
struct CVC4::options::simpleIteLiftQuant__option_t simpleIteLiftQuant
CVC4::theory::quantifiers::InstWhenMode type
CVC4::theory::quantifiers::QcfWhenMode type
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::prenexQuant__option_t prenexQuant
bool wasSetByUser() const
struct CVC4::options::aggressiveMiniscopeQuant__option_t aggressiveMiniscopeQuant
struct CVC4::options::instWhenMode__option_t instWhenMode
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::dtStcInduction__option_t dtStcInduction
bool wasSetByUser() const
struct CVC4::options::smartTriggers__option_t smartTriggers
struct CVC4::options::axiomInstMode__option_t axiomInstMode
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::qcfWhenMode__option_t qcfWhenMode
bool wasSetByUser() const
struct CVC4::options::instMaxLevel__option_t instMaxLevel
struct CVC4::options::fmfInstEngine__option_t fmfInstEngine
struct CVC4::options::fmfFmcSimple__option_t fmfFmcSimple
struct CVC4::options::preSkolemQuant__option_t preSkolemQuant
struct CVC4::options::registerQuantBodyTerms__option_t registerQuantBodyTerms
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::relevantTriggers__option_t relevantTriggers
struct CVC4::options::varElimQuant__option_t varElimQuant
Global (command-line, set-option, ...) parameters for SMT.
bool wasSetByUser() const
static Options & current()
Get the current Options in effect.
Macros that should be defined everywhere during the building of the libraries and driver binary...
struct CVC4::options::fmfOneQuantPerRound__option_t fmfOneQuantPerRound
bool wasSetByUser() const
struct CVC4::options::miniscopeQuant__option_t miniscopeQuant
struct CVC4::options::fmfFreshDistConst__option_t fmfFreshDistConst
CVC4::theory::quantifiers::LiteralMatchMode type
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::nnfQuant__option_t nnfQuant
bool wasSetByUser() const
struct CVC4::options::recurseCbqi__option_t recurseCbqi
struct CVC4::options::eagerInstQuant__option_t eagerInstQuant
bool wasSetByUser() const
struct CVC4::options::literalMatchMode__option_t literalMatchMode
void set(T, const typename T::type &)
Set the value of the given option.
bool wasSetByUser() const
struct CVC4::options::relationalTriggers__option_t relationalTriggers
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::flipDecision__option_t flipDecision
struct CVC4::options::qcfTConstraint__option_t qcfTConstraint
bool wasSetByUser() const
struct CVC4::options::qcfMode__option_t qcfMode
struct CVC4::options::fmfInstGenOneQuantPerRound__option_t fmfInstGenOneQuantPerRound
bool wasSetByUser() const