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"
static Options & current()
Get the current Options in effect.
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...
void set(T, const typename T::type &)
Set the value of the given option.
Macros that should be defined everywhere during the building of the libraries and driver binary,...
struct CVC4::options::clauseSplit__option_t clauseSplit
struct CVC4::options::nnfQuant__option_t nnfQuant
struct CVC4::options::fmfInstGenOneQuantPerRound__option_t fmfInstGenOneQuantPerRound
struct CVC4::options::fullSaturateQuant__option_t fullSaturateQuant
struct CVC4::options::literalMatchMode__option_t literalMatchMode
struct CVC4::options::qcfMode__option_t qcfMode
struct CVC4::options::flipDecision__option_t flipDecision
struct CVC4::options::instMaxLevel__option_t instMaxLevel
struct CVC4::options::simpleIteLiftQuant__option_t simpleIteLiftQuant
struct CVC4::options::internalReps__option_t internalReps
struct CVC4::options::varElimQuant__option_t varElimQuant
struct CVC4::options::fmfFmcSimple__option_t fmfFmcSimple
struct CVC4::options::quantRewriteRules__option_t quantRewriteRules
struct CVC4::options::fmfBoundInt__option_t fmfBoundInt
struct CVC4::options::fmfOneInstPerRound__option_t fmfOneInstPerRound
struct CVC4::options::dtStcInduction__option_t dtStcInduction
struct CVC4::options::foPropQuant__option_t foPropQuant
struct CVC4::options::instWhenMode__option_t instWhenMode
struct CVC4::options::qcfWhenMode__option_t qcfWhenMode
struct CVC4::options::fmfBoundIntLazy__option_t fmfBoundIntLazy
struct CVC4::options::fmfOneQuantPerRound__option_t fmfOneQuantPerRound
struct CVC4::options::fmfInstGen__option_t fmfInstGen
struct CVC4::options::finiteModelFind__option_t finiteModelFind
struct CVC4::options::qcfTConstraint__option_t qcfTConstraint
struct CVC4::options::preSkolemQuant__option_t preSkolemQuant
struct CVC4::options::miniscopeQuant__option_t miniscopeQuant
struct CVC4::options::relevantTriggers__option_t relevantTriggers
struct CVC4::options::rrOneInstPerRound__option_t rrOneInstPerRound
struct CVC4::options::fmfFreshDistConst__option_t fmfFreshDistConst
struct CVC4::options::prenexQuant__option_t prenexQuant
struct CVC4::options::userPatternsQuant__option_t userPatternsQuant
struct CVC4::options::cbqi__option_t cbqi
struct CVC4::options::axiomInstMode__option_t axiomInstMode
struct CVC4::options::relationalTriggers__option_t relationalTriggers
struct CVC4::options::registerQuantBodyTerms__option_t registerQuantBodyTerms
struct CVC4::options::cnfQuant__option_t cnfQuant
struct CVC4::options::mbqiMode__option_t mbqiMode
struct CVC4::options::eagerInstQuant__option_t eagerInstQuant
struct CVC4::options::recurseCbqi__option_t recurseCbqi
struct CVC4::options::smartTriggers__option_t smartTriggers
struct CVC4::options::aggressiveMiniscopeQuant__option_t aggressiveMiniscopeQuant
struct CVC4::options::quantConflictFind__option_t quantConflictFind
struct CVC4::options::macrosQuant__option_t macrosQuant
struct CVC4::options::miniscopeQuantFreeVar__option_t miniscopeQuantFreeVar
struct CVC4::options::fmfInstEngine__option_t fmfInstEngine
Global (command-line, set-option, ...) parameters for SMT.
bool wasSetByUser() const
bool wasSetByUser() const
CVC4::theory::quantifiers::AxiomInstMode type
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
CVC4::theory::quantifiers::InstWhenMode type
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
CVC4::theory::quantifiers::LiteralMatchMode type
bool wasSetByUser() const
CVC4::theory::quantifiers::MbqiMode type
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
CVC4::theory::quantifiers::QcfMode type
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
CVC4::theory::quantifiers::QcfWhenMode type
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
CVC4::theory::quantifiers::UserPatMode type
bool wasSetByUser() const
bool wasSetByUser() const