GCC Code Coverage Report
Directory: . Exec Total Coverage
File: build-coverage/src/options/quantifiers_options.h Lines: 547 595 91.9 %
Date: 2021-03-22 Branches: 0 0 0.0 %

Line Exec Source
1
/*********************                                                        */
2
/*! \file module_template.h
3
 ** \verbatim
4
 ** Top contributors (to current version):
5
 **   Mathias Preiner
6
 ** This file is part of the CVC4 project.
7
 ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
8
 ** in the top-level source directory and their institutional affiliations.
9
 ** All rights reserved.  See the file COPYING in the top-level source
10
 ** directory for licensing information.\endverbatim
11
 **
12
 ** \brief Contains code for handling command-line options.
13
 **
14
 ** For each <module>_options.toml configuration file, mkoptions.py
15
 ** expands this template and generates a <module>_options.h file.
16
 **/
17
18
#include "cvc4_private.h"
19
20
#ifndef CVC4__OPTIONS__QUANTIFIERS_H
21
#define CVC4__OPTIONS__QUANTIFIERS_H
22
23
#include "options/options.h"
24
25
26
27
28
#define CVC4_OPTIONS__QUANTIFIERS__FOR_OPTION_HOLDER \
29
  aggressiveMiniscopeQuant__option_t::type aggressiveMiniscopeQuant;\
30
  bool aggressiveMiniscopeQuant__setByUser__; \
31
  cegisSample__option_t::type cegisSample;\
32
  bool cegisSample__setByUser__; \
33
  cegqi__option_t::type cegqi;\
34
  bool cegqi__setByUser__; \
35
  cegqiAll__option_t::type cegqiAll;\
36
  bool cegqiAll__setByUser__; \
37
  cegqiBv__option_t::type cegqiBv;\
38
  bool cegqiBv__setByUser__; \
39
  cegqiBvConcInv__option_t::type cegqiBvConcInv;\
40
  bool cegqiBvConcInv__setByUser__; \
41
  cegqiBvIneqMode__option_t::type cegqiBvIneqMode;\
42
  bool cegqiBvIneqMode__setByUser__; \
43
  cegqiBvInterleaveValue__option_t::type cegqiBvInterleaveValue;\
44
  bool cegqiBvInterleaveValue__setByUser__; \
45
  cegqiBvLinearize__option_t::type cegqiBvLinearize;\
46
  bool cegqiBvLinearize__setByUser__; \
47
  cegqiBvRmExtract__option_t::type cegqiBvRmExtract;\
48
  bool cegqiBvRmExtract__setByUser__; \
49
  cegqiBvSolveNl__option_t::type cegqiBvSolveNl;\
50
  bool cegqiBvSolveNl__setByUser__; \
51
  cegqiFullEffort__option_t::type cegqiFullEffort;\
52
  bool cegqiFullEffort__setByUser__; \
53
  cegqiInnermost__option_t::type cegqiInnermost;\
54
  bool cegqiInnermost__setByUser__; \
55
  cegqiMidpoint__option_t::type cegqiMidpoint;\
56
  bool cegqiMidpoint__setByUser__; \
57
  cegqiMinBounds__option_t::type cegqiMinBounds;\
58
  bool cegqiMinBounds__setByUser__; \
59
  cegqiModel__option_t::type cegqiModel;\
60
  bool cegqiModel__setByUser__; \
61
  cegqiMultiInst__option_t::type cegqiMultiInst;\
62
  bool cegqiMultiInst__setByUser__; \
63
  cegqiNestedQE__option_t::type cegqiNestedQE;\
64
  bool cegqiNestedQE__setByUser__; \
65
  cegqiNopt__option_t::type cegqiNopt;\
66
  bool cegqiNopt__setByUser__; \
67
  cegqiRepeatLit__option_t::type cegqiRepeatLit;\
68
  bool cegqiRepeatLit__setByUser__; \
69
  cegqiRoundUpLowerLia__option_t::type cegqiRoundUpLowerLia;\
70
  bool cegqiRoundUpLowerLia__setByUser__; \
71
  cegqiSat__option_t::type cegqiSat;\
72
  bool cegqiSat__setByUser__; \
73
  cegqiUseInfInt__option_t::type cegqiUseInfInt;\
74
  bool cegqiUseInfInt__setByUser__; \
75
  cegqiUseInfReal__option_t::type cegqiUseInfReal;\
76
  bool cegqiUseInfReal__setByUser__; \
77
  condVarSplitQuantAgg__option_t::type condVarSplitQuantAgg;\
78
  bool condVarSplitQuantAgg__setByUser__; \
79
  condVarSplitQuant__option_t::type condVarSplitQuant;\
80
  bool condVarSplitQuant__setByUser__; \
81
  conjectureFilterActiveTerms__option_t::type conjectureFilterActiveTerms;\
82
  bool conjectureFilterActiveTerms__setByUser__; \
83
  conjectureFilterCanonical__option_t::type conjectureFilterCanonical;\
84
  bool conjectureFilterCanonical__setByUser__; \
85
  conjectureFilterModel__option_t::type conjectureFilterModel;\
86
  bool conjectureFilterModel__setByUser__; \
87
  conjectureGen__option_t::type conjectureGen;\
88
  bool conjectureGen__setByUser__; \
89
  conjectureGenGtEnum__option_t::type conjectureGenGtEnum;\
90
  bool conjectureGenGtEnum__setByUser__; \
91
  conjectureGenMaxDepth__option_t::type conjectureGenMaxDepth;\
92
  bool conjectureGenMaxDepth__setByUser__; \
93
  conjectureGenPerRound__option_t::type conjectureGenPerRound;\
94
  bool conjectureGenPerRound__setByUser__; \
95
  conjectureUeeIntro__option_t::type conjectureUeeIntro;\
96
  bool conjectureUeeIntro__setByUser__; \
97
  conjectureNoFilter__option_t::type conjectureNoFilter;\
98
  bool conjectureNoFilter__setByUser__; \
99
  debugInst__option_t::type debugInst;\
100
  bool debugInst__setByUser__; \
101
  debugSygus__option_t::type debugSygus;\
102
  bool debugSygus__setByUser__; \
103
  dtStcInduction__option_t::type dtStcInduction;\
104
  bool dtStcInduction__setByUser__; \
105
  dtVarExpandQuant__option_t::type dtVarExpandQuant;\
106
  bool dtVarExpandQuant__setByUser__; \
107
  eMatching__option_t::type eMatching;\
108
  bool eMatching__setByUser__; \
109
  elimTautQuant__option_t::type elimTautQuant;\
110
  bool elimTautQuant__setByUser__; \
111
  extRewriteQuant__option_t::type extRewriteQuant;\
112
  bool extRewriteQuant__setByUser__; \
113
  finiteModelFind__option_t::type finiteModelFind;\
114
  bool finiteModelFind__setByUser__; \
115
  fmfBound__option_t::type fmfBound;\
116
  bool fmfBound__setByUser__; \
117
  fmfBoundInt__option_t::type fmfBoundInt;\
118
  bool fmfBoundInt__setByUser__; \
119
  fmfBoundLazy__option_t::type fmfBoundLazy;\
120
  bool fmfBoundLazy__setByUser__; \
121
  fmfFmcSimple__option_t::type fmfFmcSimple;\
122
  bool fmfFmcSimple__setByUser__; \
123
  fmfFreshDistConst__option_t::type fmfFreshDistConst;\
124
  bool fmfFreshDistConst__setByUser__; \
125
  fmfFunWellDefined__option_t::type fmfFunWellDefined;\
126
  bool fmfFunWellDefined__setByUser__; \
127
  fmfFunWellDefinedRelevant__option_t::type fmfFunWellDefinedRelevant;\
128
  bool fmfFunWellDefinedRelevant__setByUser__; \
129
  fmfInstEngine__option_t::type fmfInstEngine;\
130
  bool fmfInstEngine__setByUser__; \
131
  fmfTypeCompletionThresh__option_t::type fmfTypeCompletionThresh;\
132
  bool fmfTypeCompletionThresh__setByUser__; \
133
  fullSaturateInterleave__option_t::type fullSaturateInterleave;\
134
  bool fullSaturateInterleave__setByUser__; \
135
  fullSaturateStratify__option_t::type fullSaturateStratify;\
136
  bool fullSaturateStratify__setByUser__; \
137
  fullSaturateSum__option_t::type fullSaturateSum;\
138
  bool fullSaturateSum__setByUser__; \
139
  fullSaturateQuant__option_t::type fullSaturateQuant;\
140
  bool fullSaturateQuant__setByUser__; \
141
  fullSaturateLimit__option_t::type fullSaturateLimit;\
142
  bool fullSaturateLimit__setByUser__; \
143
  fullSaturateQuantRd__option_t::type fullSaturateQuantRd;\
144
  bool fullSaturateQuantRd__setByUser__; \
145
  globalNegate__option_t::type globalNegate;\
146
  bool globalNegate__setByUser__; \
147
  hoElim__option_t::type hoElim;\
148
  bool hoElim__setByUser__; \
149
  hoElimStoreAx__option_t::type hoElimStoreAx;\
150
  bool hoElimStoreAx__setByUser__; \
151
  hoMatching__option_t::type hoMatching;\
152
  bool hoMatching__setByUser__; \
153
  hoMatchingVarArgPriority__option_t::type hoMatchingVarArgPriority;\
154
  bool hoMatchingVarArgPriority__setByUser__; \
155
  hoMergeTermDb__option_t::type hoMergeTermDb;\
156
  bool hoMergeTermDb__setByUser__; \
157
  incrementTriggers__option_t::type incrementTriggers;\
158
  bool incrementTriggers__setByUser__; \
159
  instLevelInputOnly__option_t::type instLevelInputOnly;\
160
  bool instLevelInputOnly__setByUser__; \
161
  instMaxLevel__option_t::type instMaxLevel;\
162
  bool instMaxLevel__setByUser__; \
163
  instNoEntail__option_t::type instNoEntail;\
164
  bool instNoEntail__setByUser__; \
165
  instWhenPhase__option_t::type instWhenPhase;\
166
  bool instWhenPhase__setByUser__; \
167
  instWhenStrictInterleave__option_t::type instWhenStrictInterleave;\
168
  bool instWhenStrictInterleave__setByUser__; \
169
  instWhenTcFirst__option_t::type instWhenTcFirst;\
170
  bool instWhenTcFirst__setByUser__; \
171
  instWhenMode__option_t::type instWhenMode;\
172
  bool instWhenMode__setByUser__; \
173
  intWfInduction__option_t::type intWfInduction;\
174
  bool intWfInduction__setByUser__; \
175
  iteDtTesterSplitQuant__option_t::type iteDtTesterSplitQuant;\
176
  bool iteDtTesterSplitQuant__setByUser__; \
177
  iteLiftQuant__option_t::type iteLiftQuant;\
178
  bool iteLiftQuant__setByUser__; \
179
  literalMatchMode__option_t::type literalMatchMode;\
180
  bool literalMatchMode__setByUser__; \
181
  macrosQuant__option_t::type macrosQuant;\
182
  bool macrosQuant__setByUser__; \
183
  macrosQuantMode__option_t::type macrosQuantMode;\
184
  bool macrosQuantMode__setByUser__; \
185
  mbqiInterleave__option_t::type mbqiInterleave;\
186
  bool mbqiInterleave__setByUser__; \
187
  fmfOneInstPerRound__option_t::type fmfOneInstPerRound;\
188
  bool fmfOneInstPerRound__setByUser__; \
189
  mbqiMode__option_t::type mbqiMode;\
190
  bool mbqiMode__setByUser__; \
191
  miniscopeQuant__option_t::type miniscopeQuant;\
192
  bool miniscopeQuant__setByUser__; \
193
  miniscopeQuantFreeVar__option_t::type miniscopeQuantFreeVar;\
194
  bool miniscopeQuantFreeVar__setByUser__; \
195
  multiTriggerCache__option_t::type multiTriggerCache;\
196
  bool multiTriggerCache__setByUser__; \
197
  multiTriggerLinear__option_t::type multiTriggerLinear;\
198
  bool multiTriggerLinear__setByUser__; \
199
  multiTriggerPriority__option_t::type multiTriggerPriority;\
200
  bool multiTriggerPriority__setByUser__; \
201
  multiTriggerWhenSingle__option_t::type multiTriggerWhenSingle;\
202
  bool multiTriggerWhenSingle__setByUser__; \
203
  partialTriggers__option_t::type partialTriggers;\
204
  bool partialTriggers__setByUser__; \
205
  preSkolemQuant__option_t::type preSkolemQuant;\
206
  bool preSkolemQuant__setByUser__; \
207
  preSkolemQuantAgg__option_t::type preSkolemQuantAgg;\
208
  bool preSkolemQuantAgg__setByUser__; \
209
  preSkolemQuantNested__option_t::type preSkolemQuantNested;\
210
  bool preSkolemQuantNested__setByUser__; \
211
  prenexQuantUser__option_t::type prenexQuantUser;\
212
  bool prenexQuantUser__setByUser__; \
213
  prenexQuant__option_t::type prenexQuant;\
214
  bool prenexQuant__setByUser__; \
215
  purifyTriggers__option_t::type purifyTriggers;\
216
  bool purifyTriggers__setByUser__; \
217
  qcfAllConflict__option_t::type qcfAllConflict;\
218
  bool qcfAllConflict__setByUser__; \
219
  qcfEagerCheckRd__option_t::type qcfEagerCheckRd;\
220
  bool qcfEagerCheckRd__setByUser__; \
221
  qcfEagerTest__option_t::type qcfEagerTest;\
222
  bool qcfEagerTest__setByUser__; \
223
  qcfNestedConflict__option_t::type qcfNestedConflict;\
224
  bool qcfNestedConflict__setByUser__; \
225
  qcfSkipRd__option_t::type qcfSkipRd;\
226
  bool qcfSkipRd__setByUser__; \
227
  qcfTConstraint__option_t::type qcfTConstraint;\
228
  bool qcfTConstraint__setByUser__; \
229
  qcfVoExp__option_t::type qcfVoExp;\
230
  bool qcfVoExp__setByUser__; \
231
  quantAlphaEquiv__option_t::type quantAlphaEquiv;\
232
  bool quantAlphaEquiv__setByUser__; \
233
  quantConflictFind__option_t::type quantConflictFind;\
234
  bool quantConflictFind__setByUser__; \
235
  qcfMode__option_t::type qcfMode;\
236
  bool qcfMode__setByUser__; \
237
  qcfWhenMode__option_t::type qcfWhenMode;\
238
  bool qcfWhenMode__setByUser__; \
239
  quantDynamicSplit__option_t::type quantDynamicSplit;\
240
  bool quantDynamicSplit__setByUser__; \
241
  quantFunWellDefined__option_t::type quantFunWellDefined;\
242
  bool quantFunWellDefined__setByUser__; \
243
  quantInduction__option_t::type quantInduction;\
244
  bool quantInduction__setByUser__; \
245
  quantRepMode__option_t::type quantRepMode;\
246
  bool quantRepMode__setByUser__; \
247
  quantSplit__option_t::type quantSplit;\
248
  bool quantSplit__setByUser__; \
249
  registerQuantBodyTerms__option_t::type registerQuantBodyTerms;\
250
  bool registerQuantBodyTerms__setByUser__; \
251
  relationalTriggers__option_t::type relationalTriggers;\
252
  bool relationalTriggers__setByUser__; \
253
  relevantTriggers__option_t::type relevantTriggers;\
254
  bool relevantTriggers__setByUser__; \
255
  strictTriggers__option_t::type strictTriggers;\
256
  bool strictTriggers__setByUser__; \
257
  sygus__option_t::type sygus;\
258
  bool sygus__setByUser__; \
259
  sygusActiveGenEnumConsts__option_t::type sygusActiveGenEnumConsts;\
260
  bool sygusActiveGenEnumConsts__setByUser__; \
261
  sygusActiveGenMode__option_t::type sygusActiveGenMode;\
262
  bool sygusActiveGenMode__setByUser__; \
263
  sygusAddConstGrammar__option_t::type sygusAddConstGrammar;\
264
  bool sygusAddConstGrammar__setByUser__; \
265
  sygusArgRelevant__option_t::type sygusArgRelevant;\
266
  bool sygusArgRelevant__setByUser__; \
267
  sygusInvAutoUnfold__option_t::type sygusInvAutoUnfold;\
268
  bool sygusInvAutoUnfold__setByUser__; \
269
  sygusBoolIteReturnConst__option_t::type sygusBoolIteReturnConst;\
270
  bool sygusBoolIteReturnConst__setByUser__; \
271
  sygusCoreConnective__option_t::type sygusCoreConnective;\
272
  bool sygusCoreConnective__setByUser__; \
273
  sygusConstRepairAbort__option_t::type sygusConstRepairAbort;\
274
  bool sygusConstRepairAbort__setByUser__; \
275
  sygusEvalOpt__option_t::type sygusEvalOpt;\
276
  bool sygusEvalOpt__setByUser__; \
277
  sygusEvalUnfold__option_t::type sygusEvalUnfold;\
278
  bool sygusEvalUnfold__setByUser__; \
279
  sygusEvalUnfoldBool__option_t::type sygusEvalUnfoldBool;\
280
  bool sygusEvalUnfoldBool__setByUser__; \
281
  sygusExprMinerCheckTimeout__option_t::type sygusExprMinerCheckTimeout;\
282
  bool sygusExprMinerCheckTimeout__setByUser__; \
283
  sygusExtRew__option_t::type sygusExtRew;\
284
  bool sygusExtRew__setByUser__; \
285
  sygusFilterSolRevSubsume__option_t::type sygusFilterSolRevSubsume;\
286
  bool sygusFilterSolRevSubsume__setByUser__; \
287
  sygusFilterSolMode__option_t::type sygusFilterSolMode;\
288
  bool sygusFilterSolMode__setByUser__; \
289
  sygusGrammarConsMode__option_t::type sygusGrammarConsMode;\
290
  bool sygusGrammarConsMode__setByUser__; \
291
  sygusGrammarNorm__option_t::type sygusGrammarNorm;\
292
  bool sygusGrammarNorm__setByUser__; \
293
  sygusInference__option_t::type sygusInference;\
294
  bool sygusInference__setByUser__; \
295
  sygusInst__option_t::type sygusInst;\
296
  bool sygusInst__setByUser__; \
297
  sygusInstMode__option_t::type sygusInstMode;\
298
  bool sygusInstMode__setByUser__; \
299
  sygusInstScope__option_t::type sygusInstScope;\
300
  bool sygusInstScope__setByUser__; \
301
  sygusInstTermSel__option_t::type sygusInstTermSel;\
302
  bool sygusInstTermSel__setByUser__; \
303
  sygusInvTemplWhenSyntax__option_t::type sygusInvTemplWhenSyntax;\
304
  bool sygusInvTemplWhenSyntax__setByUser__; \
305
  sygusInvTemplMode__option_t::type sygusInvTemplMode;\
306
  bool sygusInvTemplMode__setByUser__; \
307
  sygusMinGrammar__option_t::type sygusMinGrammar;\
308
  bool sygusMinGrammar__setByUser__; \
309
  sygusUnifPbe__option_t::type sygusUnifPbe;\
310
  bool sygusUnifPbe__setByUser__; \
311
  sygusPbeMultiFair__option_t::type sygusPbeMultiFair;\
312
  bool sygusPbeMultiFair__setByUser__; \
313
  sygusPbeMultiFairDiff__option_t::type sygusPbeMultiFairDiff;\
314
  bool sygusPbeMultiFairDiff__setByUser__; \
315
  sygusQePreproc__option_t::type sygusQePreproc;\
316
  bool sygusQePreproc__setByUser__; \
317
  sygusQueryGen__option_t::type sygusQueryGen;\
318
  bool sygusQueryGen__setByUser__; \
319
  sygusQueryGenCheck__option_t::type sygusQueryGenCheck;\
320
  bool sygusQueryGenCheck__setByUser__; \
321
  sygusQueryGenDumpFiles__option_t::type sygusQueryGenDumpFiles;\
322
  bool sygusQueryGenDumpFiles__setByUser__; \
323
  sygusQueryGenThresh__option_t::type sygusQueryGenThresh;\
324
  bool sygusQueryGenThresh__setByUser__; \
325
  sygusRecFun__option_t::type sygusRecFun;\
326
  bool sygusRecFun__setByUser__; \
327
  sygusRecFunEvalLimit__option_t::type sygusRecFunEvalLimit;\
328
  bool sygusRecFunEvalLimit__setByUser__; \
329
  sygusRepairConst__option_t::type sygusRepairConst;\
330
  bool sygusRepairConst__setByUser__; \
331
  sygusRepairConstTimeout__option_t::type sygusRepairConstTimeout;\
332
  bool sygusRepairConstTimeout__setByUser__; \
333
  sygusRew__option_t::type sygusRew;\
334
  bool sygusRew__setByUser__; \
335
  sygusRewSynth__option_t::type sygusRewSynth;\
336
  bool sygusRewSynth__setByUser__; \
337
  sygusRewSynthAccel__option_t::type sygusRewSynthAccel;\
338
  bool sygusRewSynthAccel__setByUser__; \
339
  sygusRewSynthCheck__option_t::type sygusRewSynthCheck;\
340
  bool sygusRewSynthCheck__setByUser__; \
341
  sygusRewSynthFilterCong__option_t::type sygusRewSynthFilterCong;\
342
  bool sygusRewSynthFilterCong__setByUser__; \
343
  sygusRewSynthFilterMatch__option_t::type sygusRewSynthFilterMatch;\
344
  bool sygusRewSynthFilterMatch__setByUser__; \
345
  sygusRewSynthFilterNonLinear__option_t::type sygusRewSynthFilterNonLinear;\
346
  bool sygusRewSynthFilterNonLinear__setByUser__; \
347
  sygusRewSynthFilterOrder__option_t::type sygusRewSynthFilterOrder;\
348
  bool sygusRewSynthFilterOrder__setByUser__; \
349
  sygusRewSynthInput__option_t::type sygusRewSynthInput;\
350
  bool sygusRewSynthInput__setByUser__; \
351
  sygusRewSynthInputNVars__option_t::type sygusRewSynthInputNVars;\
352
  bool sygusRewSynthInputNVars__setByUser__; \
353
  sygusRewSynthInputUseBool__option_t::type sygusRewSynthInputUseBool;\
354
  bool sygusRewSynthInputUseBool__setByUser__; \
355
  sygusRewSynthRec__option_t::type sygusRewSynthRec;\
356
  bool sygusRewSynthRec__setByUser__; \
357
  sygusRewVerify__option_t::type sygusRewVerify;\
358
  bool sygusRewVerify__setByUser__; \
359
  sygusRewVerifyAbort__option_t::type sygusRewVerifyAbort;\
360
  bool sygusRewVerifyAbort__setByUser__; \
361
  sygusSampleFpUniform__option_t::type sygusSampleFpUniform;\
362
  bool sygusSampleFpUniform__setByUser__; \
363
  sygusSampleGrammar__option_t::type sygusSampleGrammar;\
364
  bool sygusSampleGrammar__setByUser__; \
365
  sygusSamples__option_t::type sygusSamples;\
366
  bool sygusSamples__setByUser__; \
367
  cegqiSingleInvAbort__option_t::type cegqiSingleInvAbort;\
368
  bool cegqiSingleInvAbort__setByUser__; \
369
  cegqiSingleInvPartial__option_t::type cegqiSingleInvPartial;\
370
  bool cegqiSingleInvPartial__setByUser__; \
371
  cegqiSingleInvReconstructLimit__option_t::type cegqiSingleInvReconstructLimit;\
372
  bool cegqiSingleInvReconstructLimit__setByUser__; \
373
  cegqiSingleInvReconstruct__option_t::type cegqiSingleInvReconstruct;\
374
  bool cegqiSingleInvReconstruct__setByUser__; \
375
  cegqiSingleInvReconstructConst__option_t::type cegqiSingleInvReconstructConst;\
376
  bool cegqiSingleInvReconstructConst__setByUser__; \
377
  cegqiSingleInvMode__option_t::type cegqiSingleInvMode;\
378
  bool cegqiSingleInvMode__setByUser__; \
379
  sygusStream__option_t::type sygusStream;\
380
  bool sygusStream__setByUser__; \
381
  sygusTemplEmbedGrammar__option_t::type sygusTemplEmbedGrammar;\
382
  bool sygusTemplEmbedGrammar__setByUser__; \
383
  sygusUnifCondIndNoRepeatSol__option_t::type sygusUnifCondIndNoRepeatSol;\
384
  bool sygusUnifCondIndNoRepeatSol__setByUser__; \
385
  sygusUnifPi__option_t::type sygusUnifPi;\
386
  bool sygusUnifPi__setByUser__; \
387
  sygusUnifShuffleCond__option_t::type sygusUnifShuffleCond;\
388
  bool sygusUnifShuffleCond__setByUser__; \
389
  termDbCd__option_t::type termDbCd;\
390
  bool termDbCd__setByUser__; \
391
  termDbMode__option_t::type termDbMode;\
392
  bool termDbMode__setByUser__; \
393
  triggerActiveSelMode__option_t::type triggerActiveSelMode;\
394
  bool triggerActiveSelMode__setByUser__; \
395
  triggerSelMode__option_t::type triggerSelMode;\
396
  bool triggerSelMode__setByUser__; \
397
  userPatternsQuant__option_t::type userPatternsQuant;\
398
  bool userPatternsQuant__setByUser__; \
399
  varElimQuant__option_t::type varElimQuant;\
400
  bool varElimQuant__setByUser__; \
401
  varIneqElimQuant__option_t::type varIneqElimQuant;\
402
  bool varIneqElimQuant__setByUser__;
403
404
405
namespace CVC4 {
406
407
namespace options {
408
409
410
enum class CegisSampleMode
411
{
412
  TRUST,
413
  USE,
414
  NONE
415
};
416
std::ostream&
417
operator<<(std::ostream& os, CegisSampleMode mode);
418
CegisSampleMode
419
stringToCegisSampleMode(const std::string& option, const std::string& optarg);
420
enum class CegqiBvIneqMode
421
{
422
  KEEP,
423
  EQ_SLACK,
424
  EQ_BOUNDARY
425
};
426
std::ostream&
427
operator<<(std::ostream& os, CegqiBvIneqMode mode);
428
CegqiBvIneqMode
429
stringToCegqiBvIneqMode(const std::string& option, const std::string& optarg);
430
enum class InstWhenMode
431
{
432
  FULL_DELAY_LAST_CALL,
433
  FULL_DELAY,
434
  FULL,
435
  LAST_CALL,
436
  PRE_FULL,
437
  FULL_LAST_CALL
438
};
439
std::ostream&
440
operator<<(std::ostream& os, InstWhenMode mode);
441
InstWhenMode
442
stringToInstWhenMode(const std::string& option, const std::string& optarg);
443
enum class IteLiftQuantMode
444
{
445
  NONE,
446
  SIMPLE,
447
  ALL
448
};
449
std::ostream&
450
operator<<(std::ostream& os, IteLiftQuantMode mode);
451
IteLiftQuantMode
452
stringToIteLiftQuantMode(const std::string& option, const std::string& optarg);
453
enum class LiteralMatchMode
454
{
455
  USE,
456
  NONE,
457
  AGG,
458
  AGG_PREDICATE
459
};
460
std::ostream&
461
operator<<(std::ostream& os, LiteralMatchMode mode);
462
LiteralMatchMode
463
stringToLiteralMatchMode(const std::string& option, const std::string& optarg);
464
enum class MacrosQuantMode
465
{
466
  GROUND_UF,
467
  GROUND,
468
  ALL
469
};
470
std::ostream&
471
operator<<(std::ostream& os, MacrosQuantMode mode);
472
MacrosQuantMode
473
stringToMacrosQuantMode(const std::string& option, const std::string& optarg);
474
enum class MbqiMode
475
{
476
  TRUST,
477
  NONE,
478
  FMC
479
};
480
std::ostream&
481
operator<<(std::ostream& os, MbqiMode mode);
482
MbqiMode
483
stringToMbqiMode(const std::string& option, const std::string& optarg);
484
enum class PrenexQuantMode
485
{
486
  NONE,
487
  SIMPLE,
488
  NORMAL
489
};
490
std::ostream&
491
operator<<(std::ostream& os, PrenexQuantMode mode);
492
PrenexQuantMode
493
stringToPrenexQuantMode(const std::string& option, const std::string& optarg);
494
enum class QcfMode
495
{
496
  PARTIAL,
497
  PROP_EQ,
498
  CONFLICT_ONLY
499
};
500
std::ostream&
501
operator<<(std::ostream& os, QcfMode mode);
502
QcfMode
503
stringToQcfMode(const std::string& option, const std::string& optarg);
504
enum class QcfWhenMode
505
{
506
  STD_H,
507
  LAST_CALL,
508
  STD,
509
  DEFAULT
510
};
511
std::ostream&
512
operator<<(std::ostream& os, QcfWhenMode mode);
513
QcfWhenMode
514
stringToQcfWhenMode(const std::string& option, const std::string& optarg);
515
enum class QuantDSplitMode
516
{
517
  NONE,
518
  AGG,
519
  DEFAULT
520
};
521
std::ostream&
522
operator<<(std::ostream& os, QuantDSplitMode mode);
523
QuantDSplitMode
524
stringToQuantDSplitMode(const std::string& option, const std::string& optarg);
525
enum class QuantRepMode
526
{
527
  EE,
528
  DEPTH,
529
  FIRST
530
};
531
std::ostream&
532
operator<<(std::ostream& os, QuantRepMode mode);
533
QuantRepMode
534
stringToQuantRepMode(const std::string& option, const std::string& optarg);
535
enum class SygusActiveGenMode
536
{
537
  NONE,
538
  VAR_AGNOSTIC,
539
  AUTO,
540
  ENUM,
541
  ENUM_BASIC
542
};
543
std::ostream&
544
operator<<(std::ostream& os, SygusActiveGenMode mode);
545
SygusActiveGenMode
546
stringToSygusActiveGenMode(const std::string& option, const std::string& optarg);
547
enum class SygusFilterSolMode
548
{
549
  NONE,
550
  STRONG,
551
  WEAK
552
};
553
std::ostream&
554
operator<<(std::ostream& os, SygusFilterSolMode mode);
555
SygusFilterSolMode
556
stringToSygusFilterSolMode(const std::string& option, const std::string& optarg);
557
enum class SygusGrammarConsMode
558
{
559
  ANY_CONST,
560
  ANY_TERM_CONCISE,
561
  SIMPLE,
562
  ANY_TERM
563
};
564
std::ostream&
565
operator<<(std::ostream& os, SygusGrammarConsMode mode);
566
SygusGrammarConsMode
567
stringToSygusGrammarConsMode(const std::string& option, const std::string& optarg);
568
enum class SygusInstMode
569
{
570
  INTERLEAVE,
571
  PRIORITY_INST,
572
  PRIORITY_EVAL
573
};
574
std::ostream&
575
operator<<(std::ostream& os, SygusInstMode mode);
576
SygusInstMode
577
stringToSygusInstMode(const std::string& option, const std::string& optarg);
578
enum class SygusInstScope
579
{
580
  IN,
581
  OUT,
582
  BOTH
583
};
584
std::ostream&
585
operator<<(std::ostream& os, SygusInstScope mode);
586
SygusInstScope
587
stringToSygusInstScope(const std::string& option, const std::string& optarg);
588
enum class SygusInstTermSelMode
589
{
590
  MIN,
591
  MAX,
592
  BOTH
593
};
594
std::ostream&
595
operator<<(std::ostream& os, SygusInstTermSelMode mode);
596
SygusInstTermSelMode
597
stringToSygusInstTermSelMode(const std::string& option, const std::string& optarg);
598
enum class SygusInvTemplMode
599
{
600
  PRE,
601
  NONE,
602
  POST
603
};
604
std::ostream&
605
operator<<(std::ostream& os, SygusInvTemplMode mode);
606
SygusInvTemplMode
607
stringToSygusInvTemplMode(const std::string& option, const std::string& optarg);
608
enum class SygusQueryDumpFilesMode
609
{
610
  NONE,
611
  ALL,
612
  UNSOLVED
613
};
614
std::ostream&
615
operator<<(std::ostream& os, SygusQueryDumpFilesMode mode);
616
SygusQueryDumpFilesMode
617
stringToSygusQueryDumpFilesMode(const std::string& option, const std::string& optarg);
618
enum class CegqiSingleInvRconsMode
619
{
620
  NONE,
621
  TRY,
622
  ALL,
623
  ALL_LIMIT
624
};
625
std::ostream&
626
operator<<(std::ostream& os, CegqiSingleInvRconsMode mode);
627
CegqiSingleInvRconsMode
628
stringToCegqiSingleInvRconsMode(const std::string& option, const std::string& optarg);
629
enum class CegqiSingleInvMode
630
{
631
  USE,
632
  NONE,
633
  ALL
634
};
635
std::ostream&
636
operator<<(std::ostream& os, CegqiSingleInvMode mode);
637
CegqiSingleInvMode
638
stringToCegqiSingleInvMode(const std::string& option, const std::string& optarg);
639
enum class SygusUnifPiMode
640
{
641
  CENUM_IGAIN,
642
  NONE,
643
  COMPLETE,
644
  CENUM
645
};
646
std::ostream&
647
operator<<(std::ostream& os, SygusUnifPiMode mode);
648
SygusUnifPiMode
649
stringToSygusUnifPiMode(const std::string& option, const std::string& optarg);
650
enum class TermDbMode
651
{
652
  RELEVANT,
653
  ALL
654
};
655
std::ostream&
656
operator<<(std::ostream& os, TermDbMode mode);
657
TermDbMode
658
stringToTermDbMode(const std::string& option, const std::string& optarg);
659
enum class TriggerActiveSelMode
660
{
661
  MAX,
662
  MIN,
663
  ALL
664
};
665
std::ostream&
666
operator<<(std::ostream& os, TriggerActiveSelMode mode);
667
TriggerActiveSelMode
668
stringToTriggerActiveSelMode(const std::string& option, const std::string& optarg);
669
enum class TriggerSelMode
670
{
671
  MIN_SINGLE_ALL,
672
  MIN_SINGLE_MAX,
673
  MIN,
674
  MAX,
675
  ALL
676
};
677
std::ostream&
678
operator<<(std::ostream& os, TriggerSelMode mode);
679
TriggerSelMode
680
stringToTriggerSelMode(const std::string& option, const std::string& optarg);
681
enum class UserPatMode
682
{
683
  TRUST,
684
  USE,
685
  IGNORE,
686
  INTERLEAVE,
687
  RESORT
688
};
689
std::ostream&
690
operator<<(std::ostream& os, UserPatMode mode);
691
UserPatMode
692
stringToUserPatMode(const std::string& option, const std::string& optarg);
693
694
extern struct aggressiveMiniscopeQuant__option_t
695
{
696
  typedef bool type;
697
  type operator()() const;
698
  bool wasSetByUser() const;
699
  const char* getName() const;
700
} thread_local aggressiveMiniscopeQuant;
701
extern struct cegisSample__option_t
702
{
703
  typedef CegisSampleMode type;
704
  type operator()() const;
705
  bool wasSetByUser() const;
706
  void set(const type& v);
707
  const char* getName() const;
708
} thread_local cegisSample;
709
extern struct cegqi__option_t
710
{
711
  typedef bool type;
712
  type operator()() const;
713
  bool wasSetByUser() const;
714
  void set(const type& v);
715
  const char* getName() const;
716
} thread_local cegqi;
717
extern struct cegqiAll__option_t
718
{
719
  typedef bool type;
720
  type operator()() const;
721
  bool wasSetByUser() const;
722
  void set(const type& v);
723
  const char* getName() const;
724
} thread_local cegqiAll;
725
extern struct cegqiBv__option_t
726
{
727
  typedef bool type;
728
  type operator()() const;
729
  bool wasSetByUser() const;
730
  void set(const type& v);
731
  const char* getName() const;
732
} thread_local cegqiBv;
733
extern struct cegqiBvConcInv__option_t
734
{
735
  typedef bool type;
736
  type operator()() const;
737
  bool wasSetByUser() const;
738
  void set(const type& v);
739
  const char* getName() const;
740
} thread_local cegqiBvConcInv;
741
extern struct cegqiBvIneqMode__option_t
742
{
743
  typedef CegqiBvIneqMode type;
744
  type operator()() const;
745
  bool wasSetByUser() const;
746
  void set(const type& v);
747
  const char* getName() const;
748
} thread_local cegqiBvIneqMode;
749
extern struct cegqiBvInterleaveValue__option_t
750
{
751
  typedef bool type;
752
  type operator()() const;
753
  bool wasSetByUser() const;
754
  void set(const type& v);
755
  const char* getName() const;
756
} thread_local cegqiBvInterleaveValue;
757
extern struct cegqiBvLinearize__option_t
758
{
759
  typedef bool type;
760
  type operator()() const;
761
  bool wasSetByUser() const;
762
  void set(const type& v);
763
  const char* getName() const;
764
} thread_local cegqiBvLinearize;
765
extern struct cegqiBvRmExtract__option_t
766
{
767
  typedef bool type;
768
  type operator()() const;
769
  bool wasSetByUser() const;
770
  void set(const type& v);
771
  const char* getName() const;
772
} thread_local cegqiBvRmExtract;
773
extern struct cegqiBvSolveNl__option_t
774
{
775
  typedef bool type;
776
  type operator()() const;
777
  bool wasSetByUser() const;
778
  void set(const type& v);
779
  const char* getName() const;
780
} thread_local cegqiBvSolveNl;
781
extern struct cegqiFullEffort__option_t
782
{
783
  typedef bool type;
784
  type operator()() const;
785
  bool wasSetByUser() const;
786
  void set(const type& v);
787
  const char* getName() const;
788
} thread_local cegqiFullEffort;
789
extern struct cegqiInnermost__option_t
790
{
791
  typedef bool type;
792
  type operator()() const;
793
  bool wasSetByUser() const;
794
  void set(const type& v);
795
  const char* getName() const;
796
} thread_local cegqiInnermost;
797
extern struct cegqiMidpoint__option_t
798
{
799
  typedef bool type;
800
  type operator()() const;
801
  bool wasSetByUser() const;
802
  void set(const type& v);
803
  const char* getName() const;
804
} thread_local cegqiMidpoint;
805
extern struct cegqiMinBounds__option_t
806
{
807
  typedef bool type;
808
  type operator()() const;
809
  bool wasSetByUser() const;
810
  const char* getName() const;
811
} thread_local cegqiMinBounds;
812
extern struct cegqiModel__option_t
813
{
814
  typedef bool type;
815
  type operator()() const;
816
  bool wasSetByUser() const;
817
  void set(const type& v);
818
  const char* getName() const;
819
} thread_local cegqiModel;
820
extern struct cegqiMultiInst__option_t
821
{
822
  typedef bool type;
823
  type operator()() const;
824
  bool wasSetByUser() const;
825
  void set(const type& v);
826
  const char* getName() const;
827
} thread_local cegqiMultiInst;
828
extern struct cegqiNestedQE__option_t
829
{
830
  typedef bool type;
831
  type operator()() const;
832
  bool wasSetByUser() const;
833
  void set(const type& v);
834
  const char* getName() const;
835
} thread_local cegqiNestedQE;
836
extern struct cegqiNopt__option_t
837
{
838
  typedef bool type;
839
  type operator()() const;
840
  bool wasSetByUser() const;
841
  const char* getName() const;
842
} thread_local cegqiNopt;
843
extern struct cegqiRepeatLit__option_t
844
{
845
  typedef bool type;
846
  type operator()() const;
847
  bool wasSetByUser() const;
848
  void set(const type& v);
849
  const char* getName() const;
850
} thread_local cegqiRepeatLit;
851
extern struct cegqiRoundUpLowerLia__option_t
852
{
853
  typedef bool type;
854
  type operator()() const;
855
  bool wasSetByUser() const;
856
  const char* getName() const;
857
} thread_local cegqiRoundUpLowerLia;
858
extern struct cegqiSat__option_t
859
{
860
  typedef bool type;
861
  type operator()() const;
862
  bool wasSetByUser() const;
863
  void set(const type& v);
864
  const char* getName() const;
865
} thread_local cegqiSat;
866
extern struct cegqiUseInfInt__option_t
867
{
868
  typedef bool type;
869
  type operator()() const;
870
  bool wasSetByUser() const;
871
  void set(const type& v);
872
  const char* getName() const;
873
} thread_local cegqiUseInfInt;
874
extern struct cegqiUseInfReal__option_t
875
{
876
  typedef bool type;
877
  type operator()() const;
878
  bool wasSetByUser() const;
879
  void set(const type& v);
880
  const char* getName() const;
881
} thread_local cegqiUseInfReal;
882
extern struct condVarSplitQuantAgg__option_t
883
{
884
  typedef bool type;
885
  type operator()() const;
886
  bool wasSetByUser() const;
887
  const char* getName() const;
888
} thread_local condVarSplitQuantAgg;
889
extern struct condVarSplitQuant__option_t
890
{
891
  typedef bool type;
892
  type operator()() const;
893
  bool wasSetByUser() const;
894
  const char* getName() const;
895
} thread_local condVarSplitQuant;
896
extern struct conjectureFilterActiveTerms__option_t
897
{
898
  typedef bool type;
899
  type operator()() const;
900
  bool wasSetByUser() const;
901
  void set(const type& v);
902
  const char* getName() const;
903
} thread_local conjectureFilterActiveTerms;
904
extern struct conjectureFilterCanonical__option_t
905
{
906
  typedef bool type;
907
  type operator()() const;
908
  bool wasSetByUser() const;
909
  void set(const type& v);
910
  const char* getName() const;
911
} thread_local conjectureFilterCanonical;
912
extern struct conjectureFilterModel__option_t
913
{
914
  typedef bool type;
915
  type operator()() const;
916
  bool wasSetByUser() const;
917
  void set(const type& v);
918
  const char* getName() const;
919
} thread_local conjectureFilterModel;
920
extern struct conjectureGen__option_t
921
{
922
  typedef bool type;
923
  type operator()() const;
924
  bool wasSetByUser() const;
925
  void set(const type& v);
926
  const char* getName() const;
927
} thread_local conjectureGen;
928
extern struct conjectureGenGtEnum__option_t
929
{
930
  typedef int type;
931
  type operator()() const;
932
  bool wasSetByUser() const;
933
  const char* getName() const;
934
} thread_local conjectureGenGtEnum;
935
extern struct conjectureGenMaxDepth__option_t
936
{
937
  typedef int type;
938
  type operator()() const;
939
  bool wasSetByUser() const;
940
  const char* getName() const;
941
} thread_local conjectureGenMaxDepth;
942
extern struct conjectureGenPerRound__option_t
943
{
944
  typedef int type;
945
  type operator()() const;
946
  bool wasSetByUser() const;
947
  const char* getName() const;
948
} thread_local conjectureGenPerRound;
949
extern struct conjectureUeeIntro__option_t
950
{
951
  typedef bool type;
952
  type operator()() const;
953
  bool wasSetByUser() const;
954
  const char* getName() const;
955
} thread_local conjectureUeeIntro;
956
extern struct conjectureNoFilter__option_t
957
{
958
  typedef bool type;
959
  type operator()() const;
960
  bool wasSetByUser() const;
961
  const char* getName() const;
962
} thread_local conjectureNoFilter;
963
extern struct debugInst__option_t
964
{
965
  typedef bool type;
966
  type operator()() const;
967
  bool wasSetByUser() const;
968
  void set(const type& v);
969
  const char* getName() const;
970
} thread_local debugInst;
971
extern struct debugSygus__option_t
972
{
973
  typedef bool type;
974
  type operator()() const;
975
  bool wasSetByUser() const;
976
  void set(const type& v);
977
  const char* getName() const;
978
} thread_local debugSygus;
979
extern struct dtStcInduction__option_t
980
{
981
  typedef bool type;
982
  type operator()() const;
983
  bool wasSetByUser() const;
984
  void set(const type& v);
985
  const char* getName() const;
986
} thread_local dtStcInduction;
987
extern struct dtVarExpandQuant__option_t
988
{
989
  typedef bool type;
990
  type operator()() const;
991
  bool wasSetByUser() const;
992
  const char* getName() const;
993
} thread_local dtVarExpandQuant;
994
extern struct eMatching__option_t
995
{
996
  typedef bool type;
997
  type operator()() const;
998
  bool wasSetByUser() const;
999
  void set(const type& v);
1000
  const char* getName() const;
1001
} thread_local eMatching;
1002
extern struct elimTautQuant__option_t
1003
{
1004
  typedef bool type;
1005
  type operator()() const;
1006
  bool wasSetByUser() const;
1007
  const char* getName() const;
1008
} thread_local elimTautQuant;
1009
extern struct extRewriteQuant__option_t
1010
{
1011
  typedef bool type;
1012
  type operator()() const;
1013
  bool wasSetByUser() const;
1014
  const char* getName() const;
1015
} thread_local extRewriteQuant;
1016
extern struct finiteModelFind__option_t
1017
{
1018
  typedef bool type;
1019
  type operator()() const;
1020
  bool wasSetByUser() const;
1021
  void set(const type& v);
1022
  const char* getName() const;
1023
} thread_local finiteModelFind;
1024
extern struct fmfBound__option_t
1025
{
1026
  typedef bool type;
1027
  type operator()() const;
1028
  bool wasSetByUser() const;
1029
  void set(const type& v);
1030
  const char* getName() const;
1031
} thread_local fmfBound;
1032
extern struct fmfBoundInt__option_t
1033
{
1034
  typedef bool type;
1035
  type operator()() const;
1036
  bool wasSetByUser() const;
1037
  void set(const type& v);
1038
  const char* getName() const;
1039
} thread_local fmfBoundInt;
1040
extern struct fmfBoundLazy__option_t
1041
{
1042
  typedef bool type;
1043
  type operator()() const;
1044
  bool wasSetByUser() const;
1045
  void set(const type& v);
1046
  const char* getName() const;
1047
} thread_local fmfBoundLazy;
1048
extern struct fmfFmcSimple__option_t
1049
{
1050
  typedef bool type;
1051
  type operator()() const;
1052
  bool wasSetByUser() const;
1053
  const char* getName() const;
1054
} thread_local fmfFmcSimple;
1055
extern struct fmfFreshDistConst__option_t
1056
{
1057
  typedef bool type;
1058
  type operator()() const;
1059
  bool wasSetByUser() const;
1060
  const char* getName() const;
1061
} thread_local fmfFreshDistConst;
1062
extern struct fmfFunWellDefined__option_t
1063
{
1064
  typedef bool type;
1065
  type operator()() const;
1066
  bool wasSetByUser() const;
1067
  void set(const type& v);
1068
  const char* getName() const;
1069
} thread_local fmfFunWellDefined;
1070
extern struct fmfFunWellDefinedRelevant__option_t
1071
{
1072
  typedef bool type;
1073
  type operator()() const;
1074
  bool wasSetByUser() const;
1075
  const char* getName() const;
1076
} thread_local fmfFunWellDefinedRelevant;
1077
extern struct fmfInstEngine__option_t
1078
{
1079
  typedef bool type;
1080
  type operator()() const;
1081
  bool wasSetByUser() const;
1082
  void set(const type& v);
1083
  const char* getName() const;
1084
} thread_local fmfInstEngine;
1085
extern struct fmfTypeCompletionThresh__option_t
1086
{
1087
  typedef int type;
1088
  type operator()() const;
1089
  bool wasSetByUser() const;
1090
  const char* getName() const;
1091
} thread_local fmfTypeCompletionThresh;
1092
extern struct fullSaturateInterleave__option_t
1093
{
1094
  typedef bool type;
1095
  type operator()() const;
1096
  bool wasSetByUser() const;
1097
  const char* getName() const;
1098
} thread_local fullSaturateInterleave;
1099
extern struct fullSaturateStratify__option_t
1100
{
1101
  typedef bool type;
1102
  type operator()() const;
1103
  bool wasSetByUser() const;
1104
  const char* getName() const;
1105
} thread_local fullSaturateStratify;
1106
extern struct fullSaturateSum__option_t
1107
{
1108
  typedef bool type;
1109
  type operator()() const;
1110
  bool wasSetByUser() const;
1111
  const char* getName() const;
1112
} thread_local fullSaturateSum;
1113
extern struct fullSaturateQuant__option_t
1114
{
1115
  typedef bool type;
1116
  type operator()() const;
1117
  bool wasSetByUser() const;
1118
  void set(const type& v);
1119
  const char* getName() const;
1120
} thread_local fullSaturateQuant;
1121
extern struct fullSaturateLimit__option_t
1122
{
1123
  typedef int type;
1124
  type operator()() const;
1125
  bool wasSetByUser() const;
1126
  const char* getName() const;
1127
} thread_local fullSaturateLimit;
1128
extern struct fullSaturateQuantRd__option_t
1129
{
1130
  typedef bool type;
1131
  type operator()() const;
1132
  bool wasSetByUser() const;
1133
  const char* getName() const;
1134
} thread_local fullSaturateQuantRd;
1135
extern struct globalNegate__option_t
1136
{
1137
  typedef bool type;
1138
  type operator()() const;
1139
  bool wasSetByUser() const;
1140
  void set(const type& v);
1141
  const char* getName() const;
1142
} thread_local globalNegate;
1143
extern struct hoElim__option_t
1144
{
1145
  typedef bool type;
1146
  type operator()() const;
1147
  bool wasSetByUser() const;
1148
  const char* getName() const;
1149
} thread_local hoElim;
1150
extern struct hoElimStoreAx__option_t
1151
{
1152
  typedef bool type;
1153
  type operator()() const;
1154
  bool wasSetByUser() const;
1155
  void set(const type& v);
1156
  const char* getName() const;
1157
} thread_local hoElimStoreAx;
1158
extern struct hoMatching__option_t
1159
{
1160
  typedef bool type;
1161
  type operator()() const;
1162
  bool wasSetByUser() const;
1163
  const char* getName() const;
1164
} thread_local hoMatching;
1165
extern struct hoMatchingVarArgPriority__option_t
1166
{
1167
  typedef bool type;
1168
  type operator()() const;
1169
  bool wasSetByUser() const;
1170
  const char* getName() const;
1171
} thread_local hoMatchingVarArgPriority;
1172
extern struct hoMergeTermDb__option_t
1173
{
1174
  typedef bool type;
1175
  type operator()() const;
1176
  bool wasSetByUser() const;
1177
  const char* getName() const;
1178
} thread_local hoMergeTermDb;
1179
extern struct incrementTriggers__option_t
1180
{
1181
  typedef bool type;
1182
  type operator()() const;
1183
  bool wasSetByUser() const;
1184
  const char* getName() const;
1185
} thread_local incrementTriggers;
1186
extern struct instLevelInputOnly__option_t
1187
{
1188
  typedef bool type;
1189
  type operator()() const;
1190
  bool wasSetByUser() const;
1191
  const char* getName() const;
1192
} thread_local instLevelInputOnly;
1193
extern struct instMaxLevel__option_t
1194
{
1195
  typedef int type;
1196
  type operator()() const;
1197
  bool wasSetByUser() const;
1198
  void set(const type& v);
1199
  const char* getName() const;
1200
} thread_local instMaxLevel;
1201
extern struct instNoEntail__option_t
1202
{
1203
  typedef bool type;
1204
  type operator()() const;
1205
  bool wasSetByUser() const;
1206
  void set(const type& v);
1207
  const char* getName() const;
1208
} thread_local instNoEntail;
1209
extern struct instWhenPhase__option_t
1210
{
1211
  typedef int type;
1212
  type operator()() const;
1213
  bool wasSetByUser() const;
1214
  void set(const type& v);
1215
  const char* getName() const;
1216
} thread_local instWhenPhase;
1217
extern struct instWhenStrictInterleave__option_t
1218
{
1219
  typedef bool type;
1220
  type operator()() const;
1221
  bool wasSetByUser() const;
1222
  void set(const type& v);
1223
  const char* getName() const;
1224
} thread_local instWhenStrictInterleave;
1225
extern struct instWhenTcFirst__option_t
1226
{
1227
  typedef bool type;
1228
  type operator()() const;
1229
  bool wasSetByUser() const;
1230
  void set(const type& v);
1231
  const char* getName() const;
1232
} thread_local instWhenTcFirst;
1233
extern struct instWhenMode__option_t
1234
{
1235
  typedef InstWhenMode type;
1236
  type operator()() const;
1237
  bool wasSetByUser() const;
1238
  void set(const type& v);
1239
  const char* getName() const;
1240
} thread_local instWhenMode;
1241
extern struct intWfInduction__option_t
1242
{
1243
  typedef bool type;
1244
  type operator()() const;
1245
  bool wasSetByUser() const;
1246
  void set(const type& v);
1247
  const char* getName() const;
1248
} thread_local intWfInduction;
1249
extern struct iteDtTesterSplitQuant__option_t
1250
{
1251
  typedef bool type;
1252
  type operator()() const;
1253
  bool wasSetByUser() const;
1254
  void set(const type& v);
1255
  const char* getName() const;
1256
} thread_local iteDtTesterSplitQuant;
1257
extern struct iteLiftQuant__option_t
1258
{
1259
  typedef IteLiftQuantMode type;
1260
  type operator()() const;
1261
  bool wasSetByUser() const;
1262
  void set(const type& v);
1263
  const char* getName() const;
1264
} thread_local iteLiftQuant;
1265
extern struct literalMatchMode__option_t
1266
{
1267
  typedef LiteralMatchMode type;
1268
  type operator()() const;
1269
  bool wasSetByUser() const;
1270
  const char* getName() const;
1271
} thread_local literalMatchMode;
1272
extern struct macrosQuant__option_t
1273
{
1274
  typedef bool type;
1275
  type operator()() const;
1276
  bool wasSetByUser() const;
1277
  void set(const type& v);
1278
  const char* getName() const;
1279
} thread_local macrosQuant;
1280
extern struct macrosQuantMode__option_t
1281
{
1282
  typedef MacrosQuantMode type;
1283
  type operator()() const;
1284
  bool wasSetByUser() const;
1285
  const char* getName() const;
1286
} thread_local macrosQuantMode;
1287
extern struct mbqiInterleave__option_t
1288
{
1289
  typedef bool type;
1290
  type operator()() const;
1291
  bool wasSetByUser() const;
1292
  const char* getName() const;
1293
} thread_local mbqiInterleave;
1294
extern struct fmfOneInstPerRound__option_t
1295
{
1296
  typedef bool type;
1297
  type operator()() const;
1298
  bool wasSetByUser() const;
1299
  void set(const type& v);
1300
  const char* getName() const;
1301
} thread_local fmfOneInstPerRound;
1302
extern struct mbqiMode__option_t
1303
{
1304
  typedef MbqiMode type;
1305
  type operator()() const;
1306
  bool wasSetByUser() const;
1307
  void set(const type& v);
1308
  const char* getName() const;
1309
} thread_local mbqiMode;
1310
extern struct miniscopeQuant__option_t
1311
{
1312
  typedef bool type;
1313
  type operator()() const;
1314
  bool wasSetByUser() const;
1315
  void set(const type& v);
1316
  const char* getName() const;
1317
} thread_local miniscopeQuant;
1318
extern struct miniscopeQuantFreeVar__option_t
1319
{
1320
  typedef bool type;
1321
  type operator()() const;
1322
  bool wasSetByUser() const;
1323
  void set(const type& v);
1324
  const char* getName() const;
1325
} thread_local miniscopeQuantFreeVar;
1326
extern struct multiTriggerCache__option_t
1327
{
1328
  typedef bool type;
1329
  type operator()() const;
1330
  bool wasSetByUser() const;
1331
  const char* getName() const;
1332
} thread_local multiTriggerCache;
1333
extern struct multiTriggerLinear__option_t
1334
{
1335
  typedef bool type;
1336
  type operator()() const;
1337
  bool wasSetByUser() const;
1338
  const char* getName() const;
1339
} thread_local multiTriggerLinear;
1340
extern struct multiTriggerPriority__option_t
1341
{
1342
  typedef bool type;
1343
  type operator()() const;
1344
  bool wasSetByUser() const;
1345
  const char* getName() const;
1346
} thread_local multiTriggerPriority;
1347
extern struct multiTriggerWhenSingle__option_t
1348
{
1349
  typedef bool type;
1350
  type operator()() const;
1351
  bool wasSetByUser() const;
1352
  const char* getName() const;
1353
} thread_local multiTriggerWhenSingle;
1354
extern struct partialTriggers__option_t
1355
{
1356
  typedef bool type;
1357
  type operator()() const;
1358
  bool wasSetByUser() const;
1359
  void set(const type& v);
1360
  const char* getName() const;
1361
} thread_local partialTriggers;
1362
extern struct preSkolemQuant__option_t
1363
{
1364
  typedef bool type;
1365
  type operator()() const;
1366
  bool wasSetByUser() const;
1367
  void set(const type& v);
1368
  const char* getName() const;
1369
} thread_local preSkolemQuant;
1370
extern struct preSkolemQuantAgg__option_t
1371
{
1372
  typedef bool type;
1373
  type operator()() const;
1374
  bool wasSetByUser() const;
1375
  void set(const type& v);
1376
  const char* getName() const;
1377
} thread_local preSkolemQuantAgg;
1378
extern struct preSkolemQuantNested__option_t
1379
{
1380
  typedef bool type;
1381
  type operator()() const;
1382
  bool wasSetByUser() const;
1383
  void set(const type& v);
1384
  const char* getName() const;
1385
} thread_local preSkolemQuantNested;
1386
extern struct prenexQuantUser__option_t
1387
{
1388
  typedef bool type;
1389
  type operator()() const;
1390
  bool wasSetByUser() const;
1391
  void set(const type& v);
1392
  const char* getName() const;
1393
} thread_local prenexQuantUser;
1394
extern struct prenexQuant__option_t
1395
{
1396
  typedef PrenexQuantMode type;
1397
  type operator()() const;
1398
  bool wasSetByUser() const;
1399
  void set(const type& v);
1400
  const char* getName() const;
1401
} thread_local prenexQuant;
1402
extern struct purifyTriggers__option_t
1403
{
1404
  typedef bool type;
1405
  type operator()() const;
1406
  bool wasSetByUser() const;
1407
  void set(const type& v);
1408
  const char* getName() const;
1409
} thread_local purifyTriggers;
1410
extern struct qcfAllConflict__option_t
1411
{
1412
  typedef bool type;
1413
  type operator()() const;
1414
  bool wasSetByUser() const;
1415
  void set(const type& v);
1416
  const char* getName() const;
1417
} thread_local qcfAllConflict;
1418
extern struct qcfEagerCheckRd__option_t
1419
{
1420
  typedef bool type;
1421
  type operator()() const;
1422
  bool wasSetByUser() const;
1423
  const char* getName() const;
1424
} thread_local qcfEagerCheckRd;
1425
extern struct qcfEagerTest__option_t
1426
{
1427
  typedef bool type;
1428
  type operator()() const;
1429
  bool wasSetByUser() const;
1430
  const char* getName() const;
1431
} thread_local qcfEagerTest;
1432
extern struct qcfNestedConflict__option_t
1433
{
1434
  typedef bool type;
1435
  type operator()() const;
1436
  bool wasSetByUser() const;
1437
  const char* getName() const;
1438
} thread_local qcfNestedConflict;
1439
extern struct qcfSkipRd__option_t
1440
{
1441
  typedef bool type;
1442
  type operator()() const;
1443
  bool wasSetByUser() const;
1444
  const char* getName() const;
1445
} thread_local qcfSkipRd;
1446
extern struct qcfTConstraint__option_t
1447
{
1448
  typedef bool type;
1449
  type operator()() const;
1450
  bool wasSetByUser() const;
1451
  void set(const type& v);
1452
  const char* getName() const;
1453
} thread_local qcfTConstraint;
1454
extern struct qcfVoExp__option_t
1455
{
1456
  typedef bool type;
1457
  type operator()() const;
1458
  bool wasSetByUser() const;
1459
  const char* getName() const;
1460
} thread_local qcfVoExp;
1461
extern struct quantAlphaEquiv__option_t
1462
{
1463
  typedef bool type;
1464
  type operator()() const;
1465
  bool wasSetByUser() const;
1466
  const char* getName() const;
1467
} thread_local quantAlphaEquiv;
1468
extern struct quantConflictFind__option_t
1469
{
1470
  typedef bool type;
1471
  type operator()() const;
1472
  bool wasSetByUser() const;
1473
  void set(const type& v);
1474
  const char* getName() const;
1475
} thread_local quantConflictFind;
1476
extern struct qcfMode__option_t
1477
{
1478
  typedef QcfMode type;
1479
  type operator()() const;
1480
  bool wasSetByUser() const;
1481
  const char* getName() const;
1482
} thread_local qcfMode;
1483
extern struct qcfWhenMode__option_t
1484
{
1485
  typedef QcfWhenMode type;
1486
  type operator()() const;
1487
  bool wasSetByUser() const;
1488
  const char* getName() const;
1489
} thread_local qcfWhenMode;
1490
extern struct quantDynamicSplit__option_t
1491
{
1492
  typedef QuantDSplitMode type;
1493
  type operator()() const;
1494
  bool wasSetByUser() const;
1495
  void set(const type& v);
1496
  const char* getName() const;
1497
} thread_local quantDynamicSplit;
1498
extern struct quantFunWellDefined__option_t
1499
{
1500
  typedef bool type;
1501
  type operator()() const;
1502
  bool wasSetByUser() const;
1503
  const char* getName() const;
1504
} thread_local quantFunWellDefined;
1505
extern struct quantInduction__option_t
1506
{
1507
  typedef bool type;
1508
  type operator()() const;
1509
  bool wasSetByUser() const;
1510
  const char* getName() const;
1511
} thread_local quantInduction;
1512
extern struct quantRepMode__option_t
1513
{
1514
  typedef QuantRepMode type;
1515
  type operator()() const;
1516
  bool wasSetByUser() const;
1517
  void set(const type& v);
1518
  const char* getName() const;
1519
} thread_local quantRepMode;
1520
extern struct quantSplit__option_t
1521
{
1522
  typedef bool type;
1523
  type operator()() const;
1524
  bool wasSetByUser() const;
1525
  void set(const type& v);
1526
  const char* getName() const;
1527
} thread_local quantSplit;
1528
extern struct registerQuantBodyTerms__option_t
1529
{
1530
  typedef bool type;
1531
  type operator()() const;
1532
  bool wasSetByUser() const;
1533
  const char* getName() const;
1534
} thread_local registerQuantBodyTerms;
1535
extern struct relationalTriggers__option_t
1536
{
1537
  typedef bool type;
1538
  type operator()() const;
1539
  bool wasSetByUser() const;
1540
  const char* getName() const;
1541
} thread_local relationalTriggers;
1542
extern struct relevantTriggers__option_t
1543
{
1544
  typedef bool type;
1545
  type operator()() const;
1546
  bool wasSetByUser() const;
1547
  const char* getName() const;
1548
} thread_local relevantTriggers;
1549
extern struct strictTriggers__option_t
1550
{
1551
  typedef bool type;
1552
  type operator()() const;
1553
  bool wasSetByUser() const;
1554
  const char* getName() const;
1555
} thread_local strictTriggers;
1556
extern struct sygus__option_t
1557
{
1558
  typedef bool type;
1559
  type operator()() const;
1560
  bool wasSetByUser() const;
1561
  void set(const type& v);
1562
  const char* getName() const;
1563
} thread_local sygus;
1564
extern struct sygusActiveGenEnumConsts__option_t
1565
{
1566
  typedef unsigned long type;
1567
  type operator()() const;
1568
  bool wasSetByUser() const;
1569
  void set(const type& v);
1570
  const char* getName() const;
1571
} thread_local sygusActiveGenEnumConsts;
1572
extern struct sygusActiveGenMode__option_t
1573
{
1574
  typedef SygusActiveGenMode type;
1575
  type operator()() const;
1576
  bool wasSetByUser() const;
1577
  const char* getName() const;
1578
} thread_local sygusActiveGenMode;
1579
extern struct sygusAddConstGrammar__option_t
1580
{
1581
  typedef bool type;
1582
  type operator()() const;
1583
  bool wasSetByUser() const;
1584
  const char* getName() const;
1585
} thread_local sygusAddConstGrammar;
1586
extern struct sygusArgRelevant__option_t
1587
{
1588
  typedef bool type;
1589
  type operator()() const;
1590
  bool wasSetByUser() const;
1591
  void set(const type& v);
1592
  const char* getName() const;
1593
} thread_local sygusArgRelevant;
1594
extern struct sygusInvAutoUnfold__option_t
1595
{
1596
  typedef bool type;
1597
  type operator()() const;
1598
  bool wasSetByUser() const;
1599
  const char* getName() const;
1600
} thread_local sygusInvAutoUnfold;
1601
extern struct sygusBoolIteReturnConst__option_t
1602
{
1603
  typedef bool type;
1604
  type operator()() const;
1605
  bool wasSetByUser() const;
1606
  void set(const type& v);
1607
  const char* getName() const;
1608
} thread_local sygusBoolIteReturnConst;
1609
extern struct sygusCoreConnective__option_t
1610
{
1611
  typedef bool type;
1612
  type operator()() const;
1613
  bool wasSetByUser() const;
1614
  void set(const type& v);
1615
  const char* getName() const;
1616
} thread_local sygusCoreConnective;
1617
extern struct sygusConstRepairAbort__option_t
1618
{
1619
  typedef bool type;
1620
  type operator()() const;
1621
  bool wasSetByUser() const;
1622
  const char* getName() const;
1623
} thread_local sygusConstRepairAbort;
1624
extern struct sygusEvalOpt__option_t
1625
{
1626
  typedef bool type;
1627
  type operator()() const;
1628
  bool wasSetByUser() const;
1629
  void set(const type& v);
1630
  const char* getName() const;
1631
} thread_local sygusEvalOpt;
1632
extern struct sygusEvalUnfold__option_t
1633
{
1634
  typedef bool type;
1635
  type operator()() const;
1636
  bool wasSetByUser() const;
1637
  const char* getName() const;
1638
} thread_local sygusEvalUnfold;
1639
extern struct sygusEvalUnfoldBool__option_t
1640
{
1641
  typedef bool type;
1642
  type operator()() const;
1643
  bool wasSetByUser() const;
1644
  const char* getName() const;
1645
} thread_local sygusEvalUnfoldBool;
1646
extern struct sygusExprMinerCheckTimeout__option_t
1647
{
1648
  typedef unsigned long type;
1649
  type operator()() const;
1650
  bool wasSetByUser() const;
1651
  void set(const type& v);
1652
  const char* getName() const;
1653
} thread_local sygusExprMinerCheckTimeout;
1654
extern struct sygusExtRew__option_t
1655
{
1656
  typedef bool type;
1657
  type operator()() const;
1658
  bool wasSetByUser() const;
1659
  void set(const type& v);
1660
  const char* getName() const;
1661
} thread_local sygusExtRew;
1662
extern struct sygusFilterSolRevSubsume__option_t
1663
{
1664
  typedef bool type;
1665
  type operator()() const;
1666
  bool wasSetByUser() const;
1667
  void set(const type& v);
1668
  const char* getName() const;
1669
} thread_local sygusFilterSolRevSubsume;
1670
extern struct sygusFilterSolMode__option_t
1671
{
1672
  typedef SygusFilterSolMode type;
1673
  type operator()() const;
1674
  bool wasSetByUser() const;
1675
  void set(const type& v);
1676
  const char* getName() const;
1677
} thread_local sygusFilterSolMode;
1678
extern struct sygusGrammarConsMode__option_t
1679
{
1680
  typedef SygusGrammarConsMode type;
1681
  type operator()() const;
1682
  bool wasSetByUser() const;
1683
  void set(const type& v);
1684
  const char* getName() const;
1685
} thread_local sygusGrammarConsMode;
1686
extern struct sygusGrammarNorm__option_t
1687
{
1688
  typedef bool type;
1689
  type operator()() const;
1690
  bool wasSetByUser() const;
1691
  const char* getName() const;
1692
} thread_local sygusGrammarNorm;
1693
extern struct sygusInference__option_t
1694
{
1695
  typedef bool type;
1696
  type operator()() const;
1697
  bool wasSetByUser() const;
1698
  void set(const type& v);
1699
  const char* getName() const;
1700
} thread_local sygusInference;
1701
extern struct sygusInst__option_t
1702
{
1703
  typedef bool type;
1704
  type operator()() const;
1705
  bool wasSetByUser() const;
1706
  void set(const type& v);
1707
  const char* getName() const;
1708
} thread_local sygusInst;
1709
extern struct sygusInstMode__option_t
1710
{
1711
  typedef SygusInstMode type;
1712
  type operator()() const;
1713
  bool wasSetByUser() const;
1714
  void set(const type& v);
1715
  const char* getName() const;
1716
} thread_local sygusInstMode;
1717
extern struct sygusInstScope__option_t
1718
{
1719
  typedef SygusInstScope type;
1720
  type operator()() const;
1721
  bool wasSetByUser() const;
1722
  void set(const type& v);
1723
  const char* getName() const;
1724
} thread_local sygusInstScope;
1725
extern struct sygusInstTermSel__option_t
1726
{
1727
  typedef SygusInstTermSelMode type;
1728
  type operator()() const;
1729
  bool wasSetByUser() const;
1730
  void set(const type& v);
1731
  const char* getName() const;
1732
} thread_local sygusInstTermSel;
1733
extern struct sygusInvTemplWhenSyntax__option_t
1734
{
1735
  typedef bool type;
1736
  type operator()() const;
1737
  bool wasSetByUser() const;
1738
  void set(const type& v);
1739
  const char* getName() const;
1740
} thread_local sygusInvTemplWhenSyntax;
1741
extern struct sygusInvTemplMode__option_t
1742
{
1743
  typedef SygusInvTemplMode type;
1744
  type operator()() const;
1745
  bool wasSetByUser() const;
1746
  void set(const type& v);
1747
  const char* getName() const;
1748
} thread_local sygusInvTemplMode;
1749
extern struct sygusMinGrammar__option_t
1750
{
1751
  typedef bool type;
1752
  type operator()() const;
1753
  bool wasSetByUser() const;
1754
  const char* getName() const;
1755
} thread_local sygusMinGrammar;
1756
extern struct sygusUnifPbe__option_t
1757
{
1758
  typedef bool type;
1759
  type operator()() const;
1760
  bool wasSetByUser() const;
1761
  void set(const type& v);
1762
  const char* getName() const;
1763
} thread_local sygusUnifPbe;
1764
extern struct sygusPbeMultiFair__option_t
1765
{
1766
  typedef bool type;
1767
  type operator()() const;
1768
  bool wasSetByUser() const;
1769
  void set(const type& v);
1770
  const char* getName() const;
1771
} thread_local sygusPbeMultiFair;
1772
extern struct sygusPbeMultiFairDiff__option_t
1773
{
1774
  typedef int type;
1775
  type operator()() const;
1776
  bool wasSetByUser() const;
1777
  void set(const type& v);
1778
  const char* getName() const;
1779
} thread_local sygusPbeMultiFairDiff;
1780
extern struct sygusQePreproc__option_t
1781
{
1782
  typedef bool type;
1783
  type operator()() const;
1784
  bool wasSetByUser() const;
1785
  const char* getName() const;
1786
} thread_local sygusQePreproc;
1787
extern struct sygusQueryGen__option_t
1788
{
1789
  typedef bool type;
1790
  type operator()() const;
1791
  bool wasSetByUser() const;
1792
  void set(const type& v);
1793
  const char* getName() const;
1794
} thread_local sygusQueryGen;
1795
extern struct sygusQueryGenCheck__option_t
1796
{
1797
  typedef bool type;
1798
  type operator()() const;
1799
  bool wasSetByUser() const;
1800
  void set(const type& v);
1801
  const char* getName() const;
1802
} thread_local sygusQueryGenCheck;
1803
extern struct sygusQueryGenDumpFiles__option_t
1804
{
1805
  typedef SygusQueryDumpFilesMode type;
1806
  type operator()() const;
1807
  bool wasSetByUser() const;
1808
  void set(const type& v);
1809
  const char* getName() const;
1810
} thread_local sygusQueryGenDumpFiles;
1811
extern struct sygusQueryGenThresh__option_t
1812
{
1813
  typedef unsigned type;
1814
  type operator()() const;
1815
  bool wasSetByUser() const;
1816
  void set(const type& v);
1817
  const char* getName() const;
1818
} thread_local sygusQueryGenThresh;
1819
extern struct sygusRecFun__option_t
1820
{
1821
  typedef bool type;
1822
  type operator()() const;
1823
  bool wasSetByUser() const;
1824
  void set(const type& v);
1825
  const char* getName() const;
1826
} thread_local sygusRecFun;
1827
extern struct sygusRecFunEvalLimit__option_t
1828
{
1829
  typedef unsigned type;
1830
  type operator()() const;
1831
  bool wasSetByUser() const;
1832
  void set(const type& v);
1833
  const char* getName() const;
1834
} thread_local sygusRecFunEvalLimit;
1835
extern struct sygusRepairConst__option_t
1836
{
1837
  typedef bool type;
1838
  type operator()() const;
1839
  bool wasSetByUser() const;
1840
  void set(const type& v);
1841
  const char* getName() const;
1842
} thread_local sygusRepairConst;
1843
extern struct sygusRepairConstTimeout__option_t
1844
{
1845
  typedef unsigned long type;
1846
  type operator()() const;
1847
  bool wasSetByUser() const;
1848
  void set(const type& v);
1849
  const char* getName() const;
1850
} thread_local sygusRepairConstTimeout;
1851
extern struct sygusRew__option_t
1852
{
1853
  typedef bool type;
1854
  type operator()() const;
1855
  bool wasSetByUser() const;
1856
  const char* getName() const;
1857
} thread_local sygusRew;
1858
extern struct sygusRewSynth__option_t
1859
{
1860
  typedef bool type;
1861
  type operator()() const;
1862
  bool wasSetByUser() const;
1863
  void set(const type& v);
1864
  const char* getName() const;
1865
} thread_local sygusRewSynth;
1866
extern struct sygusRewSynthAccel__option_t
1867
{
1868
  typedef bool type;
1869
  type operator()() const;
1870
  bool wasSetByUser() const;
1871
  void set(const type& v);
1872
  const char* getName() const;
1873
} thread_local sygusRewSynthAccel;
1874
extern struct sygusRewSynthCheck__option_t
1875
{
1876
  typedef bool type;
1877
  type operator()() const;
1878
  bool wasSetByUser() const;
1879
  void set(const type& v);
1880
  const char* getName() const;
1881
} thread_local sygusRewSynthCheck;
1882
extern struct sygusRewSynthFilterCong__option_t
1883
{
1884
  typedef bool type;
1885
  type operator()() const;
1886
  bool wasSetByUser() const;
1887
  void set(const type& v);
1888
  const char* getName() const;
1889
} thread_local sygusRewSynthFilterCong;
1890
extern struct sygusRewSynthFilterMatch__option_t
1891
{
1892
  typedef bool type;
1893
  type operator()() const;
1894
  bool wasSetByUser() const;
1895
  void set(const type& v);
1896
  const char* getName() const;
1897
} thread_local sygusRewSynthFilterMatch;
1898
extern struct sygusRewSynthFilterNonLinear__option_t
1899
{
1900
  typedef bool type;
1901
  type operator()() const;
1902
  bool wasSetByUser() const;
1903
  void set(const type& v);
1904
  const char* getName() const;
1905
} thread_local sygusRewSynthFilterNonLinear;
1906
extern struct sygusRewSynthFilterOrder__option_t
1907
{
1908
  typedef bool type;
1909
  type operator()() const;
1910
  bool wasSetByUser() const;
1911
  void set(const type& v);
1912
  const char* getName() const;
1913
} thread_local sygusRewSynthFilterOrder;
1914
extern struct sygusRewSynthInput__option_t
1915
{
1916
  typedef bool type;
1917
  type operator()() const;
1918
  bool wasSetByUser() const;
1919
  void set(const type& v);
1920
  const char* getName() const;
1921
} thread_local sygusRewSynthInput;
1922
extern struct sygusRewSynthInputNVars__option_t
1923
{
1924
  typedef int type;
1925
  type operator()() const;
1926
  bool wasSetByUser() const;
1927
  void set(const type& v);
1928
  const char* getName() const;
1929
} thread_local sygusRewSynthInputNVars;
1930
extern struct sygusRewSynthInputUseBool__option_t
1931
{
1932
  typedef bool type;
1933
  type operator()() const;
1934
  bool wasSetByUser() const;
1935
  void set(const type& v);
1936
  const char* getName() const;
1937
} thread_local sygusRewSynthInputUseBool;
1938
extern struct sygusRewSynthRec__option_t
1939
{
1940
  typedef bool type;
1941
  type operator()() const;
1942
  bool wasSetByUser() const;
1943
  void set(const type& v);
1944
  const char* getName() const;
1945
} thread_local sygusRewSynthRec;
1946
extern struct sygusRewVerify__option_t
1947
{
1948
  typedef bool type;
1949
  type operator()() const;
1950
  bool wasSetByUser() const;
1951
  void set(const type& v);
1952
  const char* getName() const;
1953
} thread_local sygusRewVerify;
1954
extern struct sygusRewVerifyAbort__option_t
1955
{
1956
  typedef bool type;
1957
  type operator()() const;
1958
  bool wasSetByUser() const;
1959
  void set(const type& v);
1960
  const char* getName() const;
1961
} thread_local sygusRewVerifyAbort;
1962
extern struct sygusSampleFpUniform__option_t
1963
{
1964
  typedef bool type;
1965
  type operator()() const;
1966
  bool wasSetByUser() const;
1967
  void set(const type& v);
1968
  const char* getName() const;
1969
} thread_local sygusSampleFpUniform;
1970
extern struct sygusSampleGrammar__option_t
1971
{
1972
  typedef bool type;
1973
  type operator()() const;
1974
  bool wasSetByUser() const;
1975
  const char* getName() const;
1976
} thread_local sygusSampleGrammar;
1977
extern struct sygusSamples__option_t
1978
{
1979
  typedef int type;
1980
  type operator()() const;
1981
  bool wasSetByUser() const;
1982
  void set(const type& v);
1983
  const char* getName() const;
1984
} thread_local sygusSamples;
1985
extern struct cegqiSingleInvAbort__option_t
1986
{
1987
  typedef bool type;
1988
  type operator()() const;
1989
  bool wasSetByUser() const;
1990
  const char* getName() const;
1991
} thread_local cegqiSingleInvAbort;
1992
extern struct cegqiSingleInvPartial__option_t
1993
{
1994
  typedef bool type;
1995
  type operator()() const;
1996
  bool wasSetByUser() const;
1997
  const char* getName() const;
1998
} thread_local cegqiSingleInvPartial;
1999
extern struct cegqiSingleInvReconstructLimit__option_t
2000
{
2001
  typedef int type;
2002
  type operator()() const;
2003
  bool wasSetByUser() const;
2004
  const char* getName() const;
2005
} thread_local cegqiSingleInvReconstructLimit;
2006
extern struct cegqiSingleInvReconstruct__option_t
2007
{
2008
  typedef CegqiSingleInvRconsMode type;
2009
  type operator()() const;
2010
  bool wasSetByUser() const;
2011
  void set(const type& v);
2012
  const char* getName() const;
2013
} thread_local cegqiSingleInvReconstruct;
2014
extern struct cegqiSingleInvReconstructConst__option_t
2015
{
2016
  typedef bool type;
2017
  type operator()() const;
2018
  bool wasSetByUser() const;
2019
  const char* getName() const;
2020
} thread_local cegqiSingleInvReconstructConst;
2021
extern struct cegqiSingleInvMode__option_t
2022
{
2023
  typedef CegqiSingleInvMode type;
2024
  type operator()() const;
2025
  bool wasSetByUser() const;
2026
  void set(const type& v);
2027
  const char* getName() const;
2028
} thread_local cegqiSingleInvMode;
2029
extern struct sygusStream__option_t
2030
{
2031
  typedef bool type;
2032
  type operator()() const;
2033
  bool wasSetByUser() const;
2034
  void set(const type& v);
2035
  const char* getName() const;
2036
} thread_local sygusStream;
2037
extern struct sygusTemplEmbedGrammar__option_t
2038
{
2039
  typedef bool type;
2040
  type operator()() const;
2041
  bool wasSetByUser() const;
2042
  const char* getName() const;
2043
} thread_local sygusTemplEmbedGrammar;
2044
extern struct sygusUnifCondIndNoRepeatSol__option_t
2045
{
2046
  typedef bool type;
2047
  type operator()() const;
2048
  bool wasSetByUser() const;
2049
  void set(const type& v);
2050
  const char* getName() const;
2051
} thread_local sygusUnifCondIndNoRepeatSol;
2052
extern struct sygusUnifPi__option_t
2053
{
2054
  typedef SygusUnifPiMode type;
2055
  type operator()() const;
2056
  bool wasSetByUser() const;
2057
  void set(const type& v);
2058
  const char* getName() const;
2059
} thread_local sygusUnifPi;
2060
extern struct sygusUnifShuffleCond__option_t
2061
{
2062
  typedef bool type;
2063
  type operator()() const;
2064
  bool wasSetByUser() const;
2065
  void set(const type& v);
2066
  const char* getName() const;
2067
} thread_local sygusUnifShuffleCond;
2068
extern struct termDbCd__option_t
2069
{
2070
  typedef bool type;
2071
  type operator()() const;
2072
  bool wasSetByUser() const;
2073
  void set(const type& v);
2074
  const char* getName() const;
2075
} thread_local termDbCd;
2076
extern struct termDbMode__option_t
2077
{
2078
  typedef TermDbMode type;
2079
  type operator()() const;
2080
  bool wasSetByUser() const;
2081
  void set(const type& v);
2082
  const char* getName() const;
2083
} thread_local termDbMode;
2084
extern struct triggerActiveSelMode__option_t
2085
{
2086
  typedef TriggerActiveSelMode type;
2087
  type operator()() const;
2088
  bool wasSetByUser() const;
2089
  void set(const type& v);
2090
  const char* getName() const;
2091
} thread_local triggerActiveSelMode;
2092
extern struct triggerSelMode__option_t
2093
{
2094
  typedef TriggerSelMode type;
2095
  type operator()() const;
2096
  bool wasSetByUser() const;
2097
  void set(const type& v);
2098
  const char* getName() const;
2099
} thread_local triggerSelMode;
2100
extern struct userPatternsQuant__option_t
2101
{
2102
  typedef UserPatMode type;
2103
  type operator()() const;
2104
  bool wasSetByUser() const;
2105
  void set(const type& v);
2106
  const char* getName() const;
2107
} thread_local userPatternsQuant;
2108
extern struct varElimQuant__option_t
2109
{
2110
  typedef bool type;
2111
  type operator()() const;
2112
  bool wasSetByUser() const;
2113
  const char* getName() const;
2114
} thread_local varElimQuant;
2115
extern struct varIneqElimQuant__option_t
2116
{
2117
  typedef bool type;
2118
  type operator()() const;
2119
  bool wasSetByUser() const;
2120
  const char* getName() const;
2121
} thread_local varIneqElimQuant;
2122
2123
}  // namespace options
2124
2125
template <> const options::aggressiveMiniscopeQuant__option_t::type& Options::operator[](
2126
    options::aggressiveMiniscopeQuant__option_t) const;
2127
template <> bool Options::wasSetByUser(options::aggressiveMiniscopeQuant__option_t) const;
2128
template <> void Options::assignBool(
2129
    options::aggressiveMiniscopeQuant__option_t,
2130
    std::string option,
2131
    bool value);
2132
template <> void Options::set(
2133
    options::cegisSample__option_t,
2134
    const options::cegisSample__option_t::type& x);
2135
template <> const options::cegisSample__option_t::type& Options::operator[](
2136
    options::cegisSample__option_t) const;
2137
template <> bool Options::wasSetByUser(options::cegisSample__option_t) const;
2138
template <> void Options::assign(
2139
    options::cegisSample__option_t,
2140
    std::string option,
2141
    std::string value);
2142
template <> void Options::set(
2143
    options::cegqi__option_t,
2144
    const options::cegqi__option_t::type& x);
2145
template <> const options::cegqi__option_t::type& Options::operator[](
2146
    options::cegqi__option_t) const;
2147
template <> bool Options::wasSetByUser(options::cegqi__option_t) const;
2148
template <> void Options::assignBool(
2149
    options::cegqi__option_t,
2150
    std::string option,
2151
    bool value);
2152
template <> void Options::set(
2153
    options::cegqiAll__option_t,
2154
    const options::cegqiAll__option_t::type& x);
2155
template <> const options::cegqiAll__option_t::type& Options::operator[](
2156
    options::cegqiAll__option_t) const;
2157
template <> bool Options::wasSetByUser(options::cegqiAll__option_t) const;
2158
template <> void Options::assignBool(
2159
    options::cegqiAll__option_t,
2160
    std::string option,
2161
    bool value);
2162
template <> void Options::set(
2163
    options::cegqiBv__option_t,
2164
    const options::cegqiBv__option_t::type& x);
2165
template <> const options::cegqiBv__option_t::type& Options::operator[](
2166
    options::cegqiBv__option_t) const;
2167
template <> bool Options::wasSetByUser(options::cegqiBv__option_t) const;
2168
template <> void Options::assignBool(
2169
    options::cegqiBv__option_t,
2170
    std::string option,
2171
    bool value);
2172
template <> void Options::set(
2173
    options::cegqiBvConcInv__option_t,
2174
    const options::cegqiBvConcInv__option_t::type& x);
2175
template <> const options::cegqiBvConcInv__option_t::type& Options::operator[](
2176
    options::cegqiBvConcInv__option_t) const;
2177
template <> bool Options::wasSetByUser(options::cegqiBvConcInv__option_t) const;
2178
template <> void Options::assignBool(
2179
    options::cegqiBvConcInv__option_t,
2180
    std::string option,
2181
    bool value);
2182
template <> void Options::set(
2183
    options::cegqiBvIneqMode__option_t,
2184
    const options::cegqiBvIneqMode__option_t::type& x);
2185
template <> const options::cegqiBvIneqMode__option_t::type& Options::operator[](
2186
    options::cegqiBvIneqMode__option_t) const;
2187
template <> bool Options::wasSetByUser(options::cegqiBvIneqMode__option_t) const;
2188
template <> void Options::assign(
2189
    options::cegqiBvIneqMode__option_t,
2190
    std::string option,
2191
    std::string value);
2192
template <> void Options::set(
2193
    options::cegqiBvInterleaveValue__option_t,
2194
    const options::cegqiBvInterleaveValue__option_t::type& x);
2195
template <> const options::cegqiBvInterleaveValue__option_t::type& Options::operator[](
2196
    options::cegqiBvInterleaveValue__option_t) const;
2197
template <> bool Options::wasSetByUser(options::cegqiBvInterleaveValue__option_t) const;
2198
template <> void Options::assignBool(
2199
    options::cegqiBvInterleaveValue__option_t,
2200
    std::string option,
2201
    bool value);
2202
template <> void Options::set(
2203
    options::cegqiBvLinearize__option_t,
2204
    const options::cegqiBvLinearize__option_t::type& x);
2205
template <> const options::cegqiBvLinearize__option_t::type& Options::operator[](
2206
    options::cegqiBvLinearize__option_t) const;
2207
template <> bool Options::wasSetByUser(options::cegqiBvLinearize__option_t) const;
2208
template <> void Options::assignBool(
2209
    options::cegqiBvLinearize__option_t,
2210
    std::string option,
2211
    bool value);
2212
template <> void Options::set(
2213
    options::cegqiBvRmExtract__option_t,
2214
    const options::cegqiBvRmExtract__option_t::type& x);
2215
template <> const options::cegqiBvRmExtract__option_t::type& Options::operator[](
2216
    options::cegqiBvRmExtract__option_t) const;
2217
template <> bool Options::wasSetByUser(options::cegqiBvRmExtract__option_t) const;
2218
template <> void Options::assignBool(
2219
    options::cegqiBvRmExtract__option_t,
2220
    std::string option,
2221
    bool value);
2222
template <> void Options::set(
2223
    options::cegqiBvSolveNl__option_t,
2224
    const options::cegqiBvSolveNl__option_t::type& x);
2225
template <> const options::cegqiBvSolveNl__option_t::type& Options::operator[](
2226
    options::cegqiBvSolveNl__option_t) const;
2227
template <> bool Options::wasSetByUser(options::cegqiBvSolveNl__option_t) const;
2228
template <> void Options::assignBool(
2229
    options::cegqiBvSolveNl__option_t,
2230
    std::string option,
2231
    bool value);
2232
template <> void Options::set(
2233
    options::cegqiFullEffort__option_t,
2234
    const options::cegqiFullEffort__option_t::type& x);
2235
template <> const options::cegqiFullEffort__option_t::type& Options::operator[](
2236
    options::cegqiFullEffort__option_t) const;
2237
template <> bool Options::wasSetByUser(options::cegqiFullEffort__option_t) const;
2238
template <> void Options::assignBool(
2239
    options::cegqiFullEffort__option_t,
2240
    std::string option,
2241
    bool value);
2242
template <> void Options::set(
2243
    options::cegqiInnermost__option_t,
2244
    const options::cegqiInnermost__option_t::type& x);
2245
template <> const options::cegqiInnermost__option_t::type& Options::operator[](
2246
    options::cegqiInnermost__option_t) const;
2247
template <> bool Options::wasSetByUser(options::cegqiInnermost__option_t) const;
2248
template <> void Options::assignBool(
2249
    options::cegqiInnermost__option_t,
2250
    std::string option,
2251
    bool value);
2252
template <> void Options::set(
2253
    options::cegqiMidpoint__option_t,
2254
    const options::cegqiMidpoint__option_t::type& x);
2255
template <> const options::cegqiMidpoint__option_t::type& Options::operator[](
2256
    options::cegqiMidpoint__option_t) const;
2257
template <> bool Options::wasSetByUser(options::cegqiMidpoint__option_t) const;
2258
template <> void Options::assignBool(
2259
    options::cegqiMidpoint__option_t,
2260
    std::string option,
2261
    bool value);
2262
template <> const options::cegqiMinBounds__option_t::type& Options::operator[](
2263
    options::cegqiMinBounds__option_t) const;
2264
template <> bool Options::wasSetByUser(options::cegqiMinBounds__option_t) const;
2265
template <> void Options::assignBool(
2266
    options::cegqiMinBounds__option_t,
2267
    std::string option,
2268
    bool value);
2269
template <> void Options::set(
2270
    options::cegqiModel__option_t,
2271
    const options::cegqiModel__option_t::type& x);
2272
template <> const options::cegqiModel__option_t::type& Options::operator[](
2273
    options::cegqiModel__option_t) const;
2274
template <> bool Options::wasSetByUser(options::cegqiModel__option_t) const;
2275
template <> void Options::assignBool(
2276
    options::cegqiModel__option_t,
2277
    std::string option,
2278
    bool value);
2279
template <> void Options::set(
2280
    options::cegqiMultiInst__option_t,
2281
    const options::cegqiMultiInst__option_t::type& x);
2282
template <> const options::cegqiMultiInst__option_t::type& Options::operator[](
2283
    options::cegqiMultiInst__option_t) const;
2284
template <> bool Options::wasSetByUser(options::cegqiMultiInst__option_t) const;
2285
template <> void Options::assignBool(
2286
    options::cegqiMultiInst__option_t,
2287
    std::string option,
2288
    bool value);
2289
template <> void Options::set(
2290
    options::cegqiNestedQE__option_t,
2291
    const options::cegqiNestedQE__option_t::type& x);
2292
template <> const options::cegqiNestedQE__option_t::type& Options::operator[](
2293
    options::cegqiNestedQE__option_t) const;
2294
template <> bool Options::wasSetByUser(options::cegqiNestedQE__option_t) const;
2295
template <> void Options::assignBool(
2296
    options::cegqiNestedQE__option_t,
2297
    std::string option,
2298
    bool value);
2299
template <> const options::cegqiNopt__option_t::type& Options::operator[](
2300
    options::cegqiNopt__option_t) const;
2301
template <> bool Options::wasSetByUser(options::cegqiNopt__option_t) const;
2302
template <> void Options::assignBool(
2303
    options::cegqiNopt__option_t,
2304
    std::string option,
2305
    bool value);
2306
template <> void Options::set(
2307
    options::cegqiRepeatLit__option_t,
2308
    const options::cegqiRepeatLit__option_t::type& x);
2309
template <> const options::cegqiRepeatLit__option_t::type& Options::operator[](
2310
    options::cegqiRepeatLit__option_t) const;
2311
template <> bool Options::wasSetByUser(options::cegqiRepeatLit__option_t) const;
2312
template <> void Options::assignBool(
2313
    options::cegqiRepeatLit__option_t,
2314
    std::string option,
2315
    bool value);
2316
template <> const options::cegqiRoundUpLowerLia__option_t::type& Options::operator[](
2317
    options::cegqiRoundUpLowerLia__option_t) const;
2318
template <> bool Options::wasSetByUser(options::cegqiRoundUpLowerLia__option_t) const;
2319
template <> void Options::assignBool(
2320
    options::cegqiRoundUpLowerLia__option_t,
2321
    std::string option,
2322
    bool value);
2323
template <> void Options::set(
2324
    options::cegqiSat__option_t,
2325
    const options::cegqiSat__option_t::type& x);
2326
template <> const options::cegqiSat__option_t::type& Options::operator[](
2327
    options::cegqiSat__option_t) const;
2328
template <> bool Options::wasSetByUser(options::cegqiSat__option_t) const;
2329
template <> void Options::assignBool(
2330
    options::cegqiSat__option_t,
2331
    std::string option,
2332
    bool value);
2333
template <> void Options::set(
2334
    options::cegqiUseInfInt__option_t,
2335
    const options::cegqiUseInfInt__option_t::type& x);
2336
template <> const options::cegqiUseInfInt__option_t::type& Options::operator[](
2337
    options::cegqiUseInfInt__option_t) const;
2338
template <> bool Options::wasSetByUser(options::cegqiUseInfInt__option_t) const;
2339
template <> void Options::assignBool(
2340
    options::cegqiUseInfInt__option_t,
2341
    std::string option,
2342
    bool value);
2343
template <> void Options::set(
2344
    options::cegqiUseInfReal__option_t,
2345
    const options::cegqiUseInfReal__option_t::type& x);
2346
template <> const options::cegqiUseInfReal__option_t::type& Options::operator[](
2347
    options::cegqiUseInfReal__option_t) const;
2348
template <> bool Options::wasSetByUser(options::cegqiUseInfReal__option_t) const;
2349
template <> void Options::assignBool(
2350
    options::cegqiUseInfReal__option_t,
2351
    std::string option,
2352
    bool value);
2353
template <> const options::condVarSplitQuantAgg__option_t::type& Options::operator[](
2354
    options::condVarSplitQuantAgg__option_t) const;
2355
template <> bool Options::wasSetByUser(options::condVarSplitQuantAgg__option_t) const;
2356
template <> void Options::assignBool(
2357
    options::condVarSplitQuantAgg__option_t,
2358
    std::string option,
2359
    bool value);
2360
template <> const options::condVarSplitQuant__option_t::type& Options::operator[](
2361
    options::condVarSplitQuant__option_t) const;
2362
template <> bool Options::wasSetByUser(options::condVarSplitQuant__option_t) const;
2363
template <> void Options::assignBool(
2364
    options::condVarSplitQuant__option_t,
2365
    std::string option,
2366
    bool value);
2367
template <> void Options::set(
2368
    options::conjectureFilterActiveTerms__option_t,
2369
    const options::conjectureFilterActiveTerms__option_t::type& x);
2370
template <> const options::conjectureFilterActiveTerms__option_t::type& Options::operator[](
2371
    options::conjectureFilterActiveTerms__option_t) const;
2372
template <> bool Options::wasSetByUser(options::conjectureFilterActiveTerms__option_t) const;
2373
template <> void Options::assignBool(
2374
    options::conjectureFilterActiveTerms__option_t,
2375
    std::string option,
2376
    bool value);
2377
template <> void Options::set(
2378
    options::conjectureFilterCanonical__option_t,
2379
    const options::conjectureFilterCanonical__option_t::type& x);
2380
template <> const options::conjectureFilterCanonical__option_t::type& Options::operator[](
2381
    options::conjectureFilterCanonical__option_t) const;
2382
template <> bool Options::wasSetByUser(options::conjectureFilterCanonical__option_t) const;
2383
template <> void Options::assignBool(
2384
    options::conjectureFilterCanonical__option_t,
2385
    std::string option,
2386
    bool value);
2387
template <> void Options::set(
2388
    options::conjectureFilterModel__option_t,
2389
    const options::conjectureFilterModel__option_t::type& x);
2390
template <> const options::conjectureFilterModel__option_t::type& Options::operator[](
2391
    options::conjectureFilterModel__option_t) const;
2392
template <> bool Options::wasSetByUser(options::conjectureFilterModel__option_t) const;
2393
template <> void Options::assignBool(
2394
    options::conjectureFilterModel__option_t,
2395
    std::string option,
2396
    bool value);
2397
template <> void Options::set(
2398
    options::conjectureGen__option_t,
2399
    const options::conjectureGen__option_t::type& x);
2400
template <> const options::conjectureGen__option_t::type& Options::operator[](
2401
    options::conjectureGen__option_t) const;
2402
template <> bool Options::wasSetByUser(options::conjectureGen__option_t) const;
2403
template <> void Options::assignBool(
2404
    options::conjectureGen__option_t,
2405
    std::string option,
2406
    bool value);
2407
template <> const options::conjectureGenGtEnum__option_t::type& Options::operator[](
2408
    options::conjectureGenGtEnum__option_t) const;
2409
template <> bool Options::wasSetByUser(options::conjectureGenGtEnum__option_t) const;
2410
template <> void Options::assign(
2411
    options::conjectureGenGtEnum__option_t,
2412
    std::string option,
2413
    std::string value);
2414
template <> const options::conjectureGenMaxDepth__option_t::type& Options::operator[](
2415
    options::conjectureGenMaxDepth__option_t) const;
2416
template <> bool Options::wasSetByUser(options::conjectureGenMaxDepth__option_t) const;
2417
template <> void Options::assign(
2418
    options::conjectureGenMaxDepth__option_t,
2419
    std::string option,
2420
    std::string value);
2421
template <> const options::conjectureGenPerRound__option_t::type& Options::operator[](
2422
    options::conjectureGenPerRound__option_t) const;
2423
template <> bool Options::wasSetByUser(options::conjectureGenPerRound__option_t) const;
2424
template <> void Options::assign(
2425
    options::conjectureGenPerRound__option_t,
2426
    std::string option,
2427
    std::string value);
2428
template <> const options::conjectureUeeIntro__option_t::type& Options::operator[](
2429
    options::conjectureUeeIntro__option_t) const;
2430
template <> bool Options::wasSetByUser(options::conjectureUeeIntro__option_t) const;
2431
template <> void Options::assignBool(
2432
    options::conjectureUeeIntro__option_t,
2433
    std::string option,
2434
    bool value);
2435
template <> const options::conjectureNoFilter__option_t::type& Options::operator[](
2436
    options::conjectureNoFilter__option_t) const;
2437
template <> bool Options::wasSetByUser(options::conjectureNoFilter__option_t) const;
2438
template <> void Options::assignBool(
2439
    options::conjectureNoFilter__option_t,
2440
    std::string option,
2441
    bool value);
2442
template <> void Options::set(
2443
    options::debugInst__option_t,
2444
    const options::debugInst__option_t::type& x);
2445
template <> const options::debugInst__option_t::type& Options::operator[](
2446
    options::debugInst__option_t) const;
2447
template <> bool Options::wasSetByUser(options::debugInst__option_t) const;
2448
template <> void Options::assignBool(
2449
    options::debugInst__option_t,
2450
    std::string option,
2451
    bool value);
2452
template <> void Options::set(
2453
    options::debugSygus__option_t,
2454
    const options::debugSygus__option_t::type& x);
2455
template <> const options::debugSygus__option_t::type& Options::operator[](
2456
    options::debugSygus__option_t) const;
2457
template <> bool Options::wasSetByUser(options::debugSygus__option_t) const;
2458
template <> void Options::assignBool(
2459
    options::debugSygus__option_t,
2460
    std::string option,
2461
    bool value);
2462
template <> void Options::set(
2463
    options::dtStcInduction__option_t,
2464
    const options::dtStcInduction__option_t::type& x);
2465
template <> const options::dtStcInduction__option_t::type& Options::operator[](
2466
    options::dtStcInduction__option_t) const;
2467
template <> bool Options::wasSetByUser(options::dtStcInduction__option_t) const;
2468
template <> void Options::assignBool(
2469
    options::dtStcInduction__option_t,
2470
    std::string option,
2471
    bool value);
2472
template <> const options::dtVarExpandQuant__option_t::type& Options::operator[](
2473
    options::dtVarExpandQuant__option_t) const;
2474
template <> bool Options::wasSetByUser(options::dtVarExpandQuant__option_t) const;
2475
template <> void Options::assignBool(
2476
    options::dtVarExpandQuant__option_t,
2477
    std::string option,
2478
    bool value);
2479
template <> void Options::set(
2480
    options::eMatching__option_t,
2481
    const options::eMatching__option_t::type& x);
2482
template <> const options::eMatching__option_t::type& Options::operator[](
2483
    options::eMatching__option_t) const;
2484
template <> bool Options::wasSetByUser(options::eMatching__option_t) const;
2485
template <> void Options::assignBool(
2486
    options::eMatching__option_t,
2487
    std::string option,
2488
    bool value);
2489
template <> const options::elimTautQuant__option_t::type& Options::operator[](
2490
    options::elimTautQuant__option_t) const;
2491
template <> bool Options::wasSetByUser(options::elimTautQuant__option_t) const;
2492
template <> void Options::assignBool(
2493
    options::elimTautQuant__option_t,
2494
    std::string option,
2495
    bool value);
2496
template <> const options::extRewriteQuant__option_t::type& Options::operator[](
2497
    options::extRewriteQuant__option_t) const;
2498
template <> bool Options::wasSetByUser(options::extRewriteQuant__option_t) const;
2499
template <> void Options::assignBool(
2500
    options::extRewriteQuant__option_t,
2501
    std::string option,
2502
    bool value);
2503
template <> void Options::set(
2504
    options::finiteModelFind__option_t,
2505
    const options::finiteModelFind__option_t::type& x);
2506
template <> const options::finiteModelFind__option_t::type& Options::operator[](
2507
    options::finiteModelFind__option_t) const;
2508
template <> bool Options::wasSetByUser(options::finiteModelFind__option_t) const;
2509
template <> void Options::assignBool(
2510
    options::finiteModelFind__option_t,
2511
    std::string option,
2512
    bool value);
2513
template <> void Options::set(
2514
    options::fmfBound__option_t,
2515
    const options::fmfBound__option_t::type& x);
2516
template <> const options::fmfBound__option_t::type& Options::operator[](
2517
    options::fmfBound__option_t) const;
2518
template <> bool Options::wasSetByUser(options::fmfBound__option_t) const;
2519
template <> void Options::assignBool(
2520
    options::fmfBound__option_t,
2521
    std::string option,
2522
    bool value);
2523
template <> void Options::set(
2524
    options::fmfBoundInt__option_t,
2525
    const options::fmfBoundInt__option_t::type& x);
2526
template <> const options::fmfBoundInt__option_t::type& Options::operator[](
2527
    options::fmfBoundInt__option_t) const;
2528
template <> bool Options::wasSetByUser(options::fmfBoundInt__option_t) const;
2529
template <> void Options::assignBool(
2530
    options::fmfBoundInt__option_t,
2531
    std::string option,
2532
    bool value);
2533
template <> void Options::set(
2534
    options::fmfBoundLazy__option_t,
2535
    const options::fmfBoundLazy__option_t::type& x);
2536
template <> const options::fmfBoundLazy__option_t::type& Options::operator[](
2537
    options::fmfBoundLazy__option_t) const;
2538
template <> bool Options::wasSetByUser(options::fmfBoundLazy__option_t) const;
2539
template <> void Options::assignBool(
2540
    options::fmfBoundLazy__option_t,
2541
    std::string option,
2542
    bool value);
2543
template <> const options::fmfFmcSimple__option_t::type& Options::operator[](
2544
    options::fmfFmcSimple__option_t) const;
2545
template <> bool Options::wasSetByUser(options::fmfFmcSimple__option_t) const;
2546
template <> void Options::assignBool(
2547
    options::fmfFmcSimple__option_t,
2548
    std::string option,
2549
    bool value);
2550
template <> const options::fmfFreshDistConst__option_t::type& Options::operator[](
2551
    options::fmfFreshDistConst__option_t) const;
2552
template <> bool Options::wasSetByUser(options::fmfFreshDistConst__option_t) const;
2553
template <> void Options::assignBool(
2554
    options::fmfFreshDistConst__option_t,
2555
    std::string option,
2556
    bool value);
2557
template <> void Options::set(
2558
    options::fmfFunWellDefined__option_t,
2559
    const options::fmfFunWellDefined__option_t::type& x);
2560
template <> const options::fmfFunWellDefined__option_t::type& Options::operator[](
2561
    options::fmfFunWellDefined__option_t) const;
2562
template <> bool Options::wasSetByUser(options::fmfFunWellDefined__option_t) const;
2563
template <> void Options::assignBool(
2564
    options::fmfFunWellDefined__option_t,
2565
    std::string option,
2566
    bool value);
2567
template <> const options::fmfFunWellDefinedRelevant__option_t::type& Options::operator[](
2568
    options::fmfFunWellDefinedRelevant__option_t) const;
2569
template <> bool Options::wasSetByUser(options::fmfFunWellDefinedRelevant__option_t) const;
2570
template <> void Options::assignBool(
2571
    options::fmfFunWellDefinedRelevant__option_t,
2572
    std::string option,
2573
    bool value);
2574
template <> void Options::set(
2575
    options::fmfInstEngine__option_t,
2576
    const options::fmfInstEngine__option_t::type& x);
2577
template <> const options::fmfInstEngine__option_t::type& Options::operator[](
2578
    options::fmfInstEngine__option_t) const;
2579
template <> bool Options::wasSetByUser(options::fmfInstEngine__option_t) const;
2580
template <> void Options::assignBool(
2581
    options::fmfInstEngine__option_t,
2582
    std::string option,
2583
    bool value);
2584
template <> const options::fmfTypeCompletionThresh__option_t::type& Options::operator[](
2585
    options::fmfTypeCompletionThresh__option_t) const;
2586
template <> bool Options::wasSetByUser(options::fmfTypeCompletionThresh__option_t) const;
2587
template <> void Options::assign(
2588
    options::fmfTypeCompletionThresh__option_t,
2589
    std::string option,
2590
    std::string value);
2591
template <> const options::fullSaturateInterleave__option_t::type& Options::operator[](
2592
    options::fullSaturateInterleave__option_t) const;
2593
template <> bool Options::wasSetByUser(options::fullSaturateInterleave__option_t) const;
2594
template <> void Options::assignBool(
2595
    options::fullSaturateInterleave__option_t,
2596
    std::string option,
2597
    bool value);
2598
template <> const options::fullSaturateStratify__option_t::type& Options::operator[](
2599
    options::fullSaturateStratify__option_t) const;
2600
template <> bool Options::wasSetByUser(options::fullSaturateStratify__option_t) const;
2601
template <> void Options::assignBool(
2602
    options::fullSaturateStratify__option_t,
2603
    std::string option,
2604
    bool value);
2605
template <> const options::fullSaturateSum__option_t::type& Options::operator[](
2606
    options::fullSaturateSum__option_t) const;
2607
template <> bool Options::wasSetByUser(options::fullSaturateSum__option_t) const;
2608
template <> void Options::assignBool(
2609
    options::fullSaturateSum__option_t,
2610
    std::string option,
2611
    bool value);
2612
template <> void Options::set(
2613
    options::fullSaturateQuant__option_t,
2614
    const options::fullSaturateQuant__option_t::type& x);
2615
template <> const options::fullSaturateQuant__option_t::type& Options::operator[](
2616
    options::fullSaturateQuant__option_t) const;
2617
template <> bool Options::wasSetByUser(options::fullSaturateQuant__option_t) const;
2618
template <> void Options::assignBool(
2619
    options::fullSaturateQuant__option_t,
2620
    std::string option,
2621
    bool value);
2622
template <> const options::fullSaturateLimit__option_t::type& Options::operator[](
2623
    options::fullSaturateLimit__option_t) const;
2624
template <> bool Options::wasSetByUser(options::fullSaturateLimit__option_t) const;
2625
template <> void Options::assign(
2626
    options::fullSaturateLimit__option_t,
2627
    std::string option,
2628
    std::string value);
2629
template <> const options::fullSaturateQuantRd__option_t::type& Options::operator[](
2630
    options::fullSaturateQuantRd__option_t) const;
2631
template <> bool Options::wasSetByUser(options::fullSaturateQuantRd__option_t) const;
2632
template <> void Options::assignBool(
2633
    options::fullSaturateQuantRd__option_t,
2634
    std::string option,
2635
    bool value);
2636
template <> void Options::set(
2637
    options::globalNegate__option_t,
2638
    const options::globalNegate__option_t::type& x);
2639
template <> const options::globalNegate__option_t::type& Options::operator[](
2640
    options::globalNegate__option_t) const;
2641
template <> bool Options::wasSetByUser(options::globalNegate__option_t) const;
2642
template <> void Options::assignBool(
2643
    options::globalNegate__option_t,
2644
    std::string option,
2645
    bool value);
2646
template <> const options::hoElim__option_t::type& Options::operator[](
2647
    options::hoElim__option_t) const;
2648
template <> bool Options::wasSetByUser(options::hoElim__option_t) const;
2649
template <> void Options::assignBool(
2650
    options::hoElim__option_t,
2651
    std::string option,
2652
    bool value);
2653
template <> void Options::set(
2654
    options::hoElimStoreAx__option_t,
2655
    const options::hoElimStoreAx__option_t::type& x);
2656
template <> const options::hoElimStoreAx__option_t::type& Options::operator[](
2657
    options::hoElimStoreAx__option_t) const;
2658
template <> bool Options::wasSetByUser(options::hoElimStoreAx__option_t) const;
2659
template <> void Options::assignBool(
2660
    options::hoElimStoreAx__option_t,
2661
    std::string option,
2662
    bool value);
2663
template <> const options::hoMatching__option_t::type& Options::operator[](
2664
    options::hoMatching__option_t) const;
2665
template <> bool Options::wasSetByUser(options::hoMatching__option_t) const;
2666
template <> void Options::assignBool(
2667
    options::hoMatching__option_t,
2668
    std::string option,
2669
    bool value);
2670
template <> const options::hoMatchingVarArgPriority__option_t::type& Options::operator[](
2671
    options::hoMatchingVarArgPriority__option_t) const;
2672
template <> bool Options::wasSetByUser(options::hoMatchingVarArgPriority__option_t) const;
2673
template <> void Options::assignBool(
2674
    options::hoMatchingVarArgPriority__option_t,
2675
    std::string option,
2676
    bool value);
2677
template <> const options::hoMergeTermDb__option_t::type& Options::operator[](
2678
    options::hoMergeTermDb__option_t) const;
2679
template <> bool Options::wasSetByUser(options::hoMergeTermDb__option_t) const;
2680
template <> void Options::assignBool(
2681
    options::hoMergeTermDb__option_t,
2682
    std::string option,
2683
    bool value);
2684
template <> const options::incrementTriggers__option_t::type& Options::operator[](
2685
    options::incrementTriggers__option_t) const;
2686
template <> bool Options::wasSetByUser(options::incrementTriggers__option_t) const;
2687
template <> void Options::assignBool(
2688
    options::incrementTriggers__option_t,
2689
    std::string option,
2690
    bool value);
2691
template <> const options::instLevelInputOnly__option_t::type& Options::operator[](
2692
    options::instLevelInputOnly__option_t) const;
2693
template <> bool Options::wasSetByUser(options::instLevelInputOnly__option_t) const;
2694
template <> void Options::assignBool(
2695
    options::instLevelInputOnly__option_t,
2696
    std::string option,
2697
    bool value);
2698
template <> void Options::set(
2699
    options::instMaxLevel__option_t,
2700
    const options::instMaxLevel__option_t::type& x);
2701
template <> const options::instMaxLevel__option_t::type& Options::operator[](
2702
    options::instMaxLevel__option_t) const;
2703
template <> bool Options::wasSetByUser(options::instMaxLevel__option_t) const;
2704
template <> void Options::assign(
2705
    options::instMaxLevel__option_t,
2706
    std::string option,
2707
    std::string value);
2708
template <> void Options::set(
2709
    options::instNoEntail__option_t,
2710
    const options::instNoEntail__option_t::type& x);
2711
template <> const options::instNoEntail__option_t::type& Options::operator[](
2712
    options::instNoEntail__option_t) const;
2713
template <> bool Options::wasSetByUser(options::instNoEntail__option_t) const;
2714
template <> void Options::assignBool(
2715
    options::instNoEntail__option_t,
2716
    std::string option,
2717
    bool value);
2718
template <> void Options::set(
2719
    options::instWhenPhase__option_t,
2720
    const options::instWhenPhase__option_t::type& x);
2721
template <> const options::instWhenPhase__option_t::type& Options::operator[](
2722
    options::instWhenPhase__option_t) const;
2723
template <> bool Options::wasSetByUser(options::instWhenPhase__option_t) const;
2724
template <> void Options::assign(
2725
    options::instWhenPhase__option_t,
2726
    std::string option,
2727
    std::string value);
2728
template <> void Options::set(
2729
    options::instWhenStrictInterleave__option_t,
2730
    const options::instWhenStrictInterleave__option_t::type& x);
2731
template <> const options::instWhenStrictInterleave__option_t::type& Options::operator[](
2732
    options::instWhenStrictInterleave__option_t) const;
2733
template <> bool Options::wasSetByUser(options::instWhenStrictInterleave__option_t) const;
2734
template <> void Options::assignBool(
2735
    options::instWhenStrictInterleave__option_t,
2736
    std::string option,
2737
    bool value);
2738
template <> void Options::set(
2739
    options::instWhenTcFirst__option_t,
2740
    const options::instWhenTcFirst__option_t::type& x);
2741
template <> const options::instWhenTcFirst__option_t::type& Options::operator[](
2742
    options::instWhenTcFirst__option_t) const;
2743
template <> bool Options::wasSetByUser(options::instWhenTcFirst__option_t) const;
2744
template <> void Options::assignBool(
2745
    options::instWhenTcFirst__option_t,
2746
    std::string option,
2747
    bool value);
2748
template <> void Options::set(
2749
    options::instWhenMode__option_t,
2750
    const options::instWhenMode__option_t::type& x);
2751
template <> const options::instWhenMode__option_t::type& Options::operator[](
2752
    options::instWhenMode__option_t) const;
2753
template <> bool Options::wasSetByUser(options::instWhenMode__option_t) const;
2754
template <> void Options::assign(
2755
    options::instWhenMode__option_t,
2756
    std::string option,
2757
    std::string value);
2758
template <> void Options::set(
2759
    options::intWfInduction__option_t,
2760
    const options::intWfInduction__option_t::type& x);
2761
template <> const options::intWfInduction__option_t::type& Options::operator[](
2762
    options::intWfInduction__option_t) const;
2763
template <> bool Options::wasSetByUser(options::intWfInduction__option_t) const;
2764
template <> void Options::assignBool(
2765
    options::intWfInduction__option_t,
2766
    std::string option,
2767
    bool value);
2768
template <> void Options::set(
2769
    options::iteDtTesterSplitQuant__option_t,
2770
    const options::iteDtTesterSplitQuant__option_t::type& x);
2771
template <> const options::iteDtTesterSplitQuant__option_t::type& Options::operator[](
2772
    options::iteDtTesterSplitQuant__option_t) const;
2773
template <> bool Options::wasSetByUser(options::iteDtTesterSplitQuant__option_t) const;
2774
template <> void Options::assignBool(
2775
    options::iteDtTesterSplitQuant__option_t,
2776
    std::string option,
2777
    bool value);
2778
template <> void Options::set(
2779
    options::iteLiftQuant__option_t,
2780
    const options::iteLiftQuant__option_t::type& x);
2781
template <> const options::iteLiftQuant__option_t::type& Options::operator[](
2782
    options::iteLiftQuant__option_t) const;
2783
template <> bool Options::wasSetByUser(options::iteLiftQuant__option_t) const;
2784
template <> void Options::assign(
2785
    options::iteLiftQuant__option_t,
2786
    std::string option,
2787
    std::string value);
2788
template <> const options::literalMatchMode__option_t::type& Options::operator[](
2789
    options::literalMatchMode__option_t) const;
2790
template <> bool Options::wasSetByUser(options::literalMatchMode__option_t) const;
2791
template <> void Options::assign(
2792
    options::literalMatchMode__option_t,
2793
    std::string option,
2794
    std::string value);
2795
template <> void Options::set(
2796
    options::macrosQuant__option_t,
2797
    const options::macrosQuant__option_t::type& x);
2798
template <> const options::macrosQuant__option_t::type& Options::operator[](
2799
    options::macrosQuant__option_t) const;
2800
template <> bool Options::wasSetByUser(options::macrosQuant__option_t) const;
2801
template <> void Options::assignBool(
2802
    options::macrosQuant__option_t,
2803
    std::string option,
2804
    bool value);
2805
template <> const options::macrosQuantMode__option_t::type& Options::operator[](
2806
    options::macrosQuantMode__option_t) const;
2807
template <> bool Options::wasSetByUser(options::macrosQuantMode__option_t) const;
2808
template <> void Options::assign(
2809
    options::macrosQuantMode__option_t,
2810
    std::string option,
2811
    std::string value);
2812
template <> const options::mbqiInterleave__option_t::type& Options::operator[](
2813
    options::mbqiInterleave__option_t) const;
2814
template <> bool Options::wasSetByUser(options::mbqiInterleave__option_t) const;
2815
template <> void Options::assignBool(
2816
    options::mbqiInterleave__option_t,
2817
    std::string option,
2818
    bool value);
2819
template <> void Options::set(
2820
    options::fmfOneInstPerRound__option_t,
2821
    const options::fmfOneInstPerRound__option_t::type& x);
2822
template <> const options::fmfOneInstPerRound__option_t::type& Options::operator[](
2823
    options::fmfOneInstPerRound__option_t) const;
2824
template <> bool Options::wasSetByUser(options::fmfOneInstPerRound__option_t) const;
2825
template <> void Options::assignBool(
2826
    options::fmfOneInstPerRound__option_t,
2827
    std::string option,
2828
    bool value);
2829
template <> void Options::set(
2830
    options::mbqiMode__option_t,
2831
    const options::mbqiMode__option_t::type& x);
2832
template <> const options::mbqiMode__option_t::type& Options::operator[](
2833
    options::mbqiMode__option_t) const;
2834
template <> bool Options::wasSetByUser(options::mbqiMode__option_t) const;
2835
template <> void Options::assign(
2836
    options::mbqiMode__option_t,
2837
    std::string option,
2838
    std::string value);
2839
template <> void Options::set(
2840
    options::miniscopeQuant__option_t,
2841
    const options::miniscopeQuant__option_t::type& x);
2842
template <> const options::miniscopeQuant__option_t::type& Options::operator[](
2843
    options::miniscopeQuant__option_t) const;
2844
template <> bool Options::wasSetByUser(options::miniscopeQuant__option_t) const;
2845
template <> void Options::assignBool(
2846
    options::miniscopeQuant__option_t,
2847
    std::string option,
2848
    bool value);
2849
template <> void Options::set(
2850
    options::miniscopeQuantFreeVar__option_t,
2851
    const options::miniscopeQuantFreeVar__option_t::type& x);
2852
template <> const options::miniscopeQuantFreeVar__option_t::type& Options::operator[](
2853
    options::miniscopeQuantFreeVar__option_t) const;
2854
template <> bool Options::wasSetByUser(options::miniscopeQuantFreeVar__option_t) const;
2855
template <> void Options::assignBool(
2856
    options::miniscopeQuantFreeVar__option_t,
2857
    std::string option,
2858
    bool value);
2859
template <> const options::multiTriggerCache__option_t::type& Options::operator[](
2860
    options::multiTriggerCache__option_t) const;
2861
template <> bool Options::wasSetByUser(options::multiTriggerCache__option_t) const;
2862
template <> void Options::assignBool(
2863
    options::multiTriggerCache__option_t,
2864
    std::string option,
2865
    bool value);
2866
template <> const options::multiTriggerLinear__option_t::type& Options::operator[](
2867
    options::multiTriggerLinear__option_t) const;
2868
template <> bool Options::wasSetByUser(options::multiTriggerLinear__option_t) const;
2869
template <> void Options::assignBool(
2870
    options::multiTriggerLinear__option_t,
2871
    std::string option,
2872
    bool value);
2873
template <> const options::multiTriggerPriority__option_t::type& Options::operator[](
2874
    options::multiTriggerPriority__option_t) const;
2875
template <> bool Options::wasSetByUser(options::multiTriggerPriority__option_t) const;
2876
template <> void Options::assignBool(
2877
    options::multiTriggerPriority__option_t,
2878
    std::string option,
2879
    bool value);
2880
template <> const options::multiTriggerWhenSingle__option_t::type& Options::operator[](
2881
    options::multiTriggerWhenSingle__option_t) const;
2882
template <> bool Options::wasSetByUser(options::multiTriggerWhenSingle__option_t) const;
2883
template <> void Options::assignBool(
2884
    options::multiTriggerWhenSingle__option_t,
2885
    std::string option,
2886
    bool value);
2887
template <> void Options::set(
2888
    options::partialTriggers__option_t,
2889
    const options::partialTriggers__option_t::type& x);
2890
template <> const options::partialTriggers__option_t::type& Options::operator[](
2891
    options::partialTriggers__option_t) const;
2892
template <> bool Options::wasSetByUser(options::partialTriggers__option_t) const;
2893
template <> void Options::assignBool(
2894
    options::partialTriggers__option_t,
2895
    std::string option,
2896
    bool value);
2897
template <> void Options::set(
2898
    options::preSkolemQuant__option_t,
2899
    const options::preSkolemQuant__option_t::type& x);
2900
template <> const options::preSkolemQuant__option_t::type& Options::operator[](
2901
    options::preSkolemQuant__option_t) const;
2902
template <> bool Options::wasSetByUser(options::preSkolemQuant__option_t) const;
2903
template <> void Options::assignBool(
2904
    options::preSkolemQuant__option_t,
2905
    std::string option,
2906
    bool value);
2907
template <> void Options::set(
2908
    options::preSkolemQuantAgg__option_t,
2909
    const options::preSkolemQuantAgg__option_t::type& x);
2910
template <> const options::preSkolemQuantAgg__option_t::type& Options::operator[](
2911
    options::preSkolemQuantAgg__option_t) const;
2912
template <> bool Options::wasSetByUser(options::preSkolemQuantAgg__option_t) const;
2913
template <> void Options::assignBool(
2914
    options::preSkolemQuantAgg__option_t,
2915
    std::string option,
2916
    bool value);
2917
template <> void Options::set(
2918
    options::preSkolemQuantNested__option_t,
2919
    const options::preSkolemQuantNested__option_t::type& x);
2920
template <> const options::preSkolemQuantNested__option_t::type& Options::operator[](
2921
    options::preSkolemQuantNested__option_t) const;
2922
template <> bool Options::wasSetByUser(options::preSkolemQuantNested__option_t) const;
2923
template <> void Options::assignBool(
2924
    options::preSkolemQuantNested__option_t,
2925
    std::string option,
2926
    bool value);
2927
template <> void Options::set(
2928
    options::prenexQuantUser__option_t,
2929
    const options::prenexQuantUser__option_t::type& x);
2930
template <> const options::prenexQuantUser__option_t::type& Options::operator[](
2931
    options::prenexQuantUser__option_t) const;
2932
template <> bool Options::wasSetByUser(options::prenexQuantUser__option_t) const;
2933
template <> void Options::assignBool(
2934
    options::prenexQuantUser__option_t,
2935
    std::string option,
2936
    bool value);
2937
template <> void Options::set(
2938
    options::prenexQuant__option_t,
2939
    const options::prenexQuant__option_t::type& x);
2940
template <> const options::prenexQuant__option_t::type& Options::operator[](
2941
    options::prenexQuant__option_t) const;
2942
template <> bool Options::wasSetByUser(options::prenexQuant__option_t) const;
2943
template <> void Options::assign(
2944
    options::prenexQuant__option_t,
2945
    std::string option,
2946
    std::string value);
2947
template <> void Options::set(
2948
    options::purifyTriggers__option_t,
2949
    const options::purifyTriggers__option_t::type& x);
2950
template <> const options::purifyTriggers__option_t::type& Options::operator[](
2951
    options::purifyTriggers__option_t) const;
2952
template <> bool Options::wasSetByUser(options::purifyTriggers__option_t) const;
2953
template <> void Options::assignBool(
2954
    options::purifyTriggers__option_t,
2955
    std::string option,
2956
    bool value);
2957
template <> void Options::set(
2958
    options::qcfAllConflict__option_t,
2959
    const options::qcfAllConflict__option_t::type& x);
2960
template <> const options::qcfAllConflict__option_t::type& Options::operator[](
2961
    options::qcfAllConflict__option_t) const;
2962
template <> bool Options::wasSetByUser(options::qcfAllConflict__option_t) const;
2963
template <> void Options::assignBool(
2964
    options::qcfAllConflict__option_t,
2965
    std::string option,
2966
    bool value);
2967
template <> const options::qcfEagerCheckRd__option_t::type& Options::operator[](
2968
    options::qcfEagerCheckRd__option_t) const;
2969
template <> bool Options::wasSetByUser(options::qcfEagerCheckRd__option_t) const;
2970
template <> void Options::assignBool(
2971
    options::qcfEagerCheckRd__option_t,
2972
    std::string option,
2973
    bool value);
2974
template <> const options::qcfEagerTest__option_t::type& Options::operator[](
2975
    options::qcfEagerTest__option_t) const;
2976
template <> bool Options::wasSetByUser(options::qcfEagerTest__option_t) const;
2977
template <> void Options::assignBool(
2978
    options::qcfEagerTest__option_t,
2979
    std::string option,
2980
    bool value);
2981
template <> const options::qcfNestedConflict__option_t::type& Options::operator[](
2982
    options::qcfNestedConflict__option_t) const;
2983
template <> bool Options::wasSetByUser(options::qcfNestedConflict__option_t) const;
2984
template <> void Options::assignBool(
2985
    options::qcfNestedConflict__option_t,
2986
    std::string option,
2987
    bool value);
2988
template <> const options::qcfSkipRd__option_t::type& Options::operator[](
2989
    options::qcfSkipRd__option_t) const;
2990
template <> bool Options::wasSetByUser(options::qcfSkipRd__option_t) const;
2991
template <> void Options::assignBool(
2992
    options::qcfSkipRd__option_t,
2993
    std::string option,
2994
    bool value);
2995
template <> void Options::set(
2996
    options::qcfTConstraint__option_t,
2997
    const options::qcfTConstraint__option_t::type& x);
2998
template <> const options::qcfTConstraint__option_t::type& Options::operator[](
2999
    options::qcfTConstraint__option_t) const;
3000
template <> bool Options::wasSetByUser(options::qcfTConstraint__option_t) const;
3001
template <> void Options::assignBool(
3002
    options::qcfTConstraint__option_t,
3003
    std::string option,
3004
    bool value);
3005
template <> const options::qcfVoExp__option_t::type& Options::operator[](
3006
    options::qcfVoExp__option_t) const;
3007
template <> bool Options::wasSetByUser(options::qcfVoExp__option_t) const;
3008
template <> void Options::assignBool(
3009
    options::qcfVoExp__option_t,
3010
    std::string option,
3011
    bool value);
3012
template <> const options::quantAlphaEquiv__option_t::type& Options::operator[](
3013
    options::quantAlphaEquiv__option_t) const;
3014
template <> bool Options::wasSetByUser(options::quantAlphaEquiv__option_t) const;
3015
template <> void Options::assignBool(
3016
    options::quantAlphaEquiv__option_t,
3017
    std::string option,
3018
    bool value);
3019
template <> void Options::set(
3020
    options::quantConflictFind__option_t,
3021
    const options::quantConflictFind__option_t::type& x);
3022
template <> const options::quantConflictFind__option_t::type& Options::operator[](
3023
    options::quantConflictFind__option_t) const;
3024
template <> bool Options::wasSetByUser(options::quantConflictFind__option_t) const;
3025
template <> void Options::assignBool(
3026
    options::quantConflictFind__option_t,
3027
    std::string option,
3028
    bool value);
3029
template <> const options::qcfMode__option_t::type& Options::operator[](
3030
    options::qcfMode__option_t) const;
3031
template <> bool Options::wasSetByUser(options::qcfMode__option_t) const;
3032
template <> void Options::assign(
3033
    options::qcfMode__option_t,
3034
    std::string option,
3035
    std::string value);
3036
template <> const options::qcfWhenMode__option_t::type& Options::operator[](
3037
    options::qcfWhenMode__option_t) const;
3038
template <> bool Options::wasSetByUser(options::qcfWhenMode__option_t) const;
3039
template <> void Options::assign(
3040
    options::qcfWhenMode__option_t,
3041
    std::string option,
3042
    std::string value);
3043
template <> void Options::set(
3044
    options::quantDynamicSplit__option_t,
3045
    const options::quantDynamicSplit__option_t::type& x);
3046
template <> const options::quantDynamicSplit__option_t::type& Options::operator[](
3047
    options::quantDynamicSplit__option_t) const;
3048
template <> bool Options::wasSetByUser(options::quantDynamicSplit__option_t) const;
3049
template <> void Options::assign(
3050
    options::quantDynamicSplit__option_t,
3051
    std::string option,
3052
    std::string value);
3053
template <> const options::quantFunWellDefined__option_t::type& Options::operator[](
3054
    options::quantFunWellDefined__option_t) const;
3055
template <> bool Options::wasSetByUser(options::quantFunWellDefined__option_t) const;
3056
template <> void Options::assignBool(
3057
    options::quantFunWellDefined__option_t,
3058
    std::string option,
3059
    bool value);
3060
template <> const options::quantInduction__option_t::type& Options::operator[](
3061
    options::quantInduction__option_t) const;
3062
template <> bool Options::wasSetByUser(options::quantInduction__option_t) const;
3063
template <> void Options::assignBool(
3064
    options::quantInduction__option_t,
3065
    std::string option,
3066
    bool value);
3067
template <> void Options::set(
3068
    options::quantRepMode__option_t,
3069
    const options::quantRepMode__option_t::type& x);
3070
template <> const options::quantRepMode__option_t::type& Options::operator[](
3071
    options::quantRepMode__option_t) const;
3072
template <> bool Options::wasSetByUser(options::quantRepMode__option_t) const;
3073
template <> void Options::assign(
3074
    options::quantRepMode__option_t,
3075
    std::string option,
3076
    std::string value);
3077
template <> void Options::set(
3078
    options::quantSplit__option_t,
3079
    const options::quantSplit__option_t::type& x);
3080
template <> const options::quantSplit__option_t::type& Options::operator[](
3081
    options::quantSplit__option_t) const;
3082
template <> bool Options::wasSetByUser(options::quantSplit__option_t) const;
3083
template <> void Options::assignBool(
3084
    options::quantSplit__option_t,
3085
    std::string option,
3086
    bool value);
3087
template <> const options::registerQuantBodyTerms__option_t::type& Options::operator[](
3088
    options::registerQuantBodyTerms__option_t) const;
3089
template <> bool Options::wasSetByUser(options::registerQuantBodyTerms__option_t) const;
3090
template <> void Options::assignBool(
3091
    options::registerQuantBodyTerms__option_t,
3092
    std::string option,
3093
    bool value);
3094
template <> const options::relationalTriggers__option_t::type& Options::operator[](
3095
    options::relationalTriggers__option_t) const;
3096
template <> bool Options::wasSetByUser(options::relationalTriggers__option_t) const;
3097
template <> void Options::assignBool(
3098
    options::relationalTriggers__option_t,
3099
    std::string option,
3100
    bool value);
3101
template <> const options::relevantTriggers__option_t::type& Options::operator[](
3102
    options::relevantTriggers__option_t) const;
3103
template <> bool Options::wasSetByUser(options::relevantTriggers__option_t) const;
3104
template <> void Options::assignBool(
3105
    options::relevantTriggers__option_t,
3106
    std::string option,
3107
    bool value);
3108
template <> const options::strictTriggers__option_t::type& Options::operator[](
3109
    options::strictTriggers__option_t) const;
3110
template <> bool Options::wasSetByUser(options::strictTriggers__option_t) const;
3111
template <> void Options::assignBool(
3112
    options::strictTriggers__option_t,
3113
    std::string option,
3114
    bool value);
3115
template <> void Options::set(
3116
    options::sygus__option_t,
3117
    const options::sygus__option_t::type& x);
3118
template <> const options::sygus__option_t::type& Options::operator[](
3119
    options::sygus__option_t) const;
3120
template <> bool Options::wasSetByUser(options::sygus__option_t) const;
3121
template <> void Options::assignBool(
3122
    options::sygus__option_t,
3123
    std::string option,
3124
    bool value);
3125
template <> void Options::set(
3126
    options::sygusActiveGenEnumConsts__option_t,
3127
    const options::sygusActiveGenEnumConsts__option_t::type& x);
3128
template <> const options::sygusActiveGenEnumConsts__option_t::type& Options::operator[](
3129
    options::sygusActiveGenEnumConsts__option_t) const;
3130
template <> bool Options::wasSetByUser(options::sygusActiveGenEnumConsts__option_t) const;
3131
template <> void Options::assign(
3132
    options::sygusActiveGenEnumConsts__option_t,
3133
    std::string option,
3134
    std::string value);
3135
template <> const options::sygusActiveGenMode__option_t::type& Options::operator[](
3136
    options::sygusActiveGenMode__option_t) const;
3137
template <> bool Options::wasSetByUser(options::sygusActiveGenMode__option_t) const;
3138
template <> void Options::assign(
3139
    options::sygusActiveGenMode__option_t,
3140
    std::string option,
3141
    std::string value);
3142
template <> const options::sygusAddConstGrammar__option_t::type& Options::operator[](
3143
    options::sygusAddConstGrammar__option_t) const;
3144
template <> bool Options::wasSetByUser(options::sygusAddConstGrammar__option_t) const;
3145
template <> void Options::assignBool(
3146
    options::sygusAddConstGrammar__option_t,
3147
    std::string option,
3148
    bool value);
3149
template <> void Options::set(
3150
    options::sygusArgRelevant__option_t,
3151
    const options::sygusArgRelevant__option_t::type& x);
3152
template <> const options::sygusArgRelevant__option_t::type& Options::operator[](
3153
    options::sygusArgRelevant__option_t) const;
3154
template <> bool Options::wasSetByUser(options::sygusArgRelevant__option_t) const;
3155
template <> void Options::assignBool(
3156
    options::sygusArgRelevant__option_t,
3157
    std::string option,
3158
    bool value);
3159
template <> const options::sygusInvAutoUnfold__option_t::type& Options::operator[](
3160
    options::sygusInvAutoUnfold__option_t) const;
3161
template <> bool Options::wasSetByUser(options::sygusInvAutoUnfold__option_t) const;
3162
template <> void Options::assignBool(
3163
    options::sygusInvAutoUnfold__option_t,
3164
    std::string option,
3165
    bool value);
3166
template <> void Options::set(
3167
    options::sygusBoolIteReturnConst__option_t,
3168
    const options::sygusBoolIteReturnConst__option_t::type& x);
3169
template <> const options::sygusBoolIteReturnConst__option_t::type& Options::operator[](
3170
    options::sygusBoolIteReturnConst__option_t) const;
3171
template <> bool Options::wasSetByUser(options::sygusBoolIteReturnConst__option_t) const;
3172
template <> void Options::assignBool(
3173
    options::sygusBoolIteReturnConst__option_t,
3174
    std::string option,
3175
    bool value);
3176
template <> void Options::set(
3177
    options::sygusCoreConnective__option_t,
3178
    const options::sygusCoreConnective__option_t::type& x);
3179
template <> const options::sygusCoreConnective__option_t::type& Options::operator[](
3180
    options::sygusCoreConnective__option_t) const;
3181
template <> bool Options::wasSetByUser(options::sygusCoreConnective__option_t) const;
3182
template <> void Options::assignBool(
3183
    options::sygusCoreConnective__option_t,
3184
    std::string option,
3185
    bool value);
3186
template <> const options::sygusConstRepairAbort__option_t::type& Options::operator[](
3187
    options::sygusConstRepairAbort__option_t) const;
3188
template <> bool Options::wasSetByUser(options::sygusConstRepairAbort__option_t) const;
3189
template <> void Options::assignBool(
3190
    options::sygusConstRepairAbort__option_t,
3191
    std::string option,
3192
    bool value);
3193
template <> void Options::set(
3194
    options::sygusEvalOpt__option_t,
3195
    const options::sygusEvalOpt__option_t::type& x);
3196
template <> const options::sygusEvalOpt__option_t::type& Options::operator[](
3197
    options::sygusEvalOpt__option_t) const;
3198
template <> bool Options::wasSetByUser(options::sygusEvalOpt__option_t) const;
3199
template <> void Options::assignBool(
3200
    options::sygusEvalOpt__option_t,
3201
    std::string option,
3202
    bool value);
3203
template <> const options::sygusEvalUnfold__option_t::type& Options::operator[](
3204
    options::sygusEvalUnfold__option_t) const;
3205
template <> bool Options::wasSetByUser(options::sygusEvalUnfold__option_t) const;
3206
template <> void Options::assignBool(
3207
    options::sygusEvalUnfold__option_t,
3208
    std::string option,
3209
    bool value);
3210
template <> const options::sygusEvalUnfoldBool__option_t::type& Options::operator[](
3211
    options::sygusEvalUnfoldBool__option_t) const;
3212
template <> bool Options::wasSetByUser(options::sygusEvalUnfoldBool__option_t) const;
3213
template <> void Options::assignBool(
3214
    options::sygusEvalUnfoldBool__option_t,
3215
    std::string option,
3216
    bool value);
3217
template <> void Options::set(
3218
    options::sygusExprMinerCheckTimeout__option_t,
3219
    const options::sygusExprMinerCheckTimeout__option_t::type& x);
3220
template <> const options::sygusExprMinerCheckTimeout__option_t::type& Options::operator[](
3221
    options::sygusExprMinerCheckTimeout__option_t) const;
3222
template <> bool Options::wasSetByUser(options::sygusExprMinerCheckTimeout__option_t) const;
3223
template <> void Options::assign(
3224
    options::sygusExprMinerCheckTimeout__option_t,
3225
    std::string option,
3226
    std::string value);
3227
template <> void Options::set(
3228
    options::sygusExtRew__option_t,
3229
    const options::sygusExtRew__option_t::type& x);
3230
template <> const options::sygusExtRew__option_t::type& Options::operator[](
3231
    options::sygusExtRew__option_t) const;
3232
template <> bool Options::wasSetByUser(options::sygusExtRew__option_t) const;
3233
template <> void Options::assignBool(
3234
    options::sygusExtRew__option_t,
3235
    std::string option,
3236
    bool value);
3237
template <> void Options::set(
3238
    options::sygusFilterSolRevSubsume__option_t,
3239
    const options::sygusFilterSolRevSubsume__option_t::type& x);
3240
template <> const options::sygusFilterSolRevSubsume__option_t::type& Options::operator[](
3241
    options::sygusFilterSolRevSubsume__option_t) const;
3242
template <> bool Options::wasSetByUser(options::sygusFilterSolRevSubsume__option_t) const;
3243
template <> void Options::assignBool(
3244
    options::sygusFilterSolRevSubsume__option_t,
3245
    std::string option,
3246
    bool value);
3247
template <> void Options::set(
3248
    options::sygusFilterSolMode__option_t,
3249
    const options::sygusFilterSolMode__option_t::type& x);
3250
template <> const options::sygusFilterSolMode__option_t::type& Options::operator[](
3251
    options::sygusFilterSolMode__option_t) const;
3252
template <> bool Options::wasSetByUser(options::sygusFilterSolMode__option_t) const;
3253
template <> void Options::assign(
3254
    options::sygusFilterSolMode__option_t,
3255
    std::string option,
3256
    std::string value);
3257
template <> void Options::set(
3258
    options::sygusGrammarConsMode__option_t,
3259
    const options::sygusGrammarConsMode__option_t::type& x);
3260
template <> const options::sygusGrammarConsMode__option_t::type& Options::operator[](
3261
    options::sygusGrammarConsMode__option_t) const;
3262
template <> bool Options::wasSetByUser(options::sygusGrammarConsMode__option_t) const;
3263
template <> void Options::assign(
3264
    options::sygusGrammarConsMode__option_t,
3265
    std::string option,
3266
    std::string value);
3267
template <> const options::sygusGrammarNorm__option_t::type& Options::operator[](
3268
    options::sygusGrammarNorm__option_t) const;
3269
template <> bool Options::wasSetByUser(options::sygusGrammarNorm__option_t) const;
3270
template <> void Options::assignBool(
3271
    options::sygusGrammarNorm__option_t,
3272
    std::string option,
3273
    bool value);
3274
template <> void Options::set(
3275
    options::sygusInference__option_t,
3276
    const options::sygusInference__option_t::type& x);
3277
template <> const options::sygusInference__option_t::type& Options::operator[](
3278
    options::sygusInference__option_t) const;
3279
template <> bool Options::wasSetByUser(options::sygusInference__option_t) const;
3280
template <> void Options::assignBool(
3281
    options::sygusInference__option_t,
3282
    std::string option,
3283
    bool value);
3284
template <> void Options::set(
3285
    options::sygusInst__option_t,
3286
    const options::sygusInst__option_t::type& x);
3287
template <> const options::sygusInst__option_t::type& Options::operator[](
3288
    options::sygusInst__option_t) const;
3289
template <> bool Options::wasSetByUser(options::sygusInst__option_t) const;
3290
template <> void Options::assignBool(
3291
    options::sygusInst__option_t,
3292
    std::string option,
3293
    bool value);
3294
template <> void Options::set(
3295
    options::sygusInstMode__option_t,
3296
    const options::sygusInstMode__option_t::type& x);
3297
template <> const options::sygusInstMode__option_t::type& Options::operator[](
3298
    options::sygusInstMode__option_t) const;
3299
template <> bool Options::wasSetByUser(options::sygusInstMode__option_t) const;
3300
template <> void Options::assign(
3301
    options::sygusInstMode__option_t,
3302
    std::string option,
3303
    std::string value);
3304
template <> void Options::set(
3305
    options::sygusInstScope__option_t,
3306
    const options::sygusInstScope__option_t::type& x);
3307
template <> const options::sygusInstScope__option_t::type& Options::operator[](
3308
    options::sygusInstScope__option_t) const;
3309
template <> bool Options::wasSetByUser(options::sygusInstScope__option_t) const;
3310
template <> void Options::assign(
3311
    options::sygusInstScope__option_t,
3312
    std::string option,
3313
    std::string value);
3314
template <> void Options::set(
3315
    options::sygusInstTermSel__option_t,
3316
    const options::sygusInstTermSel__option_t::type& x);
3317
template <> const options::sygusInstTermSel__option_t::type& Options::operator[](
3318
    options::sygusInstTermSel__option_t) const;
3319
template <> bool Options::wasSetByUser(options::sygusInstTermSel__option_t) const;
3320
template <> void Options::assign(
3321
    options::sygusInstTermSel__option_t,
3322
    std::string option,
3323
    std::string value);
3324
template <> void Options::set(
3325
    options::sygusInvTemplWhenSyntax__option_t,
3326
    const options::sygusInvTemplWhenSyntax__option_t::type& x);
3327
template <> const options::sygusInvTemplWhenSyntax__option_t::type& Options::operator[](
3328
    options::sygusInvTemplWhenSyntax__option_t) const;
3329
template <> bool Options::wasSetByUser(options::sygusInvTemplWhenSyntax__option_t) const;
3330
template <> void Options::assignBool(
3331
    options::sygusInvTemplWhenSyntax__option_t,
3332
    std::string option,
3333
    bool value);
3334
template <> void Options::set(
3335
    options::sygusInvTemplMode__option_t,
3336
    const options::sygusInvTemplMode__option_t::type& x);
3337
template <> const options::sygusInvTemplMode__option_t::type& Options::operator[](
3338
    options::sygusInvTemplMode__option_t) const;
3339
template <> bool Options::wasSetByUser(options::sygusInvTemplMode__option_t) const;
3340
template <> void Options::assign(
3341
    options::sygusInvTemplMode__option_t,
3342
    std::string option,
3343
    std::string value);
3344
template <> const options::sygusMinGrammar__option_t::type& Options::operator[](
3345
    options::sygusMinGrammar__option_t) const;
3346
template <> bool Options::wasSetByUser(options::sygusMinGrammar__option_t) const;
3347
template <> void Options::assignBool(
3348
    options::sygusMinGrammar__option_t,
3349
    std::string option,
3350
    bool value);
3351
template <> void Options::set(
3352
    options::sygusUnifPbe__option_t,
3353
    const options::sygusUnifPbe__option_t::type& x);
3354
template <> const options::sygusUnifPbe__option_t::type& Options::operator[](
3355
    options::sygusUnifPbe__option_t) const;
3356
template <> bool Options::wasSetByUser(options::sygusUnifPbe__option_t) const;
3357
template <> void Options::assignBool(
3358
    options::sygusUnifPbe__option_t,
3359
    std::string option,
3360
    bool value);
3361
template <> void Options::set(
3362
    options::sygusPbeMultiFair__option_t,
3363
    const options::sygusPbeMultiFair__option_t::type& x);
3364
template <> const options::sygusPbeMultiFair__option_t::type& Options::operator[](
3365
    options::sygusPbeMultiFair__option_t) const;
3366
template <> bool Options::wasSetByUser(options::sygusPbeMultiFair__option_t) const;
3367
template <> void Options::assignBool(
3368
    options::sygusPbeMultiFair__option_t,
3369
    std::string option,
3370
    bool value);
3371
template <> void Options::set(
3372
    options::sygusPbeMultiFairDiff__option_t,
3373
    const options::sygusPbeMultiFairDiff__option_t::type& x);
3374
template <> const options::sygusPbeMultiFairDiff__option_t::type& Options::operator[](
3375
    options::sygusPbeMultiFairDiff__option_t) const;
3376
template <> bool Options::wasSetByUser(options::sygusPbeMultiFairDiff__option_t) const;
3377
template <> void Options::assign(
3378
    options::sygusPbeMultiFairDiff__option_t,
3379
    std::string option,
3380
    std::string value);
3381
template <> const options::sygusQePreproc__option_t::type& Options::operator[](
3382
    options::sygusQePreproc__option_t) const;
3383
template <> bool Options::wasSetByUser(options::sygusQePreproc__option_t) const;
3384
template <> void Options::assignBool(
3385
    options::sygusQePreproc__option_t,
3386
    std::string option,
3387
    bool value);
3388
template <> void Options::set(
3389
    options::sygusQueryGen__option_t,
3390
    const options::sygusQueryGen__option_t::type& x);
3391
template <> const options::sygusQueryGen__option_t::type& Options::operator[](
3392
    options::sygusQueryGen__option_t) const;
3393
template <> bool Options::wasSetByUser(options::sygusQueryGen__option_t) const;
3394
template <> void Options::assignBool(
3395
    options::sygusQueryGen__option_t,
3396
    std::string option,
3397
    bool value);
3398
template <> void Options::set(
3399
    options::sygusQueryGenCheck__option_t,
3400
    const options::sygusQueryGenCheck__option_t::type& x);
3401
template <> const options::sygusQueryGenCheck__option_t::type& Options::operator[](
3402
    options::sygusQueryGenCheck__option_t) const;
3403
template <> bool Options::wasSetByUser(options::sygusQueryGenCheck__option_t) const;
3404
template <> void Options::assignBool(
3405
    options::sygusQueryGenCheck__option_t,
3406
    std::string option,
3407
    bool value);
3408
template <> void Options::set(
3409
    options::sygusQueryGenDumpFiles__option_t,
3410
    const options::sygusQueryGenDumpFiles__option_t::type& x);
3411
template <> const options::sygusQueryGenDumpFiles__option_t::type& Options::operator[](
3412
    options::sygusQueryGenDumpFiles__option_t) const;
3413
template <> bool Options::wasSetByUser(options::sygusQueryGenDumpFiles__option_t) const;
3414
template <> void Options::assign(
3415
    options::sygusQueryGenDumpFiles__option_t,
3416
    std::string option,
3417
    std::string value);
3418
template <> void Options::set(
3419
    options::sygusQueryGenThresh__option_t,
3420
    const options::sygusQueryGenThresh__option_t::type& x);
3421
template <> const options::sygusQueryGenThresh__option_t::type& Options::operator[](
3422
    options::sygusQueryGenThresh__option_t) const;
3423
template <> bool Options::wasSetByUser(options::sygusQueryGenThresh__option_t) const;
3424
template <> void Options::assign(
3425
    options::sygusQueryGenThresh__option_t,
3426
    std::string option,
3427
    std::string value);
3428
template <> void Options::set(
3429
    options::sygusRecFun__option_t,
3430
    const options::sygusRecFun__option_t::type& x);
3431
template <> const options::sygusRecFun__option_t::type& Options::operator[](
3432
    options::sygusRecFun__option_t) const;
3433
template <> bool Options::wasSetByUser(options::sygusRecFun__option_t) const;
3434
template <> void Options::assignBool(
3435
    options::sygusRecFun__option_t,
3436
    std::string option,
3437
    bool value);
3438
template <> void Options::set(
3439
    options::sygusRecFunEvalLimit__option_t,
3440
    const options::sygusRecFunEvalLimit__option_t::type& x);
3441
template <> const options::sygusRecFunEvalLimit__option_t::type& Options::operator[](
3442
    options::sygusRecFunEvalLimit__option_t) const;
3443
template <> bool Options::wasSetByUser(options::sygusRecFunEvalLimit__option_t) const;
3444
template <> void Options::assign(
3445
    options::sygusRecFunEvalLimit__option_t,
3446
    std::string option,
3447
    std::string value);
3448
template <> void Options::set(
3449
    options::sygusRepairConst__option_t,
3450
    const options::sygusRepairConst__option_t::type& x);
3451
template <> const options::sygusRepairConst__option_t::type& Options::operator[](
3452
    options::sygusRepairConst__option_t) const;
3453
template <> bool Options::wasSetByUser(options::sygusRepairConst__option_t) const;
3454
template <> void Options::assignBool(
3455
    options::sygusRepairConst__option_t,
3456
    std::string option,
3457
    bool value);
3458
template <> void Options::set(
3459
    options::sygusRepairConstTimeout__option_t,
3460
    const options::sygusRepairConstTimeout__option_t::type& x);
3461
template <> const options::sygusRepairConstTimeout__option_t::type& Options::operator[](
3462
    options::sygusRepairConstTimeout__option_t) const;
3463
template <> bool Options::wasSetByUser(options::sygusRepairConstTimeout__option_t) const;
3464
template <> void Options::assign(
3465
    options::sygusRepairConstTimeout__option_t,
3466
    std::string option,
3467
    std::string value);
3468
template <> const options::sygusRew__option_t::type& Options::operator[](
3469
    options::sygusRew__option_t) const;
3470
template <> bool Options::wasSetByUser(options::sygusRew__option_t) const;
3471
template <> void Options::assignBool(
3472
    options::sygusRew__option_t,
3473
    std::string option,
3474
    bool value);
3475
template <> void Options::set(
3476
    options::sygusRewSynth__option_t,
3477
    const options::sygusRewSynth__option_t::type& x);
3478
template <> const options::sygusRewSynth__option_t::type& Options::operator[](
3479
    options::sygusRewSynth__option_t) const;
3480
template <> bool Options::wasSetByUser(options::sygusRewSynth__option_t) const;
3481
template <> void Options::assignBool(
3482
    options::sygusRewSynth__option_t,
3483
    std::string option,
3484
    bool value);
3485
template <> void Options::set(
3486
    options::sygusRewSynthAccel__option_t,
3487
    const options::sygusRewSynthAccel__option_t::type& x);
3488
template <> const options::sygusRewSynthAccel__option_t::type& Options::operator[](
3489
    options::sygusRewSynthAccel__option_t) const;
3490
template <> bool Options::wasSetByUser(options::sygusRewSynthAccel__option_t) const;
3491
template <> void Options::assignBool(
3492
    options::sygusRewSynthAccel__option_t,
3493
    std::string option,
3494
    bool value);
3495
template <> void Options::set(
3496
    options::sygusRewSynthCheck__option_t,
3497
    const options::sygusRewSynthCheck__option_t::type& x);
3498
template <> const options::sygusRewSynthCheck__option_t::type& Options::operator[](
3499
    options::sygusRewSynthCheck__option_t) const;
3500
template <> bool Options::wasSetByUser(options::sygusRewSynthCheck__option_t) const;
3501
template <> void Options::assignBool(
3502
    options::sygusRewSynthCheck__option_t,
3503
    std::string option,
3504
    bool value);
3505
template <> void Options::set(
3506
    options::sygusRewSynthFilterCong__option_t,
3507
    const options::sygusRewSynthFilterCong__option_t::type& x);
3508
template <> const options::sygusRewSynthFilterCong__option_t::type& Options::operator[](
3509
    options::sygusRewSynthFilterCong__option_t) const;
3510
template <> bool Options::wasSetByUser(options::sygusRewSynthFilterCong__option_t) const;
3511
template <> void Options::assignBool(
3512
    options::sygusRewSynthFilterCong__option_t,
3513
    std::string option,
3514
    bool value);
3515
template <> void Options::set(
3516
    options::sygusRewSynthFilterMatch__option_t,
3517
    const options::sygusRewSynthFilterMatch__option_t::type& x);
3518
template <> const options::sygusRewSynthFilterMatch__option_t::type& Options::operator[](
3519
    options::sygusRewSynthFilterMatch__option_t) const;
3520
template <> bool Options::wasSetByUser(options::sygusRewSynthFilterMatch__option_t) const;
3521
template <> void Options::assignBool(
3522
    options::sygusRewSynthFilterMatch__option_t,
3523
    std::string option,
3524
    bool value);
3525
template <> void Options::set(
3526
    options::sygusRewSynthFilterNonLinear__option_t,
3527
    const options::sygusRewSynthFilterNonLinear__option_t::type& x);
3528
template <> const options::sygusRewSynthFilterNonLinear__option_t::type& Options::operator[](
3529
    options::sygusRewSynthFilterNonLinear__option_t) const;
3530
template <> bool Options::wasSetByUser(options::sygusRewSynthFilterNonLinear__option_t) const;
3531
template <> void Options::assignBool(
3532
    options::sygusRewSynthFilterNonLinear__option_t,
3533
    std::string option,
3534
    bool value);
3535
template <> void Options::set(
3536
    options::sygusRewSynthFilterOrder__option_t,
3537
    const options::sygusRewSynthFilterOrder__option_t::type& x);
3538
template <> const options::sygusRewSynthFilterOrder__option_t::type& Options::operator[](
3539
    options::sygusRewSynthFilterOrder__option_t) const;
3540
template <> bool Options::wasSetByUser(options::sygusRewSynthFilterOrder__option_t) const;
3541
template <> void Options::assignBool(
3542
    options::sygusRewSynthFilterOrder__option_t,
3543
    std::string option,
3544
    bool value);
3545
template <> void Options::set(
3546
    options::sygusRewSynthInput__option_t,
3547
    const options::sygusRewSynthInput__option_t::type& x);
3548
template <> const options::sygusRewSynthInput__option_t::type& Options::operator[](
3549
    options::sygusRewSynthInput__option_t) const;
3550
template <> bool Options::wasSetByUser(options::sygusRewSynthInput__option_t) const;
3551
template <> void Options::assignBool(
3552
    options::sygusRewSynthInput__option_t,
3553
    std::string option,
3554
    bool value);
3555
template <> void Options::set(
3556
    options::sygusRewSynthInputNVars__option_t,
3557
    const options::sygusRewSynthInputNVars__option_t::type& x);
3558
template <> const options::sygusRewSynthInputNVars__option_t::type& Options::operator[](
3559
    options::sygusRewSynthInputNVars__option_t) const;
3560
template <> bool Options::wasSetByUser(options::sygusRewSynthInputNVars__option_t) const;
3561
template <> void Options::assign(
3562
    options::sygusRewSynthInputNVars__option_t,
3563
    std::string option,
3564
    std::string value);
3565
template <> void Options::set(
3566
    options::sygusRewSynthInputUseBool__option_t,
3567
    const options::sygusRewSynthInputUseBool__option_t::type& x);
3568
template <> const options::sygusRewSynthInputUseBool__option_t::type& Options::operator[](
3569
    options::sygusRewSynthInputUseBool__option_t) const;
3570
template <> bool Options::wasSetByUser(options::sygusRewSynthInputUseBool__option_t) const;
3571
template <> void Options::assignBool(
3572
    options::sygusRewSynthInputUseBool__option_t,
3573
    std::string option,
3574
    bool value);
3575
template <> void Options::set(
3576
    options::sygusRewSynthRec__option_t,
3577
    const options::sygusRewSynthRec__option_t::type& x);
3578
template <> const options::sygusRewSynthRec__option_t::type& Options::operator[](
3579
    options::sygusRewSynthRec__option_t) const;
3580
template <> bool Options::wasSetByUser(options::sygusRewSynthRec__option_t) const;
3581
template <> void Options::assignBool(
3582
    options::sygusRewSynthRec__option_t,
3583
    std::string option,
3584
    bool value);
3585
template <> void Options::set(
3586
    options::sygusRewVerify__option_t,
3587
    const options::sygusRewVerify__option_t::type& x);
3588
template <> const options::sygusRewVerify__option_t::type& Options::operator[](
3589
    options::sygusRewVerify__option_t) const;
3590
template <> bool Options::wasSetByUser(options::sygusRewVerify__option_t) const;
3591
template <> void Options::assignBool(
3592
    options::sygusRewVerify__option_t,
3593
    std::string option,
3594
    bool value);
3595
template <> void Options::set(
3596
    options::sygusRewVerifyAbort__option_t,
3597
    const options::sygusRewVerifyAbort__option_t::type& x);
3598
template <> const options::sygusRewVerifyAbort__option_t::type& Options::operator[](
3599
    options::sygusRewVerifyAbort__option_t) const;
3600
template <> bool Options::wasSetByUser(options::sygusRewVerifyAbort__option_t) const;
3601
template <> void Options::assignBool(
3602
    options::sygusRewVerifyAbort__option_t,
3603
    std::string option,
3604
    bool value);
3605
template <> void Options::set(
3606
    options::sygusSampleFpUniform__option_t,
3607
    const options::sygusSampleFpUniform__option_t::type& x);
3608
template <> const options::sygusSampleFpUniform__option_t::type& Options::operator[](
3609
    options::sygusSampleFpUniform__option_t) const;
3610
template <> bool Options::wasSetByUser(options::sygusSampleFpUniform__option_t) const;
3611
template <> void Options::assignBool(
3612
    options::sygusSampleFpUniform__option_t,
3613
    std::string option,
3614
    bool value);
3615
template <> const options::sygusSampleGrammar__option_t::type& Options::operator[](
3616
    options::sygusSampleGrammar__option_t) const;
3617
template <> bool Options::wasSetByUser(options::sygusSampleGrammar__option_t) const;
3618
template <> void Options::assignBool(
3619
    options::sygusSampleGrammar__option_t,
3620
    std::string option,
3621
    bool value);
3622
template <> void Options::set(
3623
    options::sygusSamples__option_t,
3624
    const options::sygusSamples__option_t::type& x);
3625
template <> const options::sygusSamples__option_t::type& Options::operator[](
3626
    options::sygusSamples__option_t) const;
3627
template <> bool Options::wasSetByUser(options::sygusSamples__option_t) const;
3628
template <> void Options::assign(
3629
    options::sygusSamples__option_t,
3630
    std::string option,
3631
    std::string value);
3632
template <> const options::cegqiSingleInvAbort__option_t::type& Options::operator[](
3633
    options::cegqiSingleInvAbort__option_t) const;
3634
template <> bool Options::wasSetByUser(options::cegqiSingleInvAbort__option_t) const;
3635
template <> void Options::assignBool(
3636
    options::cegqiSingleInvAbort__option_t,
3637
    std::string option,
3638
    bool value);
3639
template <> const options::cegqiSingleInvPartial__option_t::type& Options::operator[](
3640
    options::cegqiSingleInvPartial__option_t) const;
3641
template <> bool Options::wasSetByUser(options::cegqiSingleInvPartial__option_t) const;
3642
template <> void Options::assignBool(
3643
    options::cegqiSingleInvPartial__option_t,
3644
    std::string option,
3645
    bool value);
3646
template <> const options::cegqiSingleInvReconstructLimit__option_t::type& Options::operator[](
3647
    options::cegqiSingleInvReconstructLimit__option_t) const;
3648
template <> bool Options::wasSetByUser(options::cegqiSingleInvReconstructLimit__option_t) const;
3649
template <> void Options::assign(
3650
    options::cegqiSingleInvReconstructLimit__option_t,
3651
    std::string option,
3652
    std::string value);
3653
template <> void Options::set(
3654
    options::cegqiSingleInvReconstruct__option_t,
3655
    const options::cegqiSingleInvReconstruct__option_t::type& x);
3656
template <> const options::cegqiSingleInvReconstruct__option_t::type& Options::operator[](
3657
    options::cegqiSingleInvReconstruct__option_t) const;
3658
template <> bool Options::wasSetByUser(options::cegqiSingleInvReconstruct__option_t) const;
3659
template <> void Options::assign(
3660
    options::cegqiSingleInvReconstruct__option_t,
3661
    std::string option,
3662
    std::string value);
3663
template <> const options::cegqiSingleInvReconstructConst__option_t::type& Options::operator[](
3664
    options::cegqiSingleInvReconstructConst__option_t) const;
3665
template <> bool Options::wasSetByUser(options::cegqiSingleInvReconstructConst__option_t) const;
3666
template <> void Options::assignBool(
3667
    options::cegqiSingleInvReconstructConst__option_t,
3668
    std::string option,
3669
    bool value);
3670
template <> void Options::set(
3671
    options::cegqiSingleInvMode__option_t,
3672
    const options::cegqiSingleInvMode__option_t::type& x);
3673
template <> const options::cegqiSingleInvMode__option_t::type& Options::operator[](
3674
    options::cegqiSingleInvMode__option_t) const;
3675
template <> bool Options::wasSetByUser(options::cegqiSingleInvMode__option_t) const;
3676
template <> void Options::assign(
3677
    options::cegqiSingleInvMode__option_t,
3678
    std::string option,
3679
    std::string value);
3680
template <> void Options::set(
3681
    options::sygusStream__option_t,
3682
    const options::sygusStream__option_t::type& x);
3683
template <> const options::sygusStream__option_t::type& Options::operator[](
3684
    options::sygusStream__option_t) const;
3685
template <> bool Options::wasSetByUser(options::sygusStream__option_t) const;
3686
template <> void Options::assignBool(
3687
    options::sygusStream__option_t,
3688
    std::string option,
3689
    bool value);
3690
template <> const options::sygusTemplEmbedGrammar__option_t::type& Options::operator[](
3691
    options::sygusTemplEmbedGrammar__option_t) const;
3692
template <> bool Options::wasSetByUser(options::sygusTemplEmbedGrammar__option_t) const;
3693
template <> void Options::assignBool(
3694
    options::sygusTemplEmbedGrammar__option_t,
3695
    std::string option,
3696
    bool value);
3697
template <> void Options::set(
3698
    options::sygusUnifCondIndNoRepeatSol__option_t,
3699
    const options::sygusUnifCondIndNoRepeatSol__option_t::type& x);
3700
template <> const options::sygusUnifCondIndNoRepeatSol__option_t::type& Options::operator[](
3701
    options::sygusUnifCondIndNoRepeatSol__option_t) const;
3702
template <> bool Options::wasSetByUser(options::sygusUnifCondIndNoRepeatSol__option_t) const;
3703
template <> void Options::assignBool(
3704
    options::sygusUnifCondIndNoRepeatSol__option_t,
3705
    std::string option,
3706
    bool value);
3707
template <> void Options::set(
3708
    options::sygusUnifPi__option_t,
3709
    const options::sygusUnifPi__option_t::type& x);
3710
template <> const options::sygusUnifPi__option_t::type& Options::operator[](
3711
    options::sygusUnifPi__option_t) const;
3712
template <> bool Options::wasSetByUser(options::sygusUnifPi__option_t) const;
3713
template <> void Options::assign(
3714
    options::sygusUnifPi__option_t,
3715
    std::string option,
3716
    std::string value);
3717
template <> void Options::set(
3718
    options::sygusUnifShuffleCond__option_t,
3719
    const options::sygusUnifShuffleCond__option_t::type& x);
3720
template <> const options::sygusUnifShuffleCond__option_t::type& Options::operator[](
3721
    options::sygusUnifShuffleCond__option_t) const;
3722
template <> bool Options::wasSetByUser(options::sygusUnifShuffleCond__option_t) const;
3723
template <> void Options::assignBool(
3724
    options::sygusUnifShuffleCond__option_t,
3725
    std::string option,
3726
    bool value);
3727
template <> void Options::set(
3728
    options::termDbCd__option_t,
3729
    const options::termDbCd__option_t::type& x);
3730
template <> const options::termDbCd__option_t::type& Options::operator[](
3731
    options::termDbCd__option_t) const;
3732
template <> bool Options::wasSetByUser(options::termDbCd__option_t) const;
3733
template <> void Options::assignBool(
3734
    options::termDbCd__option_t,
3735
    std::string option,
3736
    bool value);
3737
template <> void Options::set(
3738
    options::termDbMode__option_t,
3739
    const options::termDbMode__option_t::type& x);
3740
template <> const options::termDbMode__option_t::type& Options::operator[](
3741
    options::termDbMode__option_t) const;
3742
template <> bool Options::wasSetByUser(options::termDbMode__option_t) const;
3743
template <> void Options::assign(
3744
    options::termDbMode__option_t,
3745
    std::string option,
3746
    std::string value);
3747
template <> void Options::set(
3748
    options::triggerActiveSelMode__option_t,
3749
    const options::triggerActiveSelMode__option_t::type& x);
3750
template <> const options::triggerActiveSelMode__option_t::type& Options::operator[](
3751
    options::triggerActiveSelMode__option_t) const;
3752
template <> bool Options::wasSetByUser(options::triggerActiveSelMode__option_t) const;
3753
template <> void Options::assign(
3754
    options::triggerActiveSelMode__option_t,
3755
    std::string option,
3756
    std::string value);
3757
template <> void Options::set(
3758
    options::triggerSelMode__option_t,
3759
    const options::triggerSelMode__option_t::type& x);
3760
template <> const options::triggerSelMode__option_t::type& Options::operator[](
3761
    options::triggerSelMode__option_t) const;
3762
template <> bool Options::wasSetByUser(options::triggerSelMode__option_t) const;
3763
template <> void Options::assign(
3764
    options::triggerSelMode__option_t,
3765
    std::string option,
3766
    std::string value);
3767
template <> void Options::set(
3768
    options::userPatternsQuant__option_t,
3769
    const options::userPatternsQuant__option_t::type& x);
3770
template <> const options::userPatternsQuant__option_t::type& Options::operator[](
3771
    options::userPatternsQuant__option_t) const;
3772
template <> bool Options::wasSetByUser(options::userPatternsQuant__option_t) const;
3773
template <> void Options::assign(
3774
    options::userPatternsQuant__option_t,
3775
    std::string option,
3776
    std::string value);
3777
template <> const options::varElimQuant__option_t::type& Options::operator[](
3778
    options::varElimQuant__option_t) const;
3779
template <> bool Options::wasSetByUser(options::varElimQuant__option_t) const;
3780
template <> void Options::assignBool(
3781
    options::varElimQuant__option_t,
3782
    std::string option,
3783
    bool value);
3784
template <> const options::varIneqElimQuant__option_t::type& Options::operator[](
3785
    options::varIneqElimQuant__option_t) const;
3786
template <> bool Options::wasSetByUser(options::varIneqElimQuant__option_t) const;
3787
template <> void Options::assignBool(
3788
    options::varIneqElimQuant__option_t,
3789
    std::string option,
3790
    bool value);
3791
3792
3793
namespace options {
3794
3795
228275
inline aggressiveMiniscopeQuant__option_t::type aggressiveMiniscopeQuant__option_t::operator()() const
3796
{
3797
228275
  return (*Options::current())[*this];
3798
}
3799
inline bool aggressiveMiniscopeQuant__option_t::wasSetByUser() const
3800
{
3801
  return Options::current()->wasSetByUser(*this);
3802
}
3803
inline const char* aggressiveMiniscopeQuant__option_t::getName() const
3804
{
3805
  return "ag-miniscope-quant";
3806
}
3807
5387
inline cegisSample__option_t::type cegisSample__option_t::operator()() const
3808
{
3809
5387
  return (*Options::current())[*this];
3810
}
3811
inline bool cegisSample__option_t::wasSetByUser() const
3812
{
3813
  return Options::current()->wasSetByUser(*this);
3814
}
3815
inline void cegisSample__option_t::set(const cegisSample__option_t::type& v)
3816
{
3817
  Options::current()->set(*this, v);
3818
}
3819
inline const char* cegisSample__option_t::getName() const
3820
{
3821
  return "cegis-sample";
3822
}
3823
5020736
inline cegqi__option_t::type cegqi__option_t::operator()() const
3824
{
3825
5020736
  return (*Options::current())[*this];
3826
}
3827
6257
inline bool cegqi__option_t::wasSetByUser() const
3828
{
3829
6257
  return Options::current()->wasSetByUser(*this);
3830
}
3831
6236
inline void cegqi__option_t::set(const cegqi__option_t::type& v)
3832
{
3833
6236
  Options::current()->set(*this, v);
3834
6236
}
3835
inline const char* cegqi__option_t::getName() const
3836
{
3837
  return "cegqi";
3838
}
3839
20329
inline cegqiAll__option_t::type cegqiAll__option_t::operator()() const
3840
{
3841
20329
  return (*Options::current())[*this];
3842
}
3843
inline bool cegqiAll__option_t::wasSetByUser() const
3844
{
3845
  return Options::current()->wasSetByUser(*this);
3846
}
3847
inline void cegqiAll__option_t::set(const cegqiAll__option_t::type& v)
3848
{
3849
  Options::current()->set(*this, v);
3850
}
3851
inline const char* cegqiAll__option_t::getName() const
3852
{
3853
  return "cegqi-all";
3854
}
3855
19152
inline cegqiBv__option_t::type cegqiBv__option_t::operator()() const
3856
{
3857
19152
  return (*Options::current())[*this];
3858
}
3859
1319
inline bool cegqiBv__option_t::wasSetByUser() const
3860
{
3861
1319
  return Options::current()->wasSetByUser(*this);
3862
}
3863
1314
inline void cegqiBv__option_t::set(const cegqiBv__option_t::type& v)
3864
{
3865
1314
  Options::current()->set(*this, v);
3866
1314
}
3867
inline const char* cegqiBv__option_t::getName() const
3868
{
3869
  return "cegqi-bv";
3870
}
3871
275
inline cegqiBvConcInv__option_t::type cegqiBvConcInv__option_t::operator()() const
3872
{
3873
275
  return (*Options::current())[*this];
3874
}
3875
inline bool cegqiBvConcInv__option_t::wasSetByUser() const
3876
{
3877
  return Options::current()->wasSetByUser(*this);
3878
}
3879
inline void cegqiBvConcInv__option_t::set(const cegqiBvConcInv__option_t::type& v)
3880
{
3881
  Options::current()->set(*this, v);
3882
}
3883
inline const char* cegqiBvConcInv__option_t::getName() const
3884
{
3885
  return "cegqi-bv-concat-inv";
3886
}
3887
9847
inline cegqiBvIneqMode__option_t::type cegqiBvIneqMode__option_t::operator()() const
3888
{
3889
9847
  return (*Options::current())[*this];
3890
}
3891
inline bool cegqiBvIneqMode__option_t::wasSetByUser() const
3892
{
3893
  return Options::current()->wasSetByUser(*this);
3894
}
3895
inline void cegqiBvIneqMode__option_t::set(const cegqiBvIneqMode__option_t::type& v)
3896
{
3897
  Options::current()->set(*this, v);
3898
}
3899
inline const char* cegqiBvIneqMode__option_t::getName() const
3900
{
3901
  return "cegqi-bv-ineq";
3902
}
3903
1581
inline cegqiBvInterleaveValue__option_t::type cegqiBvInterleaveValue__option_t::operator()() const
3904
{
3905
1581
  return (*Options::current())[*this];
3906
}
3907
inline bool cegqiBvInterleaveValue__option_t::wasSetByUser() const
3908
{
3909
  return Options::current()->wasSetByUser(*this);
3910
}
3911
inline void cegqiBvInterleaveValue__option_t::set(const cegqiBvInterleaveValue__option_t::type& v)
3912
{
3913
  Options::current()->set(*this, v);
3914
}
3915
inline const char* cegqiBvInterleaveValue__option_t::getName() const
3916
{
3917
  return "cegqi-bv-interleave-value";
3918
}
3919
9730
inline cegqiBvLinearize__option_t::type cegqiBvLinearize__option_t::operator()() const
3920
{
3921
9730
  return (*Options::current())[*this];
3922
}
3923
inline bool cegqiBvLinearize__option_t::wasSetByUser() const
3924
{
3925
  return Options::current()->wasSetByUser(*this);
3926
}
3927
inline void cegqiBvLinearize__option_t::set(const cegqiBvLinearize__option_t::type& v)
3928
{
3929
  Options::current()->set(*this, v);
3930
}
3931
inline const char* cegqiBvLinearize__option_t::getName() const
3932
{
3933
  return "cegqi-bv-linear";
3934
}
3935
714
inline cegqiBvRmExtract__option_t::type cegqiBvRmExtract__option_t::operator()() const
3936
{
3937
714
  return (*Options::current())[*this];
3938
}
3939
inline bool cegqiBvRmExtract__option_t::wasSetByUser() const
3940
{
3941
  return Options::current()->wasSetByUser(*this);
3942
}
3943
inline void cegqiBvRmExtract__option_t::set(const cegqiBvRmExtract__option_t::type& v)
3944
{
3945
  Options::current()->set(*this, v);
3946
}
3947
inline const char* cegqiBvRmExtract__option_t::getName() const
3948
{
3949
  return "cegqi-bv-rm-extract";
3950
}
3951
3184
inline cegqiBvSolveNl__option_t::type cegqiBvSolveNl__option_t::operator()() const
3952
{
3953
3184
  return (*Options::current())[*this];
3954
}
3955
inline bool cegqiBvSolveNl__option_t::wasSetByUser() const
3956
{
3957
  return Options::current()->wasSetByUser(*this);
3958
}
3959
inline void cegqiBvSolveNl__option_t::set(const cegqiBvSolveNl__option_t::type& v)
3960
{
3961
  Options::current()->set(*this, v);
3962
}
3963
inline const char* cegqiBvSolveNl__option_t::getName() const
3964
{
3965
  return "cegqi-bv-solve-nl";
3966
}
3967
729
inline cegqiFullEffort__option_t::type cegqiFullEffort__option_t::operator()() const
3968
{
3969
729
  return (*Options::current())[*this];
3970
}
3971
1470
inline bool cegqiFullEffort__option_t::wasSetByUser() const
3972
{
3973
1470
  return Options::current()->wasSetByUser(*this);
3974
}
3975
1378
inline void cegqiFullEffort__option_t::set(const cegqiFullEffort__option_t::type& v)
3976
{
3977
1378
  Options::current()->set(*this, v);
3978
1378
}
3979
inline const char* cegqiFullEffort__option_t::getName() const
3980
{
3981
  return "cegqi-full";
3982
}
3983
27648
inline cegqiInnermost__option_t::type cegqiInnermost__option_t::operator()() const
3984
{
3985
27648
  return (*Options::current())[*this];
3986
}
3987
inline bool cegqiInnermost__option_t::wasSetByUser() const
3988
{
3989
  return Options::current()->wasSetByUser(*this);
3990
}
3991
inline void cegqiInnermost__option_t::set(const cegqiInnermost__option_t::type& v)
3992
{
3993
  Options::current()->set(*this, v);
3994
}
3995
inline const char* cegqiInnermost__option_t::getName() const
3996
{
3997
  return "cegqi-innermost";
3998
}
3999
2722
inline cegqiMidpoint__option_t::type cegqiMidpoint__option_t::operator()() const
4000
{
4001
2722
  return (*Options::current())[*this];
4002
}
4003
1319
inline bool cegqiMidpoint__option_t::wasSetByUser() const
4004
{
4005
1319
  return Options::current()->wasSetByUser(*this);
4006
}
4007
1319
inline void cegqiMidpoint__option_t::set(const cegqiMidpoint__option_t::type& v)
4008
{
4009
1319
  Options::current()->set(*this, v);
4010
1319
}
4011
inline const char* cegqiMidpoint__option_t::getName() const
4012
{
4013
  return "cegqi-midpoint";
4014
}
4015
5839
inline cegqiMinBounds__option_t::type cegqiMinBounds__option_t::operator()() const
4016
{
4017
5839
  return (*Options::current())[*this];
4018
}
4019
inline bool cegqiMinBounds__option_t::wasSetByUser() const
4020
{
4021
  return Options::current()->wasSetByUser(*this);
4022
}
4023
inline const char* cegqiMinBounds__option_t::getName() const
4024
{
4025
  return "cegqi-min-bounds";
4026
}
4027
34167
inline cegqiModel__option_t::type cegqiModel__option_t::operator()() const
4028
{
4029
34167
  return (*Options::current())[*this];
4030
}
4031
inline bool cegqiModel__option_t::wasSetByUser() const
4032
{
4033
  return Options::current()->wasSetByUser(*this);
4034
}
4035
inline void cegqiModel__option_t::set(const cegqiModel__option_t::type& v)
4036
{
4037
  Options::current()->set(*this, v);
4038
}
4039
inline const char* cegqiModel__option_t::getName() const
4040
{
4041
  return "cegqi-model";
4042
}
4043
34572
inline cegqiMultiInst__option_t::type cegqiMultiInst__option_t::operator()() const
4044
{
4045
34572
  return (*Options::current())[*this];
4046
}
4047
inline bool cegqiMultiInst__option_t::wasSetByUser() const
4048
{
4049
  return Options::current()->wasSetByUser(*this);
4050
}
4051
inline void cegqiMultiInst__option_t::set(const cegqiMultiInst__option_t::type& v)
4052
{
4053
  Options::current()->set(*this, v);
4054
}
4055
inline const char* cegqiMultiInst__option_t::getName() const
4056
{
4057
  return "cegqi-multi-inst";
4058
}
4059
14970
inline cegqiNestedQE__option_t::type cegqiNestedQE__option_t::operator()() const
4060
{
4061
14970
  return (*Options::current())[*this];
4062
}
4063
inline bool cegqiNestedQE__option_t::wasSetByUser() const
4064
{
4065
  return Options::current()->wasSetByUser(*this);
4066
}
4067
6888
inline void cegqiNestedQE__option_t::set(const cegqiNestedQE__option_t::type& v)
4068
{
4069
6888
  Options::current()->set(*this, v);
4070
6888
}
4071
inline const char* cegqiNestedQE__option_t::getName() const
4072
{
4073
  return "cegqi-nested-qe";
4074
}
4075
40
inline cegqiNopt__option_t::type cegqiNopt__option_t::operator()() const
4076
{
4077
40
  return (*Options::current())[*this];
4078
}
4079
inline bool cegqiNopt__option_t::wasSetByUser() const
4080
{
4081
  return Options::current()->wasSetByUser(*this);
4082
}
4083
inline const char* cegqiNopt__option_t::getName() const
4084
{
4085
  return "cegqi-nopt";
4086
}
4087
161138
inline cegqiRepeatLit__option_t::type cegqiRepeatLit__option_t::operator()() const
4088
{
4089
161138
  return (*Options::current())[*this];
4090
}
4091
inline bool cegqiRepeatLit__option_t::wasSetByUser() const
4092
{
4093
  return Options::current()->wasSetByUser(*this);
4094
}
4095
inline void cegqiRepeatLit__option_t::set(const cegqiRepeatLit__option_t::type& v)
4096
{
4097
  Options::current()->set(*this, v);
4098
}
4099
inline const char* cegqiRepeatLit__option_t::getName() const
4100
{
4101
  return "cegqi-repeat-lit";
4102
}
4103
5
inline cegqiRoundUpLowerLia__option_t::type cegqiRoundUpLowerLia__option_t::operator()() const
4104
{
4105
5
  return (*Options::current())[*this];
4106
}
4107
inline bool cegqiRoundUpLowerLia__option_t::wasSetByUser() const
4108
{
4109
  return Options::current()->wasSetByUser(*this);
4110
}
4111
inline const char* cegqiRoundUpLowerLia__option_t::getName() const
4112
{
4113
  return "cegqi-round-up-lia";
4114
}
4115
3589
inline cegqiSat__option_t::type cegqiSat__option_t::operator()() const
4116
{
4117
3589
  return (*Options::current())[*this];
4118
}
4119
inline bool cegqiSat__option_t::wasSetByUser() const
4120
{
4121
  return Options::current()->wasSetByUser(*this);
4122
}
4123
inline void cegqiSat__option_t::set(const cegqiSat__option_t::type& v)
4124
{
4125
  Options::current()->set(*this, v);
4126
}
4127
inline const char* cegqiSat__option_t::getName() const
4128
{
4129
  return "cegqi-sat";
4130
}
4131
5383
inline cegqiUseInfInt__option_t::type cegqiUseInfInt__option_t::operator()() const
4132
{
4133
5383
  return (*Options::current())[*this];
4134
}
4135
inline bool cegqiUseInfInt__option_t::wasSetByUser() const
4136
{
4137
  return Options::current()->wasSetByUser(*this);
4138
}
4139
inline void cegqiUseInfInt__option_t::set(const cegqiUseInfInt__option_t::type& v)
4140
{
4141
  Options::current()->set(*this, v);
4142
}
4143
inline const char* cegqiUseInfInt__option_t::getName() const
4144
{
4145
  return "cegqi-use-inf-int";
4146
}
4147
456
inline cegqiUseInfReal__option_t::type cegqiUseInfReal__option_t::operator()() const
4148
{
4149
456
  return (*Options::current())[*this];
4150
}
4151
inline bool cegqiUseInfReal__option_t::wasSetByUser() const
4152
{
4153
  return Options::current()->wasSetByUser(*this);
4154
}
4155
inline void cegqiUseInfReal__option_t::set(const cegqiUseInfReal__option_t::type& v)
4156
{
4157
  Options::current()->set(*this, v);
4158
}
4159
inline const char* cegqiUseInfReal__option_t::getName() const
4160
{
4161
  return "cegqi-use-inf-real";
4162
}
4163
20987
inline condVarSplitQuantAgg__option_t::type condVarSplitQuantAgg__option_t::operator()() const
4164
{
4165
20987
  return (*Options::current())[*this];
4166
}
4167
inline bool condVarSplitQuantAgg__option_t::wasSetByUser() const
4168
{
4169
  return Options::current()->wasSetByUser(*this);
4170
}
4171
inline const char* condVarSplitQuantAgg__option_t::getName() const
4172
{
4173
  return "cond-var-split-agg-quant";
4174
}
4175
207364
inline condVarSplitQuant__option_t::type condVarSplitQuant__option_t::operator()() const
4176
{
4177
207364
  return (*Options::current())[*this];
4178
}
4179
inline bool condVarSplitQuant__option_t::wasSetByUser() const
4180
{
4181
  return Options::current()->wasSetByUser(*this);
4182
}
4183
inline const char* condVarSplitQuant__option_t::getName() const
4184
{
4185
  return "cond-var-split-quant";
4186
}
4187
3245
inline conjectureFilterActiveTerms__option_t::type conjectureFilterActiveTerms__option_t::operator()() const
4188
{
4189
3245
  return (*Options::current())[*this];
4190
}
4191
4
inline bool conjectureFilterActiveTerms__option_t::wasSetByUser() const
4192
{
4193
4
  return Options::current()->wasSetByUser(*this);
4194
}
4195
4
inline void conjectureFilterActiveTerms__option_t::set(const conjectureFilterActiveTerms__option_t::type& v)
4196
{
4197
4
  Options::current()->set(*this, v);
4198
4
}
4199
inline const char* conjectureFilterActiveTerms__option_t::getName() const
4200
{
4201
  return "conjecture-filter-active-terms";
4202
}
4203
6593
inline conjectureFilterCanonical__option_t::type conjectureFilterCanonical__option_t::operator()() const
4204
{
4205
6593
  return (*Options::current())[*this];
4206
}
4207
4
inline bool conjectureFilterCanonical__option_t::wasSetByUser() const
4208
{
4209
4
  return Options::current()->wasSetByUser(*this);
4210
}
4211
4
inline void conjectureFilterCanonical__option_t::set(const conjectureFilterCanonical__option_t::type& v)
4212
{
4213
4
  Options::current()->set(*this, v);
4214
4
}
4215
inline const char* conjectureFilterCanonical__option_t::getName() const
4216
{
4217
  return "conjecture-filter-canonical";
4218
}
4219
14667
inline conjectureFilterModel__option_t::type conjectureFilterModel__option_t::operator()() const
4220
{
4221
14667
  return (*Options::current())[*this];
4222
}
4223
4
inline bool conjectureFilterModel__option_t::wasSetByUser() const
4224
{
4225
4
  return Options::current()->wasSetByUser(*this);
4226
}
4227
inline void conjectureFilterModel__option_t::set(const conjectureFilterModel__option_t::type& v)
4228
{
4229
  Options::current()->set(*this, v);
4230
}
4231
inline const char* conjectureFilterModel__option_t::getName() const
4232
{
4233
  return "conjecture-filter-model";
4234
}
4235
6052
inline conjectureGen__option_t::type conjectureGen__option_t::operator()() const
4236
{
4237
6052
  return (*Options::current())[*this];
4238
}
4239
inline bool conjectureGen__option_t::wasSetByUser() const
4240
{
4241
  return Options::current()->wasSetByUser(*this);
4242
}
4243
inline void conjectureGen__option_t::set(const conjectureGen__option_t::type& v)
4244
{
4245
  Options::current()->set(*this, v);
4246
}
4247
inline const char* conjectureGen__option_t::getName() const
4248
{
4249
  return "conjecture-gen";
4250
}
4251
92
inline conjectureGenGtEnum__option_t::type conjectureGenGtEnum__option_t::operator()() const
4252
{
4253
92
  return (*Options::current())[*this];
4254
}
4255
inline bool conjectureGenGtEnum__option_t::wasSetByUser() const
4256
{
4257
  return Options::current()->wasSetByUser(*this);
4258
}
4259
inline const char* conjectureGenGtEnum__option_t::getName() const
4260
{
4261
  return "conjecture-gen-gt-enum";
4262
}
4263
48
inline conjectureGenMaxDepth__option_t::type conjectureGenMaxDepth__option_t::operator()() const
4264
{
4265
48
  return (*Options::current())[*this];
4266
}
4267
inline bool conjectureGenMaxDepth__option_t::wasSetByUser() const
4268
{
4269
  return Options::current()->wasSetByUser(*this);
4270
}
4271
inline const char* conjectureGenMaxDepth__option_t::getName() const
4272
{
4273
  return "conjecture-gen-max-depth";
4274
}
4275
770
inline conjectureGenPerRound__option_t::type conjectureGenPerRound__option_t::operator()() const
4276
{
4277
770
  return (*Options::current())[*this];
4278
}
4279
8995
inline bool conjectureGenPerRound__option_t::wasSetByUser() const
4280
{
4281
8995
  return Options::current()->wasSetByUser(*this);
4282
}
4283
inline const char* conjectureGenPerRound__option_t::getName() const
4284
{
4285
  return "conjecture-gen-per-round";
4286
}
4287
97
inline conjectureUeeIntro__option_t::type conjectureUeeIntro__option_t::operator()() const
4288
{
4289
97
  return (*Options::current())[*this];
4290
}
4291
inline bool conjectureUeeIntro__option_t::wasSetByUser() const
4292
{
4293
  return Options::current()->wasSetByUser(*this);
4294
}
4295
inline const char* conjectureUeeIntro__option_t::getName() const
4296
{
4297
  return "conjecture-gen-uee-intro";
4298
}
4299
8995
inline conjectureNoFilter__option_t::type conjectureNoFilter__option_t::operator()() const
4300
{
4301
8995
  return (*Options::current())[*this];
4302
}
4303
inline bool conjectureNoFilter__option_t::wasSetByUser() const
4304
{
4305
  return Options::current()->wasSetByUser(*this);
4306
}
4307
inline const char* conjectureNoFilter__option_t::getName() const
4308
{
4309
  return "conjecture-no-filter";
4310
}
4311
12606
inline debugInst__option_t::type debugInst__option_t::operator()() const
4312
{
4313
12606
  return (*Options::current())[*this];
4314
}
4315
inline bool debugInst__option_t::wasSetByUser() const
4316
{
4317
  return Options::current()->wasSetByUser(*this);
4318
}
4319
inline void debugInst__option_t::set(const debugInst__option_t::type& v)
4320
{
4321
  Options::current()->set(*this, v);
4322
}
4323
inline const char* debugInst__option_t::getName() const
4324
{
4325
  return "debug-inst";
4326
}
4327
56223
inline debugSygus__option_t::type debugSygus__option_t::operator()() const
4328
{
4329
56223
  return (*Options::current())[*this];
4330
}
4331
inline bool debugSygus__option_t::wasSetByUser() const
4332
{
4333
  return Options::current()->wasSetByUser(*this);
4334
}
4335
inline void debugSygus__option_t::set(const debugSygus__option_t::type& v)
4336
{
4337
  Options::current()->set(*this, v);
4338
}
4339
inline const char* debugSygus__option_t::getName() const
4340
{
4341
  return "debug-sygus";
4342
}
4343
18435
inline dtStcInduction__option_t::type dtStcInduction__option_t::operator()() const
4344
{
4345
18435
  return (*Options::current())[*this];
4346
}
4347
10
inline bool dtStcInduction__option_t::wasSetByUser() const
4348
{
4349
10
  return Options::current()->wasSetByUser(*this);
4350
}
4351
10
inline void dtStcInduction__option_t::set(const dtStcInduction__option_t::type& v)
4352
{
4353
10
  Options::current()->set(*this, v);
4354
10
}
4355
inline const char* dtStcInduction__option_t::getName() const
4356
{
4357
  return "dt-stc-ind";
4358
}
4359
34
inline dtVarExpandQuant__option_t::type dtVarExpandQuant__option_t::operator()() const
4360
{
4361
34
  return (*Options::current())[*this];
4362
}
4363
inline bool dtVarExpandQuant__option_t::wasSetByUser() const
4364
{
4365
  return Options::current()->wasSetByUser(*this);
4366
}
4367
inline const char* dtVarExpandQuant__option_t::getName() const
4368
{
4369
  return "dt-var-exp-quant";
4370
}
4371
6076
inline eMatching__option_t::type eMatching__option_t::operator()() const
4372
{
4373
6076
  return (*Options::current())[*this];
4374
}
4375
250
inline bool eMatching__option_t::wasSetByUser() const
4376
{
4377
250
  return Options::current()->wasSetByUser(*this);
4378
}
4379
250
inline void eMatching__option_t::set(const eMatching__option_t::type& v)
4380
{
4381
250
  Options::current()->set(*this, v);
4382
250
}
4383
inline const char* eMatching__option_t::getName() const
4384
{
4385
  return "e-matching";
4386
}
4387
571594
inline elimTautQuant__option_t::type elimTautQuant__option_t::operator()() const
4388
{
4389
571594
  return (*Options::current())[*this];
4390
}
4391
inline bool elimTautQuant__option_t::wasSetByUser() const
4392
{
4393
  return Options::current()->wasSetByUser(*this);
4394
}
4395
inline const char* elimTautQuant__option_t::getName() const
4396
{
4397
  return "elim-taut-quant";
4398
}
4399
113539
inline extRewriteQuant__option_t::type extRewriteQuant__option_t::operator()() const
4400
{
4401
113539
  return (*Options::current())[*this];
4402
}
4403
inline bool extRewriteQuant__option_t::wasSetByUser() const
4404
{
4405
  return Options::current()->wasSetByUser(*this);
4406
}
4407
inline const char* extRewriteQuant__option_t::getName() const
4408
{
4409
  return "ext-rewrite-quant";
4410
}
4411
8885268
inline finiteModelFind__option_t::type finiteModelFind__option_t::operator()() const
4412
{
4413
8885268
  return (*Options::current())[*this];
4414
}
4415
58
inline bool finiteModelFind__option_t::wasSetByUser() const
4416
{
4417
58
  return Options::current()->wasSetByUser(*this);
4418
}
4419
83
inline void finiteModelFind__option_t::set(const finiteModelFind__option_t::type& v)
4420
{
4421
83
  Options::current()->set(*this, v);
4422
83
}
4423
inline const char* finiteModelFind__option_t::getName() const
4424
{
4425
  return "finite-model-find";
4426
}
4427
37310
inline fmfBound__option_t::type fmfBound__option_t::operator()() const
4428
{
4429
37310
  return (*Options::current())[*this];
4430
}
4431
555
inline bool fmfBound__option_t::wasSetByUser() const
4432
{
4433
555
  return Options::current()->wasSetByUser(*this);
4434
}
4435
569
inline void fmfBound__option_t::set(const fmfBound__option_t::type& v)
4436
{
4437
569
  Options::current()->set(*this, v);
4438
569
}
4439
inline const char* fmfBound__option_t::getName() const
4440
{
4441
  return "fmf-bound";
4442
}
4443
12
inline fmfBoundInt__option_t::type fmfBoundInt__option_t::operator()() const
4444
{
4445
12
  return (*Options::current())[*this];
4446
}
4447
8991
inline bool fmfBoundInt__option_t::wasSetByUser() const
4448
{
4449
8991
  return Options::current()->wasSetByUser(*this);
4450
}
4451
inline void fmfBoundInt__option_t::set(const fmfBoundInt__option_t::type& v)
4452
{
4453
  Options::current()->set(*this, v);
4454
}
4455
inline const char* fmfBoundInt__option_t::getName() const
4456
{
4457
  return "fmf-bound-int";
4458
}
4459
317
inline fmfBoundLazy__option_t::type fmfBoundLazy__option_t::operator()() const
4460
{
4461
317
  return (*Options::current())[*this];
4462
}
4463
8995
inline bool fmfBoundLazy__option_t::wasSetByUser() const
4464
{
4465
8995
  return Options::current()->wasSetByUser(*this);
4466
}
4467
inline void fmfBoundLazy__option_t::set(const fmfBoundLazy__option_t::type& v)
4468
{
4469
  Options::current()->set(*this, v);
4470
}
4471
inline const char* fmfBoundLazy__option_t::getName() const
4472
{
4473
  return "fmf-bound-lazy";
4474
}
4475
46734
inline fmfFmcSimple__option_t::type fmfFmcSimple__option_t::operator()() const
4476
{
4477
46734
  return (*Options::current())[*this];
4478
}
4479
inline bool fmfFmcSimple__option_t::wasSetByUser() const
4480
{
4481
  return Options::current()->wasSetByUser(*this);
4482
}
4483
inline const char* fmfFmcSimple__option_t::getName() const
4484
{
4485
  return "fmf-fmc-simple";
4486
}
4487
493
inline fmfFreshDistConst__option_t::type fmfFreshDistConst__option_t::operator()() const
4488
{
4489
493
  return (*Options::current())[*this];
4490
}
4491
inline bool fmfFreshDistConst__option_t::wasSetByUser() const
4492
{
4493
  return Options::current()->wasSetByUser(*this);
4494
}
4495
inline const char* fmfFreshDistConst__option_t::getName() const
4496
{
4497
  return "fmf-fresh-dc";
4498
}
4499
15425
inline fmfFunWellDefined__option_t::type fmfFunWellDefined__option_t::operator()() const
4500
{
4501
15425
  return (*Options::current())[*this];
4502
}
4503
14
inline bool fmfFunWellDefined__option_t::wasSetByUser() const
4504
{
4505
14
  return Options::current()->wasSetByUser(*this);
4506
}
4507
14
inline void fmfFunWellDefined__option_t::set(const fmfFunWellDefined__option_t::type& v)
4508
{
4509
14
  Options::current()->set(*this, v);
4510
14
}
4511
inline const char* fmfFunWellDefined__option_t::getName() const
4512
{
4513
  return "fmf-fun";
4514
}
4515
10611
inline fmfFunWellDefinedRelevant__option_t::type fmfFunWellDefinedRelevant__option_t::operator()() const
4516
{
4517
10611
  return (*Options::current())[*this];
4518
}
4519
inline bool fmfFunWellDefinedRelevant__option_t::wasSetByUser() const
4520
{
4521
  return Options::current()->wasSetByUser(*this);
4522
}
4523
inline const char* fmfFunWellDefinedRelevant__option_t::getName() const
4524
{
4525
  return "fmf-fun-rlv";
4526
}
4527
484
inline fmfInstEngine__option_t::type fmfInstEngine__option_t::operator()() const
4528
{
4529
484
  return (*Options::current())[*this];
4530
}
4531
inline bool fmfInstEngine__option_t::wasSetByUser() const
4532
{
4533
  return Options::current()->wasSetByUser(*this);
4534
}
4535
inline void fmfInstEngine__option_t::set(const fmfInstEngine__option_t::type& v)
4536
{
4537
  Options::current()->set(*this, v);
4538
}
4539
inline const char* fmfInstEngine__option_t::getName() const
4540
{
4541
  return "fmf-inst-engine";
4542
}
4543
8995
inline fmfTypeCompletionThresh__option_t::type fmfTypeCompletionThresh__option_t::operator()() const
4544
{
4545
8995
  return (*Options::current())[*this];
4546
}
4547
inline bool fmfTypeCompletionThresh__option_t::wasSetByUser() const
4548
{
4549
  return Options::current()->wasSetByUser(*this);
4550
}
4551
inline const char* fmfTypeCompletionThresh__option_t::getName() const
4552
{
4553
  return "fmf-type-completion-thresh";
4554
}
4555
11990
inline fullSaturateInterleave__option_t::type fullSaturateInterleave__option_t::operator()() const
4556
{
4557
11990
  return (*Options::current())[*this];
4558
}
4559
inline bool fullSaturateInterleave__option_t::wasSetByUser() const
4560
{
4561
  return Options::current()->wasSetByUser(*this);
4562
}
4563
inline const char* fullSaturateInterleave__option_t::getName() const
4564
{
4565
  return "fs-interleave";
4566
}
4567
1390
inline fullSaturateStratify__option_t::type fullSaturateStratify__option_t::operator()() const
4568
{
4569
1390
  return (*Options::current())[*this];
4570
}
4571
inline bool fullSaturateStratify__option_t::wasSetByUser() const
4572
{
4573
  return Options::current()->wasSetByUser(*this);
4574
}
4575
inline const char* fullSaturateStratify__option_t::getName() const
4576
{
4577
  return "fs-stratify";
4578
}
4579
1965
inline fullSaturateSum__option_t::type fullSaturateSum__option_t::operator()() const
4580
{
4581
1965
  return (*Options::current())[*this];
4582
}
4583
inline bool fullSaturateSum__option_t::wasSetByUser() const
4584
{
4585
  return Options::current()->wasSetByUser(*this);
4586
}
4587
inline const char* fullSaturateSum__option_t::getName() const
4588
{
4589
  return "fs-sum";
4590
}
4591
12069
inline fullSaturateQuant__option_t::type fullSaturateQuant__option_t::operator()() const
4592
{
4593
12069
  return (*Options::current())[*this];
4594
}
4595
inline bool fullSaturateQuant__option_t::wasSetByUser() const
4596
{
4597
  return Options::current()->wasSetByUser(*this);
4598
}
4599
inline void fullSaturateQuant__option_t::set(const fullSaturateQuant__option_t::type& v)
4600
{
4601
  Options::current()->set(*this, v);
4602
}
4603
inline const char* fullSaturateQuant__option_t::getName() const
4604
{
4605
  return "full-saturate-quant";
4606
}
4607
79
inline fullSaturateLimit__option_t::type fullSaturateLimit__option_t::operator()() const
4608
{
4609
79
  return (*Options::current())[*this];
4610
}
4611
inline bool fullSaturateLimit__option_t::wasSetByUser() const
4612
{
4613
  return Options::current()->wasSetByUser(*this);
4614
}
4615
inline const char* fullSaturateLimit__option_t::getName() const
4616
{
4617
  return "full-saturate-quant-limit";
4618
}
4619
127
inline fullSaturateQuantRd__option_t::type fullSaturateQuantRd__option_t::operator()() const
4620
{
4621
127
  return (*Options::current())[*this];
4622
}
4623
inline bool fullSaturateQuantRd__option_t::wasSetByUser() const
4624
{
4625
  return Options::current()->wasSetByUser(*this);
4626
}
4627
inline const char* fullSaturateQuantRd__option_t::getName() const
4628
{
4629
  return "full-saturate-quant-rd";
4630
}
4631
35332
inline globalNegate__option_t::type globalNegate__option_t::operator()() const
4632
{
4633
35332
  return (*Options::current())[*this];
4634
}
4635
inline bool globalNegate__option_t::wasSetByUser() const
4636
{
4637
  return Options::current()->wasSetByUser(*this);
4638
}
4639
1529
inline void globalNegate__option_t::set(const globalNegate__option_t::type& v)
4640
{
4641
1529
  Options::current()->set(*this, v);
4642
1529
}
4643
inline const char* globalNegate__option_t::getName() const
4644
{
4645
  return "global-negate";
4646
}
4647
28057
inline hoElim__option_t::type hoElim__option_t::operator()() const
4648
{
4649
28057
  return (*Options::current())[*this];
4650
}
4651
inline bool hoElim__option_t::wasSetByUser() const
4652
{
4653
  return Options::current()->wasSetByUser(*this);
4654
}
4655
inline const char* hoElim__option_t::getName() const
4656
{
4657
  return "ho-elim";
4658
}