48 #ifndef __CVC4__OPTIONS__ARITH_H
49 #define __CVC4__OPTIONS__ARITH_H
53 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
55 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
57 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
60 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
62 #define CVC4_OPTIONS__ARITH__FOR_OPTION_HOLDER \
63 arithUnateLemmaMode__option_t::type arithUnateLemmaMode; \
64 bool arithUnateLemmaMode__setByUser__; \
65 arithPropagationMode__option_t::type arithPropagationMode; \
66 bool arithPropagationMode__setByUser__; \
67 arithHeuristicPivots__option_t::type arithHeuristicPivots; \
68 bool arithHeuristicPivots__setByUser__; \
69 arithStandardCheckVarOrderPivots__option_t::type arithStandardCheckVarOrderPivots; \
70 bool arithStandardCheckVarOrderPivots__setByUser__; \
71 arithErrorSelectionRule__option_t::type arithErrorSelectionRule; \
72 bool arithErrorSelectionRule__setByUser__; \
73 arithSimplexCheckPeriod__option_t::type arithSimplexCheckPeriod; \
74 bool arithSimplexCheckPeriod__setByUser__; \
75 arithPivotThreshold__option_t::type arithPivotThreshold; \
76 bool arithPivotThreshold__setByUser__; \
77 arithPropagateMaxLength__option_t::type arithPropagateMaxLength; \
78 bool arithPropagateMaxLength__setByUser__; \
79 arithDioSolver__option_t::type arithDioSolver; \
80 bool arithDioSolver__setByUser__; \
81 arithRewriteEq__option_t::type arithRewriteEq; \
82 bool arithRewriteEq__setByUser__; \
83 arithMLTrick__option_t::type arithMLTrick; \
84 bool arithMLTrick__setByUser__; \
85 arithMLTrickSubstitutions__option_t::type arithMLTrickSubstitutions; \
86 bool arithMLTrickSubstitutions__setByUser__; \
87 doCutAllBounded__option_t::type doCutAllBounded; \
88 bool doCutAllBounded__setByUser__; \
89 maxCutsInContext__option_t::type maxCutsInContext; \
90 bool maxCutsInContext__setByUser__; \
91 revertArithModels__option_t::type revertArithModels; \
92 bool revertArithModels__setByUser__; \
93 havePenalties__option_t::type havePenalties; \
94 bool havePenalties__setByUser__; \
95 useFC__option_t::type useFC; \
96 bool useFC__setByUser__; \
97 useSOI__option_t::type useSOI; \
98 bool useSOI__setByUser__; \
99 restrictedPivots__option_t::type restrictedPivots; \
100 bool restrictedPivots__setByUser__; \
101 collectPivots__option_t::type collectPivots; \
102 bool collectPivots__setByUser__; \
103 useApprox__option_t::type useApprox; \
104 bool useApprox__setByUser__; \
105 maxApproxDepth__option_t::type maxApproxDepth; \
106 bool maxApproxDepth__setByUser__; \
107 exportDioDecompositions__option_t::type exportDioDecompositions; \
108 bool exportDioDecompositions__setByUser__; \
109 newProp__option_t::type newProp; \
110 bool newProp__setByUser__; \
111 arithPropAsLemmaLength__option_t::type arithPropAsLemmaLength; \
112 bool arithPropAsLemmaLength__setByUser__; \
113 soiQuickExplain__option_t::type soiQuickExplain; \
114 bool soiQuickExplain__setByUser__; \
115 rewriteDivk__option_t::type rewriteDivk; \
116 bool rewriteDivk__setByUser__; \
117 trySolveIntStandardEffort__option_t::type trySolveIntStandardEffort; \
118 bool trySolveIntStandardEffort__setByUser__; \
119 replayFailureLemma__option_t::type replayFailureLemma; \
120 bool replayFailureLemma__setByUser__; \
121 dioSolverTurns__option_t::type dioSolverTurns; \
122 bool dioSolverTurns__setByUser__; \
123 rrTurns__option_t::type rrTurns; \
124 bool rrTurns__setByUser__; \
125 dioRepeat__option_t::type dioRepeat; \
126 bool dioRepeat__setByUser__; \
127 replayEarlyCloseDepths__option_t::type replayEarlyCloseDepths; \
128 bool replayEarlyCloseDepths__setByUser__; \
129 replayFailurePenalty__option_t::type replayFailurePenalty; \
130 bool replayFailurePenalty__setByUser__; \
131 replayNumericFailurePenalty__option_t::type replayNumericFailurePenalty; \
132 bool replayNumericFailurePenalty__setByUser__; \
133 replayRejectCutSize__option_t::type replayRejectCutSize; \
134 bool replayRejectCutSize__setByUser__; \
135 lemmaRejectCutSize__option_t::type lemmaRejectCutSize; \
136 bool lemmaRejectCutSize__setByUser__; \
137 soiApproxMajorFailure__option_t::type soiApproxMajorFailure; \
138 bool soiApproxMajorFailure__setByUser__; \
139 soiApproxMajorFailurePen__option_t::type soiApproxMajorFailurePen; \
140 bool soiApproxMajorFailurePen__setByUser__; \
141 soiApproxMinorFailure__option_t::type soiApproxMinorFailure; \
142 bool soiApproxMinorFailure__setByUser__; \
143 soiApproxMinorFailurePen__option_t::type soiApproxMinorFailurePen; \
144 bool soiApproxMinorFailurePen__setByUser__; \
145 ppAssertMaxSubSize__option_t::type ppAssertMaxSubSize; \
146 bool ppAssertMaxSubSize__setByUser__; \
147 maxReplayTree__option_t::type maxReplayTree; \
148 bool maxReplayTree__setByUser__; \
149 pbRewrites__option_t::type pbRewrites; \
150 bool pbRewrites__setByUser__; \
151 pbRewriteThreshold__option_t::type pbRewriteThreshold; \
152 bool pbRewriteThreshold__setByUser__;
154 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
161 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
163 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
165 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
167 #line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
169 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
171 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
173 #line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
175 #line 42 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
177 #line 45 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
179 #line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
181 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
183 #line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
185 #line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
187 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
189 #line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
191 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
193 #line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
195 #line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
197 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
199 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
201 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
203 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
205 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
207 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
209 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
211 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
213 #line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
215 #line 109 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
217 #line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
219 #line 115 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
221 #line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
223 #line 121 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
225 #line 124 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
227 #line 127 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
229 #line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
231 #line 133 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
233 #line 136 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
235 #line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
237 #line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
239 #line 145 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
241 #line 148 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
243 #line 151 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
245 #line 154 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
247 #line 158 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
249 #line 161 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
252 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
257 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
259 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
261 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
263 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
265 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
267 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
269 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
271 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
273 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
275 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
277 #line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
279 #line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
281 #line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
283 #line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
285 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
287 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
289 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
291 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
293 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
295 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
297 #line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
299 #line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
301 #line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
303 #line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
305 #line 42 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
307 #line 42 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
309 #line 42 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
311 #line 45 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
313 #line 45 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
315 #line 45 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
317 #line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
319 #line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
321 #line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
323 #line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
325 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
327 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
329 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
331 #line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
333 #line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
335 #line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
337 #line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
339 #line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
341 #line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
343 #line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
345 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
347 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
349 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
351 #line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
353 #line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
355 #line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
357 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
359 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
361 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
363 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
365 #line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
367 #line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
369 #line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
371 #line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
373 #line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
375 #line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
377 #line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
379 #line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
381 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
383 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
385 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
387 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
389 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
391 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
393 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
395 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
397 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
399 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
401 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
403 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
405 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
407 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
409 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
411 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
413 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
415 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
417 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
419 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
421 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
423 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
425 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
427 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
429 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
431 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
433 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
435 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
437 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
439 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
441 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
443 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
445 #line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
447 #line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
449 #line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
451 #line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
453 #line 109 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
455 #line 109 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
457 #line 109 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
459 #line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
461 #line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
463 #line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
465 #line 115 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
467 #line 115 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
469 #line 115 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
471 #line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
473 #line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
475 #line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
477 #line 121 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
479 #line 121 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
481 #line 121 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
483 #line 124 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
485 #line 124 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
487 #line 124 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
489 #line 127 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
491 #line 127 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
493 #line 127 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
495 #line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
497 #line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
499 #line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
501 #line 133 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
503 #line 133 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
505 #line 133 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
507 #line 136 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
509 #line 136 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
511 #line 136 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
513 #line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
515 #line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
517 #line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
519 #line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
521 #line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
523 #line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
525 #line 145 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
527 #line 145 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
529 #line 145 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
531 #line 148 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
533 #line 148 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
535 #line 148 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
537 #line 151 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
539 #line 151 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
541 #line 151 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
543 #line 154 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
545 #line 154 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
547 #line 154 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
549 #line 158 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
551 #line 158 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
553 #line 158 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
555 #line 161 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
557 #line 161 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
559 #line 161 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
562 #line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
567 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
569 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
572 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
574 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
577 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
579 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
581 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
584 #line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
586 #line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
588 #line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
591 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
593 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
596 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
598 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
601 #line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
603 #line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
605 #line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
608 #line 42 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
610 #line 42 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
613 #line 45 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
615 #line 45 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
618 #line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
620 #line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
622 #line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
625 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
627 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
630 #line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
632 #line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
635 #line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
637 #line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
639 #line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
642 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
644 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
647 #line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
649 #line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
652 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
654 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
656 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
659 #line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
661 #line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
663 #line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
666 #line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
668 #line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
670 #line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
673 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
675 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
677 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
680 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
682 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
684 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
687 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
689 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
691 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
694 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
696 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
698 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
701 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
703 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
705 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
708 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
710 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
712 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
715 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
717 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
719 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
722 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
724 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
726 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
729 #line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
731 #line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
733 #line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
736 #line 109 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
738 #line 109 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
741 #line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
743 #line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
746 #line 115 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
748 #line 115 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
751 #line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
753 #line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
756 #line 121 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
758 #line 121 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
761 #line 124 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
763 #line 124 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
766 #line 127 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
768 #line 127 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
771 #line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
773 #line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
776 #line 133 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
778 #line 133 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
781 #line 136 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
783 #line 136 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
786 #line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
788 #line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
791 #line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
793 #line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
796 #line 145 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
798 #line 145 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
801 #line 148 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
803 #line 148 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
806 #line 151 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
808 #line 151 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
811 #line 154 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
813 #line 154 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
816 #line 158 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
818 #line 158 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
821 #line 161 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
823 #line 161 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/arith/options"
826 #line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
struct CVC4::options::doCutAllBounded__option_t doCutAllBounded
struct CVC4::options::trySolveIntStandardEffort__option_t trySolveIntStandardEffort
struct CVC4::options::restrictedPivots__option_t restrictedPivots
bool wasSetByUser() const
struct CVC4::options::arithPropagateMaxLength__option_t arithPropagateMaxLength
bool wasSetByUser() const
struct CVC4::options::maxReplayTree__option_t maxReplayTree
bool wasSetByUser() const
struct CVC4::options::replayNumericFailurePenalty__option_t replayNumericFailurePenalty
[[ Add one-line brief description here ]]
struct CVC4::options::soiQuickExplain__option_t soiQuickExplain
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::useSOI__option_t useSOI
struct CVC4::options::arithStandardCheckVarOrderPivots__option_t arithStandardCheckVarOrderPivots
struct CVC4::options::dioRepeat__option_t dioRepeat
bool wasSetByUser() const
struct CVC4::options::maxCutsInContext__option_t maxCutsInContext
bool wasSetByUser() const
struct CVC4::options::arithHeuristicPivots__option_t arithHeuristicPivots
bool wasSetByUser() const
bool wasSetByUser() const
ArithPropagationMode type
struct CVC4::options::newProp__option_t newProp
struct CVC4::options::arithPropagationMode__option_t arithPropagationMode
const T::type & operator[](T) const
Get the value of the given option.
struct CVC4::options::maxApproxDepth__option_t maxApproxDepth
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...
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::dioSolverTurns__option_t dioSolverTurns
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::lemmaRejectCutSize__option_t lemmaRejectCutSize
bool wasSetByUser() const
struct CVC4::options::revertArithModels__option_t revertArithModels
struct CVC4::options::arithPropAsLemmaLength__option_t arithPropAsLemmaLength
struct CVC4::options::replayFailurePenalty__option_t replayFailurePenalty
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::soiApproxMinorFailure__option_t soiApproxMinorFailure
bool wasSetByUser() const
struct CVC4::options::arithErrorSelectionRule__option_t arithErrorSelectionRule
[[ Add one-line brief description here ]]
struct CVC4::options::replayFailureLemma__option_t replayFailureLemma
bool wasSetByUser() const
struct CVC4::options::arithMLTrickSubstitutions__option_t arithMLTrickSubstitutions
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::rrTurns__option_t rrTurns
struct CVC4::options::arithSimplexCheckPeriod__option_t arithSimplexCheckPeriod
struct CVC4::options::soiApproxMajorFailure__option_t soiApproxMajorFailure
bool wasSetByUser() const
struct CVC4::options::exportDioDecompositions__option_t exportDioDecompositions
Global (command-line, set-option, ...) parameters for SMT.
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::replayEarlyCloseDepths__option_t replayEarlyCloseDepths
struct CVC4::options::ppAssertMaxSubSize__option_t ppAssertMaxSubSize
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::replayRejectCutSize__option_t replayRejectCutSize
struct CVC4::options::arithMLTrick__option_t arithMLTrick
bool wasSetByUser() const
[[ Add one-line brief description here ]]
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::pbRewrites__option_t pbRewrites
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::rewriteDivk__option_t rewriteDivk
struct CVC4::options::collectPivots__option_t collectPivots
struct CVC4::options::useFC__option_t useFC
bool wasSetByUser() const
struct CVC4::options::arithUnateLemmaMode__option_t arithUnateLemmaMode
void set(T, const typename T::type &)
Set the value of the given option.
struct CVC4::options::arithPivotThreshold__option_t arithPivotThreshold
struct CVC4::options::havePenalties__option_t havePenalties
bool wasSetByUser() const
struct CVC4::options::useApprox__option_t useApprox
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::soiApproxMajorFailurePen__option_t soiApproxMajorFailurePen
bool wasSetByUser() const
struct CVC4::options::arithRewriteEq__option_t arithRewriteEq
struct CVC4::options::soiApproxMinorFailurePen__option_t soiApproxMinorFailurePen
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::arithDioSolver__option_t arithDioSolver
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::pbRewriteThreshold__option_t pbRewriteThreshold