GCC Code Coverage Report
Directory: . Exec Total Coverage
File: build-coverage/src/options/arith_options.h Lines: 117 168 69.6 %
Date: 2021-03-23 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__ARITH_H
21
#define CVC4__OPTIONS__ARITH_H
22
23
#include "options/options.h"
24
25
26
27
28
#define CVC4_OPTIONS__ARITH__FOR_OPTION_HOLDER \
29
  maxApproxDepth__option_t::type maxApproxDepth;\
30
  bool maxApproxDepth__setByUser__; \
31
  brabTest__option_t::type brabTest;\
32
  bool brabTest__setByUser__; \
33
  arithNoPartialFun__option_t::type arithNoPartialFun;\
34
  bool arithNoPartialFun__setByUser__; \
35
  arithPropAsLemmaLength__option_t::type arithPropAsLemmaLength;\
36
  bool arithPropAsLemmaLength__setByUser__; \
37
  arithPropagationMode__option_t::type arithPropagationMode;\
38
  bool arithPropagationMode__setByUser__; \
39
  arithRewriteEq__option_t::type arithRewriteEq;\
40
  bool arithRewriteEq__setByUser__; \
41
  collectPivots__option_t::type collectPivots;\
42
  bool collectPivots__setByUser__; \
43
  doCutAllBounded__option_t::type doCutAllBounded;\
44
  bool doCutAllBounded__setByUser__; \
45
  exportDioDecompositions__option_t::type exportDioDecompositions;\
46
  bool exportDioDecompositions__setByUser__; \
47
  dioRepeat__option_t::type dioRepeat;\
48
  bool dioRepeat__setByUser__; \
49
  arithDioSolver__option_t::type arithDioSolver;\
50
  bool arithDioSolver__setByUser__; \
51
  dioSolverTurns__option_t::type dioSolverTurns;\
52
  bool dioSolverTurns__setByUser__; \
53
  arithErrorSelectionRule__option_t::type arithErrorSelectionRule;\
54
  bool arithErrorSelectionRule__setByUser__; \
55
  havePenalties__option_t::type havePenalties;\
56
  bool havePenalties__setByUser__; \
57
  arithHeuristicPivots__option_t::type arithHeuristicPivots;\
58
  bool arithHeuristicPivots__setByUser__; \
59
  replayFailureLemma__option_t::type replayFailureLemma;\
60
  bool replayFailureLemma__setByUser__; \
61
  maxCutsInContext__option_t::type maxCutsInContext;\
62
  bool maxCutsInContext__setByUser__; \
63
  arithMLTrick__option_t::type arithMLTrick;\
64
  bool arithMLTrick__setByUser__; \
65
  arithMLTrickSubstitutions__option_t::type arithMLTrickSubstitutions;\
66
  bool arithMLTrickSubstitutions__setByUser__; \
67
  newProp__option_t::type newProp;\
68
  bool newProp__setByUser__; \
69
  nlCad__option_t::type nlCad;\
70
  bool nlCad__setByUser__; \
71
  nlCadUseInitial__option_t::type nlCadUseInitial;\
72
  bool nlCadUseInitial__setByUser__; \
73
  nlExt__option_t::type nlExt;\
74
  bool nlExt__setByUser__; \
75
  nlExtEntailConflicts__option_t::type nlExtEntailConflicts;\
76
  bool nlExtEntailConflicts__setByUser__; \
77
  nlExtFactor__option_t::type nlExtFactor;\
78
  bool nlExtFactor__setByUser__; \
79
  nlExtIncPrecision__option_t::type nlExtIncPrecision;\
80
  bool nlExtIncPrecision__setByUser__; \
81
  nlExtPurify__option_t::type nlExtPurify;\
82
  bool nlExtPurify__setByUser__; \
83
  nlExtResBound__option_t::type nlExtResBound;\
84
  bool nlExtResBound__setByUser__; \
85
  nlExtRewrites__option_t::type nlExtRewrites;\
86
  bool nlExtRewrites__setByUser__; \
87
  nlExtSplitZero__option_t::type nlExtSplitZero;\
88
  bool nlExtSplitZero__setByUser__; \
89
  nlExtTfTaylorDegree__option_t::type nlExtTfTaylorDegree;\
90
  bool nlExtTfTaylorDegree__setByUser__; \
91
  nlExtTfTangentPlanes__option_t::type nlExtTfTangentPlanes;\
92
  bool nlExtTfTangentPlanes__setByUser__; \
93
  nlExtTangentPlanes__option_t::type nlExtTangentPlanes;\
94
  bool nlExtTangentPlanes__setByUser__; \
95
  nlExtTangentPlanesInterleave__option_t::type nlExtTangentPlanesInterleave;\
96
  bool nlExtTangentPlanesInterleave__setByUser__; \
97
  nlICP__option_t::type nlICP;\
98
  bool nlICP__setByUser__; \
99
  nlRlvMode__option_t::type nlRlvMode;\
100
  bool nlRlvMode__setByUser__; \
101
  pbRewrites__option_t::type pbRewrites;\
102
  bool pbRewrites__setByUser__; \
103
  arithPivotThreshold__option_t::type arithPivotThreshold;\
104
  bool arithPivotThreshold__setByUser__; \
105
  ppAssertMaxSubSize__option_t::type ppAssertMaxSubSize;\
106
  bool ppAssertMaxSubSize__setByUser__; \
107
  arithPropagateMaxLength__option_t::type arithPropagateMaxLength;\
108
  bool arithPropagateMaxLength__setByUser__; \
109
  replayEarlyCloseDepths__option_t::type replayEarlyCloseDepths;\
110
  bool replayEarlyCloseDepths__setByUser__; \
111
  replayFailurePenalty__option_t::type replayFailurePenalty;\
112
  bool replayFailurePenalty__setByUser__; \
113
  lemmaRejectCutSize__option_t::type lemmaRejectCutSize;\
114
  bool lemmaRejectCutSize__setByUser__; \
115
  replayNumericFailurePenalty__option_t::type replayNumericFailurePenalty;\
116
  bool replayNumericFailurePenalty__setByUser__; \
117
  replayRejectCutSize__option_t::type replayRejectCutSize;\
118
  bool replayRejectCutSize__setByUser__; \
119
  soiApproxMajorFailurePen__option_t::type soiApproxMajorFailurePen;\
120
  bool soiApproxMajorFailurePen__setByUser__; \
121
  soiApproxMajorFailure__option_t::type soiApproxMajorFailure;\
122
  bool soiApproxMajorFailure__setByUser__; \
123
  soiApproxMinorFailurePen__option_t::type soiApproxMinorFailurePen;\
124
  bool soiApproxMinorFailurePen__setByUser__; \
125
  soiApproxMinorFailure__option_t::type soiApproxMinorFailure;\
126
  bool soiApproxMinorFailure__setByUser__; \
127
  restrictedPivots__option_t::type restrictedPivots;\
128
  bool restrictedPivots__setByUser__; \
129
  revertArithModels__option_t::type revertArithModels;\
130
  bool revertArithModels__setByUser__; \
131
  rrTurns__option_t::type rrTurns;\
132
  bool rrTurns__setByUser__; \
133
  trySolveIntStandardEffort__option_t::type trySolveIntStandardEffort;\
134
  bool trySolveIntStandardEffort__setByUser__; \
135
  arithSimplexCheckPeriod__option_t::type arithSimplexCheckPeriod;\
136
  bool arithSimplexCheckPeriod__setByUser__; \
137
  soiQuickExplain__option_t::type soiQuickExplain;\
138
  bool soiQuickExplain__setByUser__; \
139
  arithStandardCheckVarOrderPivots__option_t::type arithStandardCheckVarOrderPivots;\
140
  bool arithStandardCheckVarOrderPivots__setByUser__; \
141
  arithUnateLemmaMode__option_t::type arithUnateLemmaMode;\
142
  bool arithUnateLemmaMode__setByUser__; \
143
  useApprox__option_t::type useApprox;\
144
  bool useApprox__setByUser__; \
145
  useFC__option_t::type useFC;\
146
  bool useFC__setByUser__; \
147
  useSOI__option_t::type useSOI;\
148
  bool useSOI__setByUser__;
149
150
151
namespace CVC4 {
152
153
namespace options {
154
155
156
enum class ArithPropagationMode
157
{
158
  BOTH_PROP,
159
  UNATE_PROP,
160
  BOUND_INFERENCE_PROP,
161
  NO_PROP
162
};
163
std::ostream&
164
operator<<(std::ostream& os, ArithPropagationMode mode);
165
ArithPropagationMode
166
stringToArithPropagationMode(const std::string& option, const std::string& optarg);
167
enum class ErrorSelectionRule
168
{
169
  VAR_ORDER,
170
  SUM_METRIC,
171
  MAXIMUM_AMOUNT,
172
  MINIMUM_AMOUNT
173
};
174
std::ostream&
175
operator<<(std::ostream& os, ErrorSelectionRule mode);
176
ErrorSelectionRule
177
stringToErrorSelectionRule(const std::string& option, const std::string& optarg);
178
enum class NlRlvMode
179
{
180
  ALWAYS,
181
  INTERLEAVE,
182
  NONE
183
};
184
std::ostream&
185
operator<<(std::ostream& os, NlRlvMode mode);
186
NlRlvMode
187
stringToNlRlvMode(const std::string& option, const std::string& optarg);
188
enum class ArithUnateLemmaMode
189
{
190
  ALL,
191
  INEQUALITY,
192
  NO,
193
  EQUALITY
194
};
195
std::ostream&
196
operator<<(std::ostream& os, ArithUnateLemmaMode mode);
197
ArithUnateLemmaMode
198
stringToArithUnateLemmaMode(const std::string& option, const std::string& optarg);
199
200
extern struct maxApproxDepth__option_t
201
{
202
  typedef int16_t type;
203
  type operator()() const;
204
  bool wasSetByUser() const;
205
  void set(const type& v);
206
  const char* getName() const;
207
} thread_local maxApproxDepth;
208
extern struct brabTest__option_t
209
{
210
  typedef bool type;
211
  type operator()() const;
212
  bool wasSetByUser() const;
213
  const char* getName() const;
214
} thread_local brabTest;
215
extern struct arithNoPartialFun__option_t
216
{
217
  typedef bool type;
218
  type operator()() const;
219
  bool wasSetByUser() const;
220
  const char* getName() const;
221
} thread_local arithNoPartialFun;
222
extern struct arithPropAsLemmaLength__option_t
223
{
224
  typedef uint16_t type;
225
  type operator()() const;
226
  bool wasSetByUser() const;
227
  void set(const type& v);
228
  const char* getName() const;
229
} thread_local arithPropAsLemmaLength;
230
extern struct arithPropagationMode__option_t
231
{
232
  typedef ArithPropagationMode type;
233
  type operator()() const;
234
  bool wasSetByUser() const;
235
  const char* getName() const;
236
} thread_local arithPropagationMode;
237
extern struct arithRewriteEq__option_t
238
{
239
  typedef bool type;
240
  type operator()() const;
241
  bool wasSetByUser() const;
242
  void set(const type& v);
243
  const char* getName() const;
244
} thread_local arithRewriteEq;
245
extern struct collectPivots__option_t
246
{
247
  typedef bool type;
248
  type operator()() const;
249
  bool wasSetByUser() const;
250
  void set(const type& v);
251
  const char* getName() const;
252
} thread_local collectPivots;
253
extern struct doCutAllBounded__option_t
254
{
255
  typedef bool type;
256
  type operator()() const;
257
  bool wasSetByUser() const;
258
  void set(const type& v);
259
  const char* getName() const;
260
} thread_local doCutAllBounded;
261
extern struct exportDioDecompositions__option_t
262
{
263
  typedef bool type;
264
  type operator()() const;
265
  bool wasSetByUser() const;
266
  void set(const type& v);
267
  const char* getName() const;
268
} thread_local exportDioDecompositions;
269
extern struct dioRepeat__option_t
270
{
271
  typedef bool type;
272
  type operator()() const;
273
  bool wasSetByUser() const;
274
  const char* getName() const;
275
} thread_local dioRepeat;
276
extern struct arithDioSolver__option_t
277
{
278
  typedef bool type;
279
  type operator()() const;
280
  bool wasSetByUser() const;
281
  const char* getName() const;
282
} thread_local arithDioSolver;
283
extern struct dioSolverTurns__option_t
284
{
285
  typedef int type;
286
  type operator()() const;
287
  bool wasSetByUser() const;
288
  const char* getName() const;
289
} thread_local dioSolverTurns;
290
extern struct arithErrorSelectionRule__option_t
291
{
292
  typedef ErrorSelectionRule type;
293
  type operator()() const;
294
  bool wasSetByUser() const;
295
  const char* getName() const;
296
} thread_local arithErrorSelectionRule;
297
extern struct havePenalties__option_t
298
{
299
  typedef bool type;
300
  type operator()() const;
301
  bool wasSetByUser() const;
302
  void set(const type& v);
303
  const char* getName() const;
304
} thread_local havePenalties;
305
extern struct arithHeuristicPivots__option_t
306
{
307
  typedef int16_t type;
308
  type operator()() const;
309
  bool wasSetByUser() const;
310
  void set(const type& v);
311
  const char* getName() const;
312
} thread_local arithHeuristicPivots;
313
extern struct replayFailureLemma__option_t
314
{
315
  typedef bool type;
316
  type operator()() const;
317
  bool wasSetByUser() const;
318
  const char* getName() const;
319
} thread_local replayFailureLemma;
320
extern struct maxCutsInContext__option_t
321
{
322
  typedef unsigned type;
323
  type operator()() const;
324
  bool wasSetByUser() const;
325
  const char* getName() const;
326
} thread_local maxCutsInContext;
327
extern struct arithMLTrick__option_t
328
{
329
  typedef bool type;
330
  type operator()() const;
331
  bool wasSetByUser() const;
332
  void set(const type& v);
333
  const char* getName() const;
334
} thread_local arithMLTrick;
335
extern struct arithMLTrickSubstitutions__option_t
336
{
337
  typedef unsigned type;
338
  type operator()() const;
339
  bool wasSetByUser() const;
340
  const char* getName() const;
341
} thread_local arithMLTrickSubstitutions;
342
extern struct newProp__option_t
343
{
344
  typedef bool type;
345
  type operator()() const;
346
  bool wasSetByUser() const;
347
  void set(const type& v);
348
  const char* getName() const;
349
} thread_local newProp;
350
extern struct nlCad__option_t
351
{
352
  typedef bool type;
353
  type operator()() const;
354
  bool wasSetByUser() const;
355
  void set(const type& v);
356
  const char* getName() const;
357
} thread_local nlCad;
358
extern struct nlCadUseInitial__option_t
359
{
360
  typedef bool type;
361
  type operator()() const;
362
  bool wasSetByUser() const;
363
  void set(const type& v);
364
  const char* getName() const;
365
} thread_local nlCadUseInitial;
366
extern struct nlExt__option_t
367
{
368
  typedef bool type;
369
  type operator()() const;
370
  bool wasSetByUser() const;
371
  void set(const type& v);
372
  const char* getName() const;
373
} thread_local nlExt;
374
extern struct nlExtEntailConflicts__option_t
375
{
376
  typedef bool type;
377
  type operator()() const;
378
  bool wasSetByUser() const;
379
  const char* getName() const;
380
} thread_local nlExtEntailConflicts;
381
extern struct nlExtFactor__option_t
382
{
383
  typedef bool type;
384
  type operator()() const;
385
  bool wasSetByUser() const;
386
  const char* getName() const;
387
} thread_local nlExtFactor;
388
extern struct nlExtIncPrecision__option_t
389
{
390
  typedef bool type;
391
  type operator()() const;
392
  bool wasSetByUser() const;
393
  const char* getName() const;
394
} thread_local nlExtIncPrecision;
395
extern struct nlExtPurify__option_t
396
{
397
  typedef bool type;
398
  type operator()() const;
399
  bool wasSetByUser() const;
400
  const char* getName() const;
401
} thread_local nlExtPurify;
402
extern struct nlExtResBound__option_t
403
{
404
  typedef bool type;
405
  type operator()() const;
406
  bool wasSetByUser() const;
407
  const char* getName() const;
408
} thread_local nlExtResBound;
409
extern struct nlExtRewrites__option_t
410
{
411
  typedef bool type;
412
  type operator()() const;
413
  bool wasSetByUser() const;
414
  const char* getName() const;
415
} thread_local nlExtRewrites;
416
extern struct nlExtSplitZero__option_t
417
{
418
  typedef bool type;
419
  type operator()() const;
420
  bool wasSetByUser() const;
421
  const char* getName() const;
422
} thread_local nlExtSplitZero;
423
extern struct nlExtTfTaylorDegree__option_t
424
{
425
  typedef int16_t type;
426
  type operator()() const;
427
  bool wasSetByUser() const;
428
  void set(const type& v);
429
  const char* getName() const;
430
} thread_local nlExtTfTaylorDegree;
431
extern struct nlExtTfTangentPlanes__option_t
432
{
433
  typedef bool type;
434
  type operator()() const;
435
  bool wasSetByUser() const;
436
  const char* getName() const;
437
} thread_local nlExtTfTangentPlanes;
438
extern struct nlExtTangentPlanes__option_t
439
{
440
  typedef bool type;
441
  type operator()() const;
442
  bool wasSetByUser() const;
443
  void set(const type& v);
444
  const char* getName() const;
445
} thread_local nlExtTangentPlanes;
446
extern struct nlExtTangentPlanesInterleave__option_t
447
{
448
  typedef bool type;
449
  type operator()() const;
450
  bool wasSetByUser() const;
451
  void set(const type& v);
452
  const char* getName() const;
453
} thread_local nlExtTangentPlanesInterleave;
454
extern struct nlICP__option_t
455
{
456
  typedef bool type;
457
  type operator()() const;
458
  bool wasSetByUser() const;
459
  void set(const type& v);
460
  const char* getName() const;
461
} thread_local nlICP;
462
extern struct nlRlvMode__option_t
463
{
464
  typedef NlRlvMode type;
465
  type operator()() const;
466
  bool wasSetByUser() const;
467
  void set(const type& v);
468
  const char* getName() const;
469
} thread_local nlRlvMode;
470
extern struct pbRewrites__option_t
471
{
472
  typedef bool type;
473
  type operator()() const;
474
  bool wasSetByUser() const;
475
  void set(const type& v);
476
  const char* getName() const;
477
} thread_local pbRewrites;
478
extern struct arithPivotThreshold__option_t
479
{
480
  typedef uint16_t type;
481
  type operator()() const;
482
  bool wasSetByUser() const;
483
  void set(const type& v);
484
  const char* getName() const;
485
} thread_local arithPivotThreshold;
486
extern struct ppAssertMaxSubSize__option_t
487
{
488
  typedef unsigned type;
489
  type operator()() const;
490
  bool wasSetByUser() const;
491
  const char* getName() const;
492
} thread_local ppAssertMaxSubSize;
493
extern struct arithPropagateMaxLength__option_t
494
{
495
  typedef uint16_t type;
496
  type operator()() const;
497
  bool wasSetByUser() const;
498
  const char* getName() const;
499
} thread_local arithPropagateMaxLength;
500
extern struct replayEarlyCloseDepths__option_t
501
{
502
  typedef int type;
503
  type operator()() const;
504
  bool wasSetByUser() const;
505
  const char* getName() const;
506
} thread_local replayEarlyCloseDepths;
507
extern struct replayFailurePenalty__option_t
508
{
509
  typedef int type;
510
  type operator()() const;
511
  bool wasSetByUser() const;
512
  const char* getName() const;
513
} thread_local replayFailurePenalty;
514
extern struct lemmaRejectCutSize__option_t
515
{
516
  typedef unsigned type;
517
  type operator()() const;
518
  bool wasSetByUser() const;
519
  const char* getName() const;
520
} thread_local lemmaRejectCutSize;
521
extern struct replayNumericFailurePenalty__option_t
522
{
523
  typedef int type;
524
  type operator()() const;
525
  bool wasSetByUser() const;
526
  const char* getName() const;
527
} thread_local replayNumericFailurePenalty;
528
extern struct replayRejectCutSize__option_t
529
{
530
  typedef unsigned type;
531
  type operator()() const;
532
  bool wasSetByUser() const;
533
  const char* getName() const;
534
} thread_local replayRejectCutSize;
535
extern struct soiApproxMajorFailurePen__option_t
536
{
537
  typedef int type;
538
  type operator()() const;
539
  bool wasSetByUser() const;
540
  const char* getName() const;
541
} thread_local soiApproxMajorFailurePen;
542
extern struct soiApproxMajorFailure__option_t
543
{
544
  typedef double type;
545
  type operator()() const;
546
  bool wasSetByUser() const;
547
  const char* getName() const;
548
} thread_local soiApproxMajorFailure;
549
extern struct soiApproxMinorFailurePen__option_t
550
{
551
  typedef int type;
552
  type operator()() const;
553
  bool wasSetByUser() const;
554
  const char* getName() const;
555
} thread_local soiApproxMinorFailurePen;
556
extern struct soiApproxMinorFailure__option_t
557
{
558
  typedef double type;
559
  type operator()() const;
560
  bool wasSetByUser() const;
561
  const char* getName() const;
562
} thread_local soiApproxMinorFailure;
563
extern struct restrictedPivots__option_t
564
{
565
  typedef bool type;
566
  type operator()() const;
567
  bool wasSetByUser() const;
568
  void set(const type& v);
569
  const char* getName() const;
570
} thread_local restrictedPivots;
571
extern struct revertArithModels__option_t
572
{
573
  typedef bool type;
574
  type operator()() const;
575
  bool wasSetByUser() const;
576
  const char* getName() const;
577
} thread_local revertArithModels;
578
extern struct rrTurns__option_t
579
{
580
  typedef int type;
581
  type operator()() const;
582
  bool wasSetByUser() const;
583
  const char* getName() const;
584
} thread_local rrTurns;
585
extern struct trySolveIntStandardEffort__option_t
586
{
587
  typedef bool type;
588
  type operator()() const;
589
  bool wasSetByUser() const;
590
  const char* getName() const;
591
} thread_local trySolveIntStandardEffort;
592
extern struct arithSimplexCheckPeriod__option_t
593
{
594
  typedef uint16_t type;
595
  type operator()() const;
596
  bool wasSetByUser() const;
597
  const char* getName() const;
598
} thread_local arithSimplexCheckPeriod;
599
extern struct soiQuickExplain__option_t
600
{
601
  typedef bool type;
602
  type operator()() const;
603
  bool wasSetByUser() const;
604
  void set(const type& v);
605
  const char* getName() const;
606
} thread_local soiQuickExplain;
607
extern struct arithStandardCheckVarOrderPivots__option_t
608
{
609
  typedef int16_t type;
610
  type operator()() const;
611
  bool wasSetByUser() const;
612
  void set(const type& v);
613
  const char* getName() const;
614
} thread_local arithStandardCheckVarOrderPivots;
615
extern struct arithUnateLemmaMode__option_t
616
{
617
  typedef ArithUnateLemmaMode type;
618
  type operator()() const;
619
  bool wasSetByUser() const;
620
  const char* getName() const;
621
} thread_local arithUnateLemmaMode;
622
extern struct useApprox__option_t
623
{
624
  typedef bool type;
625
  type operator()() const;
626
  bool wasSetByUser() const;
627
  void set(const type& v);
628
  const char* getName() const;
629
} thread_local useApprox;
630
extern struct useFC__option_t
631
{
632
  typedef bool type;
633
  type operator()() const;
634
  bool wasSetByUser() const;
635
  void set(const type& v);
636
  const char* getName() const;
637
} thread_local useFC;
638
extern struct useSOI__option_t
639
{
640
  typedef bool type;
641
  type operator()() const;
642
  bool wasSetByUser() const;
643
  void set(const type& v);
644
  const char* getName() const;
645
} thread_local useSOI;
646
647
}  // namespace options
648
649
template <> void Options::set(
650
    options::maxApproxDepth__option_t,
651
    const options::maxApproxDepth__option_t::type& x);
652
template <> const options::maxApproxDepth__option_t::type& Options::operator[](
653
    options::maxApproxDepth__option_t) const;
654
template <> bool Options::wasSetByUser(options::maxApproxDepth__option_t) const;
655
template <> void Options::assign(
656
    options::maxApproxDepth__option_t,
657
    std::string option,
658
    std::string value);
659
template <> const options::brabTest__option_t::type& Options::operator[](
660
    options::brabTest__option_t) const;
661
template <> bool Options::wasSetByUser(options::brabTest__option_t) const;
662
template <> void Options::assignBool(
663
    options::brabTest__option_t,
664
    std::string option,
665
    bool value);
666
template <> const options::arithNoPartialFun__option_t::type& Options::operator[](
667
    options::arithNoPartialFun__option_t) const;
668
template <> bool Options::wasSetByUser(options::arithNoPartialFun__option_t) const;
669
template <> void Options::assignBool(
670
    options::arithNoPartialFun__option_t,
671
    std::string option,
672
    bool value);
673
template <> void Options::set(
674
    options::arithPropAsLemmaLength__option_t,
675
    const options::arithPropAsLemmaLength__option_t::type& x);
676
template <> const options::arithPropAsLemmaLength__option_t::type& Options::operator[](
677
    options::arithPropAsLemmaLength__option_t) const;
678
template <> bool Options::wasSetByUser(options::arithPropAsLemmaLength__option_t) const;
679
template <> void Options::assign(
680
    options::arithPropAsLemmaLength__option_t,
681
    std::string option,
682
    std::string value);
683
template <> const options::arithPropagationMode__option_t::type& Options::operator[](
684
    options::arithPropagationMode__option_t) const;
685
template <> bool Options::wasSetByUser(options::arithPropagationMode__option_t) const;
686
template <> void Options::assign(
687
    options::arithPropagationMode__option_t,
688
    std::string option,
689
    std::string value);
690
template <> void Options::set(
691
    options::arithRewriteEq__option_t,
692
    const options::arithRewriteEq__option_t::type& x);
693
template <> const options::arithRewriteEq__option_t::type& Options::operator[](
694
    options::arithRewriteEq__option_t) const;
695
template <> bool Options::wasSetByUser(options::arithRewriteEq__option_t) const;
696
template <> void Options::assignBool(
697
    options::arithRewriteEq__option_t,
698
    std::string option,
699
    bool value);
700
template <> void Options::set(
701
    options::collectPivots__option_t,
702
    const options::collectPivots__option_t::type& x);
703
template <> const options::collectPivots__option_t::type& Options::operator[](
704
    options::collectPivots__option_t) const;
705
template <> bool Options::wasSetByUser(options::collectPivots__option_t) const;
706
template <> void Options::assignBool(
707
    options::collectPivots__option_t,
708
    std::string option,
709
    bool value);
710
template <> void Options::set(
711
    options::doCutAllBounded__option_t,
712
    const options::doCutAllBounded__option_t::type& x);
713
template <> const options::doCutAllBounded__option_t::type& Options::operator[](
714
    options::doCutAllBounded__option_t) const;
715
template <> bool Options::wasSetByUser(options::doCutAllBounded__option_t) const;
716
template <> void Options::assignBool(
717
    options::doCutAllBounded__option_t,
718
    std::string option,
719
    bool value);
720
template <> void Options::set(
721
    options::exportDioDecompositions__option_t,
722
    const options::exportDioDecompositions__option_t::type& x);
723
template <> const options::exportDioDecompositions__option_t::type& Options::operator[](
724
    options::exportDioDecompositions__option_t) const;
725
template <> bool Options::wasSetByUser(options::exportDioDecompositions__option_t) const;
726
template <> void Options::assignBool(
727
    options::exportDioDecompositions__option_t,
728
    std::string option,
729
    bool value);
730
template <> const options::dioRepeat__option_t::type& Options::operator[](
731
    options::dioRepeat__option_t) const;
732
template <> bool Options::wasSetByUser(options::dioRepeat__option_t) const;
733
template <> void Options::assignBool(
734
    options::dioRepeat__option_t,
735
    std::string option,
736
    bool value);
737
template <> const options::arithDioSolver__option_t::type& Options::operator[](
738
    options::arithDioSolver__option_t) const;
739
template <> bool Options::wasSetByUser(options::arithDioSolver__option_t) const;
740
template <> void Options::assignBool(
741
    options::arithDioSolver__option_t,
742
    std::string option,
743
    bool value);
744
template <> const options::dioSolverTurns__option_t::type& Options::operator[](
745
    options::dioSolverTurns__option_t) const;
746
template <> bool Options::wasSetByUser(options::dioSolverTurns__option_t) const;
747
template <> void Options::assign(
748
    options::dioSolverTurns__option_t,
749
    std::string option,
750
    std::string value);
751
template <> const options::arithErrorSelectionRule__option_t::type& Options::operator[](
752
    options::arithErrorSelectionRule__option_t) const;
753
template <> bool Options::wasSetByUser(options::arithErrorSelectionRule__option_t) const;
754
template <> void Options::assign(
755
    options::arithErrorSelectionRule__option_t,
756
    std::string option,
757
    std::string value);
758
template <> void Options::set(
759
    options::havePenalties__option_t,
760
    const options::havePenalties__option_t::type& x);
761
template <> const options::havePenalties__option_t::type& Options::operator[](
762
    options::havePenalties__option_t) const;
763
template <> bool Options::wasSetByUser(options::havePenalties__option_t) const;
764
template <> void Options::assignBool(
765
    options::havePenalties__option_t,
766
    std::string option,
767
    bool value);
768
template <> void Options::set(
769
    options::arithHeuristicPivots__option_t,
770
    const options::arithHeuristicPivots__option_t::type& x);
771
template <> const options::arithHeuristicPivots__option_t::type& Options::operator[](
772
    options::arithHeuristicPivots__option_t) const;
773
template <> bool Options::wasSetByUser(options::arithHeuristicPivots__option_t) const;
774
template <> void Options::assign(
775
    options::arithHeuristicPivots__option_t,
776
    std::string option,
777
    std::string value);
778
template <> const options::replayFailureLemma__option_t::type& Options::operator[](
779
    options::replayFailureLemma__option_t) const;
780
template <> bool Options::wasSetByUser(options::replayFailureLemma__option_t) const;
781
template <> void Options::assignBool(
782
    options::replayFailureLemma__option_t,
783
    std::string option,
784
    bool value);
785
template <> const options::maxCutsInContext__option_t::type& Options::operator[](
786
    options::maxCutsInContext__option_t) const;
787
template <> bool Options::wasSetByUser(options::maxCutsInContext__option_t) const;
788
template <> void Options::assign(
789
    options::maxCutsInContext__option_t,
790
    std::string option,
791
    std::string value);
792
template <> void Options::set(
793
    options::arithMLTrick__option_t,
794
    const options::arithMLTrick__option_t::type& x);
795
template <> const options::arithMLTrick__option_t::type& Options::operator[](
796
    options::arithMLTrick__option_t) const;
797
template <> bool Options::wasSetByUser(options::arithMLTrick__option_t) const;
798
template <> void Options::assignBool(
799
    options::arithMLTrick__option_t,
800
    std::string option,
801
    bool value);
802
template <> const options::arithMLTrickSubstitutions__option_t::type& Options::operator[](
803
    options::arithMLTrickSubstitutions__option_t) const;
804
template <> bool Options::wasSetByUser(options::arithMLTrickSubstitutions__option_t) const;
805
template <> void Options::assign(
806
    options::arithMLTrickSubstitutions__option_t,
807
    std::string option,
808
    std::string value);
809
template <> void Options::set(
810
    options::newProp__option_t,
811
    const options::newProp__option_t::type& x);
812
template <> const options::newProp__option_t::type& Options::operator[](
813
    options::newProp__option_t) const;
814
template <> bool Options::wasSetByUser(options::newProp__option_t) const;
815
template <> void Options::assignBool(
816
    options::newProp__option_t,
817
    std::string option,
818
    bool value);
819
template <> void Options::set(
820
    options::nlCad__option_t,
821
    const options::nlCad__option_t::type& x);
822
template <> const options::nlCad__option_t::type& Options::operator[](
823
    options::nlCad__option_t) const;
824
template <> bool Options::wasSetByUser(options::nlCad__option_t) const;
825
template <> void Options::assignBool(
826
    options::nlCad__option_t,
827
    std::string option,
828
    bool value);
829
template <> void Options::set(
830
    options::nlCadUseInitial__option_t,
831
    const options::nlCadUseInitial__option_t::type& x);
832
template <> const options::nlCadUseInitial__option_t::type& Options::operator[](
833
    options::nlCadUseInitial__option_t) const;
834
template <> bool Options::wasSetByUser(options::nlCadUseInitial__option_t) const;
835
template <> void Options::assignBool(
836
    options::nlCadUseInitial__option_t,
837
    std::string option,
838
    bool value);
839
template <> void Options::set(
840
    options::nlExt__option_t,
841
    const options::nlExt__option_t::type& x);
842
template <> const options::nlExt__option_t::type& Options::operator[](
843
    options::nlExt__option_t) const;
844
template <> bool Options::wasSetByUser(options::nlExt__option_t) const;
845
template <> void Options::assignBool(
846
    options::nlExt__option_t,
847
    std::string option,
848
    bool value);
849
template <> const options::nlExtEntailConflicts__option_t::type& Options::operator[](
850
    options::nlExtEntailConflicts__option_t) const;
851
template <> bool Options::wasSetByUser(options::nlExtEntailConflicts__option_t) const;
852
template <> void Options::assignBool(
853
    options::nlExtEntailConflicts__option_t,
854
    std::string option,
855
    bool value);
856
template <> const options::nlExtFactor__option_t::type& Options::operator[](
857
    options::nlExtFactor__option_t) const;
858
template <> bool Options::wasSetByUser(options::nlExtFactor__option_t) const;
859
template <> void Options::assignBool(
860
    options::nlExtFactor__option_t,
861
    std::string option,
862
    bool value);
863
template <> const options::nlExtIncPrecision__option_t::type& Options::operator[](
864
    options::nlExtIncPrecision__option_t) const;
865
template <> bool Options::wasSetByUser(options::nlExtIncPrecision__option_t) const;
866
template <> void Options::assignBool(
867
    options::nlExtIncPrecision__option_t,
868
    std::string option,
869
    bool value);
870
template <> const options::nlExtPurify__option_t::type& Options::operator[](
871
    options::nlExtPurify__option_t) const;
872
template <> bool Options::wasSetByUser(options::nlExtPurify__option_t) const;
873
template <> void Options::assignBool(
874
    options::nlExtPurify__option_t,
875
    std::string option,
876
    bool value);
877
template <> const options::nlExtResBound__option_t::type& Options::operator[](
878
    options::nlExtResBound__option_t) const;
879
template <> bool Options::wasSetByUser(options::nlExtResBound__option_t) const;
880
template <> void Options::assignBool(
881
    options::nlExtResBound__option_t,
882
    std::string option,
883
    bool value);
884
template <> const options::nlExtRewrites__option_t::type& Options::operator[](
885
    options::nlExtRewrites__option_t) const;
886
template <> bool Options::wasSetByUser(options::nlExtRewrites__option_t) const;
887
template <> void Options::assignBool(
888
    options::nlExtRewrites__option_t,
889
    std::string option,
890
    bool value);
891
template <> const options::nlExtSplitZero__option_t::type& Options::operator[](
892
    options::nlExtSplitZero__option_t) const;
893
template <> bool Options::wasSetByUser(options::nlExtSplitZero__option_t) const;
894
template <> void Options::assignBool(
895
    options::nlExtSplitZero__option_t,
896
    std::string option,
897
    bool value);
898
template <> void Options::set(
899
    options::nlExtTfTaylorDegree__option_t,
900
    const options::nlExtTfTaylorDegree__option_t::type& x);
901
template <> const options::nlExtTfTaylorDegree__option_t::type& Options::operator[](
902
    options::nlExtTfTaylorDegree__option_t) const;
903
template <> bool Options::wasSetByUser(options::nlExtTfTaylorDegree__option_t) const;
904
template <> void Options::assign(
905
    options::nlExtTfTaylorDegree__option_t,
906
    std::string option,
907
    std::string value);
908
template <> const options::nlExtTfTangentPlanes__option_t::type& Options::operator[](
909
    options::nlExtTfTangentPlanes__option_t) const;
910
template <> bool Options::wasSetByUser(options::nlExtTfTangentPlanes__option_t) const;
911
template <> void Options::assignBool(
912
    options::nlExtTfTangentPlanes__option_t,
913
    std::string option,
914
    bool value);
915
template <> void Options::set(
916
    options::nlExtTangentPlanes__option_t,
917
    const options::nlExtTangentPlanes__option_t::type& x);
918
template <> const options::nlExtTangentPlanes__option_t::type& Options::operator[](
919
    options::nlExtTangentPlanes__option_t) const;
920
template <> bool Options::wasSetByUser(options::nlExtTangentPlanes__option_t) const;
921
template <> void Options::assignBool(
922
    options::nlExtTangentPlanes__option_t,
923
    std::string option,
924
    bool value);
925
template <> void Options::set(
926
    options::nlExtTangentPlanesInterleave__option_t,
927
    const options::nlExtTangentPlanesInterleave__option_t::type& x);
928
template <> const options::nlExtTangentPlanesInterleave__option_t::type& Options::operator[](
929
    options::nlExtTangentPlanesInterleave__option_t) const;
930
template <> bool Options::wasSetByUser(options::nlExtTangentPlanesInterleave__option_t) const;
931
template <> void Options::assignBool(
932
    options::nlExtTangentPlanesInterleave__option_t,
933
    std::string option,
934
    bool value);
935
template <> void Options::set(
936
    options::nlICP__option_t,
937
    const options::nlICP__option_t::type& x);
938
template <> const options::nlICP__option_t::type& Options::operator[](
939
    options::nlICP__option_t) const;
940
template <> bool Options::wasSetByUser(options::nlICP__option_t) const;
941
template <> void Options::assignBool(
942
    options::nlICP__option_t,
943
    std::string option,
944
    bool value);
945
template <> void Options::set(
946
    options::nlRlvMode__option_t,
947
    const options::nlRlvMode__option_t::type& x);
948
template <> const options::nlRlvMode__option_t::type& Options::operator[](
949
    options::nlRlvMode__option_t) const;
950
template <> bool Options::wasSetByUser(options::nlRlvMode__option_t) const;
951
template <> void Options::assign(
952
    options::nlRlvMode__option_t,
953
    std::string option,
954
    std::string value);
955
template <> void Options::set(
956
    options::pbRewrites__option_t,
957
    const options::pbRewrites__option_t::type& x);
958
template <> const options::pbRewrites__option_t::type& Options::operator[](
959
    options::pbRewrites__option_t) const;
960
template <> bool Options::wasSetByUser(options::pbRewrites__option_t) const;
961
template <> void Options::assignBool(
962
    options::pbRewrites__option_t,
963
    std::string option,
964
    bool value);
965
template <> void Options::set(
966
    options::arithPivotThreshold__option_t,
967
    const options::arithPivotThreshold__option_t::type& x);
968
template <> const options::arithPivotThreshold__option_t::type& Options::operator[](
969
    options::arithPivotThreshold__option_t) const;
970
template <> bool Options::wasSetByUser(options::arithPivotThreshold__option_t) const;
971
template <> void Options::assign(
972
    options::arithPivotThreshold__option_t,
973
    std::string option,
974
    std::string value);
975
template <> const options::ppAssertMaxSubSize__option_t::type& Options::operator[](
976
    options::ppAssertMaxSubSize__option_t) const;
977
template <> bool Options::wasSetByUser(options::ppAssertMaxSubSize__option_t) const;
978
template <> void Options::assign(
979
    options::ppAssertMaxSubSize__option_t,
980
    std::string option,
981
    std::string value);
982
template <> const options::arithPropagateMaxLength__option_t::type& Options::operator[](
983
    options::arithPropagateMaxLength__option_t) const;
984
template <> bool Options::wasSetByUser(options::arithPropagateMaxLength__option_t) const;
985
template <> void Options::assign(
986
    options::arithPropagateMaxLength__option_t,
987
    std::string option,
988
    std::string value);
989
template <> const options::replayEarlyCloseDepths__option_t::type& Options::operator[](
990
    options::replayEarlyCloseDepths__option_t) const;
991
template <> bool Options::wasSetByUser(options::replayEarlyCloseDepths__option_t) const;
992
template <> void Options::assign(
993
    options::replayEarlyCloseDepths__option_t,
994
    std::string option,
995
    std::string value);
996
template <> const options::replayFailurePenalty__option_t::type& Options::operator[](
997
    options::replayFailurePenalty__option_t) const;
998
template <> bool Options::wasSetByUser(options::replayFailurePenalty__option_t) const;
999
template <> void Options::assign(
1000
    options::replayFailurePenalty__option_t,
1001
    std::string option,
1002
    std::string value);
1003
template <> const options::lemmaRejectCutSize__option_t::type& Options::operator[](
1004
    options::lemmaRejectCutSize__option_t) const;
1005
template <> bool Options::wasSetByUser(options::lemmaRejectCutSize__option_t) const;
1006
template <> void Options::assign(
1007
    options::lemmaRejectCutSize__option_t,
1008
    std::string option,
1009
    std::string value);
1010
template <> const options::replayNumericFailurePenalty__option_t::type& Options::operator[](
1011
    options::replayNumericFailurePenalty__option_t) const;
1012
template <> bool Options::wasSetByUser(options::replayNumericFailurePenalty__option_t) const;
1013
template <> void Options::assign(
1014
    options::replayNumericFailurePenalty__option_t,
1015
    std::string option,
1016
    std::string value);
1017
template <> const options::replayRejectCutSize__option_t::type& Options::operator[](
1018
    options::replayRejectCutSize__option_t) const;
1019
template <> bool Options::wasSetByUser(options::replayRejectCutSize__option_t) const;
1020
template <> void Options::assign(
1021
    options::replayRejectCutSize__option_t,
1022
    std::string option,
1023
    std::string value);
1024
template <> const options::soiApproxMajorFailurePen__option_t::type& Options::operator[](
1025
    options::soiApproxMajorFailurePen__option_t) const;
1026
template <> bool Options::wasSetByUser(options::soiApproxMajorFailurePen__option_t) const;
1027
template <> void Options::assign(
1028
    options::soiApproxMajorFailurePen__option_t,
1029
    std::string option,
1030
    std::string value);
1031
template <> const options::soiApproxMajorFailure__option_t::type& Options::operator[](
1032
    options::soiApproxMajorFailure__option_t) const;
1033
template <> bool Options::wasSetByUser(options::soiApproxMajorFailure__option_t) const;
1034
template <> void Options::assign(
1035
    options::soiApproxMajorFailure__option_t,
1036
    std::string option,
1037
    std::string value);
1038
template <> const options::soiApproxMinorFailurePen__option_t::type& Options::operator[](
1039
    options::soiApproxMinorFailurePen__option_t) const;
1040
template <> bool Options::wasSetByUser(options::soiApproxMinorFailurePen__option_t) const;
1041
template <> void Options::assign(
1042
    options::soiApproxMinorFailurePen__option_t,
1043
    std::string option,
1044
    std::string value);
1045
template <> const options::soiApproxMinorFailure__option_t::type& Options::operator[](
1046
    options::soiApproxMinorFailure__option_t) const;
1047
template <> bool Options::wasSetByUser(options::soiApproxMinorFailure__option_t) const;
1048
template <> void Options::assign(
1049
    options::soiApproxMinorFailure__option_t,
1050
    std::string option,
1051
    std::string value);
1052
template <> void Options::set(
1053
    options::restrictedPivots__option_t,
1054
    const options::restrictedPivots__option_t::type& x);
1055
template <> const options::restrictedPivots__option_t::type& Options::operator[](
1056
    options::restrictedPivots__option_t) const;
1057
template <> bool Options::wasSetByUser(options::restrictedPivots__option_t) const;
1058
template <> void Options::assignBool(
1059
    options::restrictedPivots__option_t,
1060
    std::string option,
1061
    bool value);
1062
template <> const options::revertArithModels__option_t::type& Options::operator[](
1063
    options::revertArithModels__option_t) const;
1064
template <> bool Options::wasSetByUser(options::revertArithModels__option_t) const;
1065
template <> void Options::assignBool(
1066
    options::revertArithModels__option_t,
1067
    std::string option,
1068
    bool value);
1069
template <> const options::rrTurns__option_t::type& Options::operator[](
1070
    options::rrTurns__option_t) const;
1071
template <> bool Options::wasSetByUser(options::rrTurns__option_t) const;
1072
template <> void Options::assign(
1073
    options::rrTurns__option_t,
1074
    std::string option,
1075
    std::string value);
1076
template <> const options::trySolveIntStandardEffort__option_t::type& Options::operator[](
1077
    options::trySolveIntStandardEffort__option_t) const;
1078
template <> bool Options::wasSetByUser(options::trySolveIntStandardEffort__option_t) const;
1079
template <> void Options::assignBool(
1080
    options::trySolveIntStandardEffort__option_t,
1081
    std::string option,
1082
    bool value);
1083
template <> const options::arithSimplexCheckPeriod__option_t::type& Options::operator[](
1084
    options::arithSimplexCheckPeriod__option_t) const;
1085
template <> bool Options::wasSetByUser(options::arithSimplexCheckPeriod__option_t) const;
1086
template <> void Options::assign(
1087
    options::arithSimplexCheckPeriod__option_t,
1088
    std::string option,
1089
    std::string value);
1090
template <> void Options::set(
1091
    options::soiQuickExplain__option_t,
1092
    const options::soiQuickExplain__option_t::type& x);
1093
template <> const options::soiQuickExplain__option_t::type& Options::operator[](
1094
    options::soiQuickExplain__option_t) const;
1095
template <> bool Options::wasSetByUser(options::soiQuickExplain__option_t) const;
1096
template <> void Options::assignBool(
1097
    options::soiQuickExplain__option_t,
1098
    std::string option,
1099
    bool value);
1100
template <> void Options::set(
1101
    options::arithStandardCheckVarOrderPivots__option_t,
1102
    const options::arithStandardCheckVarOrderPivots__option_t::type& x);
1103
template <> const options::arithStandardCheckVarOrderPivots__option_t::type& Options::operator[](
1104
    options::arithStandardCheckVarOrderPivots__option_t) const;
1105
template <> bool Options::wasSetByUser(options::arithStandardCheckVarOrderPivots__option_t) const;
1106
template <> void Options::assign(
1107
    options::arithStandardCheckVarOrderPivots__option_t,
1108
    std::string option,
1109
    std::string value);
1110
template <> const options::arithUnateLemmaMode__option_t::type& Options::operator[](
1111
    options::arithUnateLemmaMode__option_t) const;
1112
template <> bool Options::wasSetByUser(options::arithUnateLemmaMode__option_t) const;
1113
template <> void Options::assign(
1114
    options::arithUnateLemmaMode__option_t,
1115
    std::string option,
1116
    std::string value);
1117
template <> void Options::set(
1118
    options::useApprox__option_t,
1119
    const options::useApprox__option_t::type& x);
1120
template <> const options::useApprox__option_t::type& Options::operator[](
1121
    options::useApprox__option_t) const;
1122
template <> bool Options::wasSetByUser(options::useApprox__option_t) const;
1123
template <> void Options::assignBool(
1124
    options::useApprox__option_t,
1125
    std::string option,
1126
    bool value);
1127
template <> void Options::set(
1128
    options::useFC__option_t,
1129
    const options::useFC__option_t::type& x);
1130
template <> const options::useFC__option_t::type& Options::operator[](
1131
    options::useFC__option_t) const;
1132
template <> bool Options::wasSetByUser(options::useFC__option_t) const;
1133
template <> void Options::assignBool(
1134
    options::useFC__option_t,
1135
    std::string option,
1136
    bool value);
1137
template <> void Options::set(
1138
    options::useSOI__option_t,
1139
    const options::useSOI__option_t::type& x);
1140
template <> const options::useSOI__option_t::type& Options::operator[](
1141
    options::useSOI__option_t) const;
1142
template <> bool Options::wasSetByUser(options::useSOI__option_t) const;
1143
template <> void Options::assignBool(
1144
    options::useSOI__option_t,
1145
    std::string option,
1146
    bool value);
1147
1148
1149
namespace options {
1150
1151
inline maxApproxDepth__option_t::type maxApproxDepth__option_t::operator()() const
1152
{
1153
  return (*Options::current())[*this];
1154
}
1155
inline bool maxApproxDepth__option_t::wasSetByUser() const
1156
{
1157
  return Options::current()->wasSetByUser(*this);
1158
}
1159
inline void maxApproxDepth__option_t::set(const maxApproxDepth__option_t::type& v)
1160
{
1161
  Options::current()->set(*this, v);
1162
}
1163
inline const char* maxApproxDepth__option_t::getName() const
1164
{
1165
  return "approx-branch-depth";
1166
}
1167
894
inline brabTest__option_t::type brabTest__option_t::operator()() const
1168
{
1169
894
  return (*Options::current())[*this];
1170
}
1171
inline bool brabTest__option_t::wasSetByUser() const
1172
{
1173
  return Options::current()->wasSetByUser(*this);
1174
}
1175
inline const char* brabTest__option_t::getName() const
1176
{
1177
  return "arith-brab";
1178
}
1179
582
inline arithNoPartialFun__option_t::type arithNoPartialFun__option_t::operator()() const
1180
{
1181
582
  return (*Options::current())[*this];
1182
}
1183
inline bool arithNoPartialFun__option_t::wasSetByUser() const
1184
{
1185
  return Options::current()->wasSetByUser(*this);
1186
}
1187
inline const char* arithNoPartialFun__option_t::getName() const
1188
{
1189
  return "arith-no-partial-fun";
1190
}
1191
121587
inline arithPropAsLemmaLength__option_t::type arithPropAsLemmaLength__option_t::operator()() const
1192
{
1193
121587
  return (*Options::current())[*this];
1194
}
1195
inline bool arithPropAsLemmaLength__option_t::wasSetByUser() const
1196
{
1197
  return Options::current()->wasSetByUser(*this);
1198
}
1199
inline void arithPropAsLemmaLength__option_t::set(const arithPropAsLemmaLength__option_t::type& v)
1200
{
1201
  Options::current()->set(*this, v);
1202
}
1203
inline const char* arithPropAsLemmaLength__option_t::getName() const
1204
{
1205
  return "arith-prop-clauses";
1206
}
1207
9568668
inline arithPropagationMode__option_t::type arithPropagationMode__option_t::operator()() const
1208
{
1209
9568668
  return (*Options::current())[*this];
1210
}
1211
inline bool arithPropagationMode__option_t::wasSetByUser() const
1212
{
1213
  return Options::current()->wasSetByUser(*this);
1214
}
1215
inline const char* arithPropagationMode__option_t::getName() const
1216
{
1217
  return "arith-prop";
1218
}
1219
28697
inline arithRewriteEq__option_t::type arithRewriteEq__option_t::operator()() const
1220
{
1221
28697
  return (*Options::current())[*this];
1222
}
1223
8997
inline bool arithRewriteEq__option_t::wasSetByUser() const
1224
{
1225
8997
  return Options::current()->wasSetByUser(*this);
1226
}
1227
8992
inline void arithRewriteEq__option_t::set(const arithRewriteEq__option_t::type& v)
1228
{
1229
8992
  Options::current()->set(*this, v);
1230
8992
}
1231
inline const char* arithRewriteEq__option_t::getName() const
1232
{
1233
  return "arith-rewrite-equalities";
1234
}
1235
1769430
inline collectPivots__option_t::type collectPivots__option_t::operator()() const
1236
{
1237
1769430
  return (*Options::current())[*this];
1238
}
1239
inline bool collectPivots__option_t::wasSetByUser() const
1240
{
1241
  return Options::current()->wasSetByUser(*this);
1242
}
1243
inline void collectPivots__option_t::set(const collectPivots__option_t::type& v)
1244
{
1245
  Options::current()->set(*this, v);
1246
}
1247
inline const char* collectPivots__option_t::getName() const
1248
{
1249
  return "collect-pivot-stats";
1250
}
1251
inline doCutAllBounded__option_t::type doCutAllBounded__option_t::operator()() const
1252
{
1253
  return (*Options::current())[*this];
1254
}
1255
inline bool doCutAllBounded__option_t::wasSetByUser() const
1256
{
1257
  return Options::current()->wasSetByUser(*this);
1258
}
1259
inline void doCutAllBounded__option_t::set(const doCutAllBounded__option_t::type& v)
1260
{
1261
  Options::current()->set(*this, v);
1262
}
1263
inline const char* doCutAllBounded__option_t::getName() const
1264
{
1265
  return "cut-all-bounded";
1266
}
1267
190
inline exportDioDecompositions__option_t::type exportDioDecompositions__option_t::operator()() const
1268
{
1269
190
  return (*Options::current())[*this];
1270
}
1271
inline bool exportDioDecompositions__option_t::wasSetByUser() const
1272
{
1273
  return Options::current()->wasSetByUser(*this);
1274
}
1275
inline void exportDioDecompositions__option_t::set(const exportDioDecompositions__option_t::type& v)
1276
{
1277
  Options::current()->set(*this, v);
1278
}
1279
inline const char* exportDioDecompositions__option_t::getName() const
1280
{
1281
  return "dio-decomps";
1282
}
1283
inline dioRepeat__option_t::type dioRepeat__option_t::operator()() const
1284
{
1285
  return (*Options::current())[*this];
1286
}
1287
inline bool dioRepeat__option_t::wasSetByUser() const
1288
{
1289
  return Options::current()->wasSetByUser(*this);
1290
}
1291
inline const char* dioRepeat__option_t::getName() const
1292
{
1293
  return "dio-repeat";
1294
}
1295
4320
inline arithDioSolver__option_t::type arithDioSolver__option_t::operator()() const
1296
{
1297
4320
  return (*Options::current())[*this];
1298
}
1299
inline bool arithDioSolver__option_t::wasSetByUser() const
1300
{
1301
  return Options::current()->wasSetByUser(*this);
1302
}
1303
inline const char* arithDioSolver__option_t::getName() const
1304
{
1305
  return "dio-solver";
1306
}
1307
361
inline dioSolverTurns__option_t::type dioSolverTurns__option_t::operator()() const
1308
{
1309
361
  return (*Options::current())[*this];
1310
}
1311
inline bool dioSolverTurns__option_t::wasSetByUser() const
1312
{
1313
  return Options::current()->wasSetByUser(*this);
1314
}
1315
inline const char* dioSolverTurns__option_t::getName() const
1316
{
1317
  return "dio-turns";
1318
}
1319
35988
inline arithErrorSelectionRule__option_t::type arithErrorSelectionRule__option_t::operator()() const
1320
{
1321
35988
  return (*Options::current())[*this];
1322
}
1323
inline bool arithErrorSelectionRule__option_t::wasSetByUser() const
1324
{
1325
  return Options::current()->wasSetByUser(*this);
1326
}
1327
inline const char* arithErrorSelectionRule__option_t::getName() const
1328
{
1329
  return "error-selection-rule";
1330
}
1331
inline havePenalties__option_t::type havePenalties__option_t::operator()() const
1332
{
1333
  return (*Options::current())[*this];
1334
}
1335
inline bool havePenalties__option_t::wasSetByUser() const
1336
{
1337
  return Options::current()->wasSetByUser(*this);
1338
}
1339
inline void havePenalties__option_t::set(const havePenalties__option_t::type& v)
1340
{
1341
  Options::current()->set(*this, v);
1342
}
1343
inline const char* havePenalties__option_t::getName() const
1344
{
1345
  return "fc-penalties";
1346
}
1347
160544
inline arithHeuristicPivots__option_t::type arithHeuristicPivots__option_t::operator()() const
1348
{
1349
160544
  return (*Options::current())[*this];
1350
}
1351
8997
inline bool arithHeuristicPivots__option_t::wasSetByUser() const
1352
{
1353
8997
  return Options::current()->wasSetByUser(*this);
1354
}
1355
8997
inline void arithHeuristicPivots__option_t::set(const arithHeuristicPivots__option_t::type& v)
1356
{
1357
8997
  Options::current()->set(*this, v);
1358
8997
}
1359
inline const char* arithHeuristicPivots__option_t::getName() const
1360
{
1361
  return "heuristic-pivots";
1362
}
1363
inline replayFailureLemma__option_t::type replayFailureLemma__option_t::operator()() const
1364
{
1365
  return (*Options::current())[*this];
1366
}
1367
inline bool replayFailureLemma__option_t::wasSetByUser() const
1368
{
1369
  return Options::current()->wasSetByUser(*this);
1370
}
1371
inline const char* replayFailureLemma__option_t::getName() const
1372
{
1373
  return "lemmas-on-replay-failure";
1374
}
1375
2227
inline maxCutsInContext__option_t::type maxCutsInContext__option_t::operator()() const
1376
{
1377
2227
  return (*Options::current())[*this];
1378
}
1379
inline bool maxCutsInContext__option_t::wasSetByUser() const
1380
{
1381
  return Options::current()->wasSetByUser(*this);
1382
}
1383
inline const char* maxCutsInContext__option_t::getName() const
1384
{
1385
  return "maxCutsInContext";
1386
}
1387
17707
inline arithMLTrick__option_t::type arithMLTrick__option_t::operator()() const
1388
{
1389
17707
  return (*Options::current())[*this];
1390
}
1391
inline bool arithMLTrick__option_t::wasSetByUser() const
1392
{
1393
  return Options::current()->wasSetByUser(*this);
1394
}
1395
1529
inline void arithMLTrick__option_t::set(const arithMLTrick__option_t::type& v)
1396
{
1397
1529
  Options::current()->set(*this, v);
1398
1529
}
1399
inline const char* arithMLTrick__option_t::getName() const
1400
{
1401
  return "miplib-trick";
1402
}
1403
inline arithMLTrickSubstitutions__option_t::type arithMLTrickSubstitutions__option_t::operator()() const
1404
{
1405
  return (*Options::current())[*this];
1406
}
1407
inline bool arithMLTrickSubstitutions__option_t::wasSetByUser() const
1408
{
1409
  return Options::current()->wasSetByUser(*this);
1410
}
1411
inline const char* arithMLTrickSubstitutions__option_t::getName() const
1412
{
1413
  return "miplib-trick-subs";
1414
}
1415
1091496
inline newProp__option_t::type newProp__option_t::operator()() const
1416
{
1417
1091496
  return (*Options::current())[*this];
1418
}
1419
inline bool newProp__option_t::wasSetByUser() const
1420
{
1421
  return Options::current()->wasSetByUser(*this);
1422
}
1423
inline void newProp__option_t::set(const newProp__option_t::type& v)
1424
{
1425
  Options::current()->set(*this, v);
1426
}
1427
inline const char* newProp__option_t::getName() const
1428
{
1429
  return "new-prop";
1430
}
1431
10029
inline nlCad__option_t::type nlCad__option_t::operator()() const
1432
{
1433
10029
  return (*Options::current())[*this];
1434
}
1435
inline bool nlCad__option_t::wasSetByUser() const
1436
{
1437
  return Options::current()->wasSetByUser(*this);
1438
}
1439
inline void nlCad__option_t::set(const nlCad__option_t::type& v)
1440
{
1441
  Options::current()->set(*this, v);
1442
}
1443
inline const char* nlCad__option_t::getName() const
1444
{
1445
  return "nl-cad";
1446
}
1447
inline nlCadUseInitial__option_t::type nlCadUseInitial__option_t::operator()() const
1448
{
1449
  return (*Options::current())[*this];
1450
}
1451
inline bool nlCadUseInitial__option_t::wasSetByUser() const
1452
{
1453
  return Options::current()->wasSetByUser(*this);
1454
}
1455
inline void nlCadUseInitial__option_t::set(const nlCadUseInitial__option_t::type& v)
1456
{
1457
  Options::current()->set(*this, v);
1458
}
1459
inline const char* nlCadUseInitial__option_t::getName() const
1460
{
1461
  return "nl-cad-initial";
1462
}
1463
1067
inline nlExt__option_t::type nlExt__option_t::operator()() const
1464
{
1465
1067
  return (*Options::current())[*this];
1466
}
1467
inline bool nlExt__option_t::wasSetByUser() const
1468
{
1469
  return Options::current()->wasSetByUser(*this);
1470
}
1471
inline void nlExt__option_t::set(const nlExt__option_t::type& v)
1472
{
1473
  Options::current()->set(*this, v);
1474
}
1475
inline const char* nlExt__option_t::getName() const
1476
{
1477
  return "nl-ext";
1478
}
1479
8581
inline nlExtEntailConflicts__option_t::type nlExtEntailConflicts__option_t::operator()() const
1480
{
1481
8581
  return (*Options::current())[*this];
1482
}
1483
inline bool nlExtEntailConflicts__option_t::wasSetByUser() const
1484
{
1485
  return Options::current()->wasSetByUser(*this);
1486
}
1487
inline const char* nlExtEntailConflicts__option_t::getName() const
1488
{
1489
  return "nl-ext-ent-conf";
1490
}
1491
405
inline nlExtFactor__option_t::type nlExtFactor__option_t::operator()() const
1492
{
1493
405
  return (*Options::current())[*this];
1494
}
1495
inline bool nlExtFactor__option_t::wasSetByUser() const
1496
{
1497
  return Options::current()->wasSetByUser(*this);
1498
}
1499
inline const char* nlExtFactor__option_t::getName() const
1500
{
1501
  return "nl-ext-factor";
1502
}
1503
35
inline nlExtIncPrecision__option_t::type nlExtIncPrecision__option_t::operator()() const
1504
{
1505
35
  return (*Options::current())[*this];
1506
}
1507
inline bool nlExtIncPrecision__option_t::wasSetByUser() const
1508
{
1509
  return Options::current()->wasSetByUser(*this);
1510
}
1511
inline const char* nlExtIncPrecision__option_t::getName() const
1512
{
1513
  return "nl-ext-inc-prec";
1514
}
1515
11325
inline nlExtPurify__option_t::type nlExtPurify__option_t::operator()() const
1516
{
1517
11325
  return (*Options::current())[*this];
1518
}
1519
inline bool nlExtPurify__option_t::wasSetByUser() const
1520
{
1521
  return Options::current()->wasSetByUser(*this);
1522
}
1523
inline const char* nlExtPurify__option_t::getName() const
1524
{
1525
  return "nl-ext-purify";
1526
}
1527
405
inline nlExtResBound__option_t::type nlExtResBound__option_t::operator()() const
1528
{
1529
405
  return (*Options::current())[*this];
1530
}
1531
inline bool nlExtResBound__option_t::wasSetByUser() const
1532
{
1533
  return Options::current()->wasSetByUser(*this);
1534
}
1535
inline const char* nlExtResBound__option_t::getName() const
1536
{
1537
  return "nl-ext-rbound";
1538
}
1539
25967
inline nlExtRewrites__option_t::type nlExtRewrites__option_t::operator()() const
1540
{
1541
25967
  return (*Options::current())[*this];
1542
}
1543
inline bool nlExtRewrites__option_t::wasSetByUser() const
1544
{
1545
  return Options::current()->wasSetByUser(*this);
1546
}
1547
inline const char* nlExtRewrites__option_t::getName() const
1548
{
1549
  return "nl-ext-rewrite";
1550
}
1551
405
inline nlExtSplitZero__option_t::type nlExtSplitZero__option_t::operator()() const
1552
{
1553
405
  return (*Options::current())[*this];
1554
}
1555
inline bool nlExtSplitZero__option_t::wasSetByUser() const
1556
{
1557
  return Options::current()->wasSetByUser(*this);
1558
}
1559
inline const char* nlExtSplitZero__option_t::getName() const
1560
{
1561
  return "nl-ext-split-zero";
1562
}
1563
4391
inline nlExtTfTaylorDegree__option_t::type nlExtTfTaylorDegree__option_t::operator()() const
1564
{
1565
4391
  return (*Options::current())[*this];
1566
}
1567
inline bool nlExtTfTaylorDegree__option_t::wasSetByUser() const
1568
{
1569
  return Options::current()->wasSetByUser(*this);
1570
}
1571
inline void nlExtTfTaylorDegree__option_t::set(const nlExtTfTaylorDegree__option_t::type& v)
1572
{
1573
  Options::current()->set(*this, v);
1574
}
1575
inline const char* nlExtTfTaylorDegree__option_t::getName() const
1576
{
1577
  return "nl-ext-tf-taylor-deg";
1578
}
1579
405
inline nlExtTfTangentPlanes__option_t::type nlExtTfTangentPlanes__option_t::operator()() const
1580
{
1581
405
  return (*Options::current())[*this];
1582
}
1583
inline bool nlExtTfTangentPlanes__option_t::wasSetByUser() const
1584
{
1585
  return Options::current()->wasSetByUser(*this);
1586
}
1587
inline const char* nlExtTfTangentPlanes__option_t::getName() const
1588
{
1589
  return "nl-ext-tf-tplanes";
1590
}
1591
64387
inline nlExtTangentPlanes__option_t::type nlExtTangentPlanes__option_t::operator()() const
1592
{
1593
64387
  return (*Options::current())[*this];
1594
}
1595
1319
inline bool nlExtTangentPlanes__option_t::wasSetByUser() const
1596
{
1597
1319
  return Options::current()->wasSetByUser(*this);
1598
}
1599
1294
inline void nlExtTangentPlanes__option_t::set(const nlExtTangentPlanes__option_t::type& v)
1600
{
1601
1294
  Options::current()->set(*this, v);
1602
1294
}
1603
inline const char* nlExtTangentPlanes__option_t::getName() const
1604
{
1605
  return "nl-ext-tplanes";
1606
}
1607
168
inline nlExtTangentPlanesInterleave__option_t::type nlExtTangentPlanesInterleave__option_t::operator()() const
1608
{
1609
168
  return (*Options::current())[*this];
1610
}
1611
269
inline bool nlExtTangentPlanesInterleave__option_t::wasSetByUser() const
1612
{
1613
269
  return Options::current()->wasSetByUser(*this);
1614
}
1615
269
inline void nlExtTangentPlanesInterleave__option_t::set(const nlExtTangentPlanesInterleave__option_t::type& v)
1616
{
1617
269
  Options::current()->set(*this, v);
1618
269
}
1619
inline const char* nlExtTangentPlanesInterleave__option_t::getName() const
1620
{
1621
  return "nl-ext-tplanes-interleave";
1622
}
1623
405
inline nlICP__option_t::type nlICP__option_t::operator()() const
1624
{
1625
405
  return (*Options::current())[*this];
1626
}
1627
inline bool nlICP__option_t::wasSetByUser() const
1628
{
1629
  return Options::current()->wasSetByUser(*this);
1630
}
1631
inline void nlICP__option_t::set(const nlICP__option_t::type& v)
1632
{
1633
  Options::current()->set(*this, v);
1634
}
1635
inline const char* nlICP__option_t::getName() const
1636
{
1637
  return "nl-icp";
1638
}
1639
10243
inline nlRlvMode__option_t::type nlRlvMode__option_t::operator()() const
1640
{
1641
10243
  return (*Options::current())[*this];
1642
}
1643
inline bool nlRlvMode__option_t::wasSetByUser() const
1644
{
1645
  return Options::current()->wasSetByUser(*this);
1646
}
1647
inline void nlRlvMode__option_t::set(const nlRlvMode__option_t::type& v)
1648
{
1649
  Options::current()->set(*this, v);
1650
}
1651
inline const char* nlRlvMode__option_t::getName() const
1652
{
1653
  return "nl-rlv";
1654
}
1655
13142
inline pbRewrites__option_t::type pbRewrites__option_t::operator()() const
1656
{
1657
13142
  return (*Options::current())[*this];
1658
}
1659
inline bool pbRewrites__option_t::wasSetByUser() const
1660
{
1661
  return Options::current()->wasSetByUser(*this);
1662
}
1663
inline void pbRewrites__option_t::set(const pbRewrites__option_t::type& v)
1664
{
1665
  Options::current()->set(*this, v);
1666
}
1667
inline const char* pbRewrites__option_t::getName() const
1668
{
1669
  return "pb-rewrites";
1670
}
1671
389854
inline arithPivotThreshold__option_t::type arithPivotThreshold__option_t::operator()() const
1672
{
1673
389854
  return (*Options::current())[*this];
1674
}
1675
8997
inline bool arithPivotThreshold__option_t::wasSetByUser() const
1676
{
1677
8997
  return Options::current()->wasSetByUser(*this);
1678
}
1679
8997
inline void arithPivotThreshold__option_t::set(const arithPivotThreshold__option_t::type& v)
1680
{
1681
8997
  Options::current()->set(*this, v);
1682
8997
}
1683
inline const char* arithPivotThreshold__option_t::getName() const
1684
{
1685
  return "pivot-threshold";
1686
}
1687
1502
inline ppAssertMaxSubSize__option_t::type ppAssertMaxSubSize__option_t::operator()() const
1688
{
1689
1502
  return (*Options::current())[*this];
1690
}
1691
inline bool ppAssertMaxSubSize__option_t::wasSetByUser() const
1692
{
1693
  return Options::current()->wasSetByUser(*this);
1694
}
1695
inline const char* ppAssertMaxSubSize__option_t::getName() const
1696
{
1697
  return "pp-assert-max-sub-size";
1698
}
1699
10342673
inline arithPropagateMaxLength__option_t::type arithPropagateMaxLength__option_t::operator()() const
1700
{
1701
10342673
  return (*Options::current())[*this];
1702
}
1703
inline bool arithPropagateMaxLength__option_t::wasSetByUser() const
1704
{
1705
  return Options::current()->wasSetByUser(*this);
1706
}
1707
inline const char* arithPropagateMaxLength__option_t::getName() const
1708
{
1709
  return "prop-row-length";
1710
}
1711
inline replayEarlyCloseDepths__option_t::type replayEarlyCloseDepths__option_t::operator()() const
1712
{
1713
  return (*Options::current())[*this];
1714
}
1715
inline bool replayEarlyCloseDepths__option_t::wasSetByUser() const
1716
{
1717
  return Options::current()->wasSetByUser(*this);
1718
}
1719
inline const char* replayEarlyCloseDepths__option_t::getName() const
1720
{
1721
  return "replay-early-close-depth";
1722
}
1723
inline replayFailurePenalty__option_t::type replayFailurePenalty__option_t::operator()() const
1724
{
1725
  return (*Options::current())[*this];
1726
}
1727
inline bool replayFailurePenalty__option_t::wasSetByUser() const
1728
{
1729
  return Options::current()->wasSetByUser(*this);
1730
}
1731
inline const char* replayFailurePenalty__option_t::getName() const
1732
{
1733
  return "replay-failure-penalty";
1734
}
1735
inline lemmaRejectCutSize__option_t::type lemmaRejectCutSize__option_t::operator()() const
1736
{
1737
  return (*Options::current())[*this];
1738
}
1739
inline bool lemmaRejectCutSize__option_t::wasSetByUser() const
1740
{
1741
  return Options::current()->wasSetByUser(*this);
1742
}
1743
inline const char* lemmaRejectCutSize__option_t::getName() const
1744
{
1745
  return "replay-lemma-reject-cut";
1746
}
1747
inline replayNumericFailurePenalty__option_t::type replayNumericFailurePenalty__option_t::operator()() const
1748
{
1749
  return (*Options::current())[*this];
1750
}
1751
inline bool replayNumericFailurePenalty__option_t::wasSetByUser() const
1752
{
1753
  return Options::current()->wasSetByUser(*this);
1754
}
1755
inline const char* replayNumericFailurePenalty__option_t::getName() const
1756
{
1757
  return "replay-num-err-penalty";
1758
}
1759
inline replayRejectCutSize__option_t::type replayRejectCutSize__option_t::operator()() const
1760
{
1761
  return (*Options::current())[*this];
1762
}
1763
inline bool replayRejectCutSize__option_t::wasSetByUser() const
1764
{
1765
  return Options::current()->wasSetByUser(*this);
1766
}
1767
inline const char* replayRejectCutSize__option_t::getName() const
1768
{
1769
  return "replay-reject-cut";
1770
}
1771
inline soiApproxMajorFailurePen__option_t::type soiApproxMajorFailurePen__option_t::operator()() const
1772
{
1773
  return (*Options::current())[*this];
1774
}
1775
inline bool soiApproxMajorFailurePen__option_t::wasSetByUser() const
1776
{
1777
  return Options::current()->wasSetByUser(*this);
1778
}
1779
inline const char* soiApproxMajorFailurePen__option_t::getName() const
1780
{
1781
  return "replay-soi-major-threshold-pen";
1782
}
1783
inline soiApproxMajorFailure__option_t::type soiApproxMajorFailure__option_t::operator()() const
1784
{
1785
  return (*Options::current())[*this];
1786
}
1787
inline bool soiApproxMajorFailure__option_t::wasSetByUser() const
1788
{
1789
  return Options::current()->wasSetByUser(*this);
1790
}
1791
inline const char* soiApproxMajorFailure__option_t::getName() const
1792
{
1793
  return "replay-soi-major-threshold";
1794
}
1795
inline soiApproxMinorFailurePen__option_t::type soiApproxMinorFailurePen__option_t::operator()() const
1796
{
1797
  return (*Options::current())[*this];
1798
}
1799
inline bool soiApproxMinorFailurePen__option_t::wasSetByUser() const
1800
{
1801
  return Options::current()->wasSetByUser(*this);
1802
}
1803
inline const char* soiApproxMinorFailurePen__option_t::getName() const
1804
{
1805
  return "replay-soi-minor-threshold-pen";
1806
}
1807
inline soiApproxMinorFailure__option_t::type soiApproxMinorFailure__option_t::operator()() const
1808
{
1809
  return (*Options::current())[*this];
1810
}
1811
inline bool soiApproxMinorFailure__option_t::wasSetByUser() const
1812
{
1813
  return Options::current()->wasSetByUser(*this);
1814
}
1815
inline const char* soiApproxMinorFailure__option_t::getName() const
1816
{
1817
  return "replay-soi-minor-threshold";
1818
}
1819
1758152
inline restrictedPivots__option_t::type restrictedPivots__option_t::operator()() const
1820
{
1821
1758152
  return (*Options::current())[*this];
1822
}
1823
inline bool restrictedPivots__option_t::wasSetByUser() const
1824
{
1825
  return Options::current()->wasSetByUser(*this);
1826
}
1827
inline void restrictedPivots__option_t::set(const restrictedPivots__option_t::type& v)
1828
{
1829
  Options::current()->set(*this, v);
1830
}
1831
inline const char* restrictedPivots__option_t::getName() const
1832
{
1833
  return "restrict-pivots";
1834
}
1835
18537
inline revertArithModels__option_t::type revertArithModels__option_t::operator()() const
1836
{
1837
18537
  return (*Options::current())[*this];
1838
}
1839
inline bool revertArithModels__option_t::wasSetByUser() const
1840
{
1841
  return Options::current()->wasSetByUser(*this);
1842
}
1843
inline const char* revertArithModels__option_t::getName() const
1844
{
1845
  return "revert-arith-models-on-unsat";
1846
}
1847
106
inline rrTurns__option_t::type rrTurns__option_t::operator()() const
1848
{
1849
106
  return (*Options::current())[*this];
1850
}
1851
inline bool rrTurns__option_t::wasSetByUser() const
1852
{
1853
  return Options::current()->wasSetByUser(*this);
1854
}
1855
inline const char* rrTurns__option_t::getName() const
1856
{
1857
  return "rr-turns";
1858
}
1859
inline trySolveIntStandardEffort__option_t::type trySolveIntStandardEffort__option_t::operator()() const
1860
{
1861
  return (*Options::current())[*this];
1862
}
1863
inline bool trySolveIntStandardEffort__option_t::wasSetByUser() const
1864
{
1865
  return Options::current()->wasSetByUser(*this);
1866
}
1867
inline const char* trySolveIntStandardEffort__option_t::getName() const
1868
{
1869
  return "se-solve-int";
1870
}
1871
87337
inline arithSimplexCheckPeriod__option_t::type arithSimplexCheckPeriod__option_t::operator()() const
1872
{
1873
87337
  return (*Options::current())[*this];
1874
}
1875
inline bool arithSimplexCheckPeriod__option_t::wasSetByUser() const
1876
{
1877
  return Options::current()->wasSetByUser(*this);
1878
}
1879
inline const char* arithSimplexCheckPeriod__option_t::getName() const
1880
{
1881
  return "simplex-check-period";
1882
}
1883
inline soiQuickExplain__option_t::type soiQuickExplain__option_t::operator()() const
1884
{
1885
  return (*Options::current())[*this];
1886
}
1887
inline bool soiQuickExplain__option_t::wasSetByUser() const
1888
{
1889
  return Options::current()->wasSetByUser(*this);
1890
}
1891
inline void soiQuickExplain__option_t::set(const soiQuickExplain__option_t::type& v)
1892
{
1893
  Options::current()->set(*this, v);
1894
}
1895
inline const char* soiQuickExplain__option_t::getName() const
1896
{
1897
  return "soi-qe";
1898
}
1899
111241
inline arithStandardCheckVarOrderPivots__option_t::type arithStandardCheckVarOrderPivots__option_t::operator()() const
1900
{
1901
111241
  return (*Options::current())[*this];
1902
}
1903
8997
inline bool arithStandardCheckVarOrderPivots__option_t::wasSetByUser() const
1904
{
1905
8997
  return Options::current()->wasSetByUser(*this);
1906
}
1907
8997
inline void arithStandardCheckVarOrderPivots__option_t::set(const arithStandardCheckVarOrderPivots__option_t::type& v)
1908
{
1909
8997
  Options::current()->set(*this, v);
1910
8997
}
1911
inline const char* arithStandardCheckVarOrderPivots__option_t::getName() const
1912
{
1913
  return "standard-effort-variable-order-pivots";
1914
}
1915
7409
inline arithUnateLemmaMode__option_t::type arithUnateLemmaMode__option_t::operator()() const
1916
{
1917
7409
  return (*Options::current())[*this];
1918
}
1919
inline bool arithUnateLemmaMode__option_t::wasSetByUser() const
1920
{
1921
  return Options::current()->wasSetByUser(*this);
1922
}
1923
inline const char* arithUnateLemmaMode__option_t::getName() const
1924
{
1925
  return "unate-lemmas";
1926
}
1927
5318084
inline useApprox__option_t::type useApprox__option_t::operator()() const
1928
{
1929
5318084
  return (*Options::current())[*this];
1930
}
1931
inline bool useApprox__option_t::wasSetByUser() const
1932
{
1933
  return Options::current()->wasSetByUser(*this);
1934
}
1935
inline void useApprox__option_t::set(const useApprox__option_t::type& v)
1936
{
1937
  Options::current()->set(*this, v);
1938
}
1939
inline const char* useApprox__option_t::getName() const
1940
{
1941
  return "use-approx";
1942
}
1943
1830727
inline useFC__option_t::type useFC__option_t::operator()() const
1944
{
1945
1830727
  return (*Options::current())[*this];
1946
}
1947
inline bool useFC__option_t::wasSetByUser() const
1948
{
1949
  return Options::current()->wasSetByUser(*this);
1950
}
1951
inline void useFC__option_t::set(const useFC__option_t::type& v)
1952
{
1953
  Options::current()->set(*this, v);
1954
}
1955
inline const char* useFC__option_t::getName() const
1956
{
1957
  return "use-fcsimplex";
1958
}
1959
6045
inline useSOI__option_t::type useSOI__option_t::operator()() const
1960
{
1961
6045
  return (*Options::current())[*this];
1962
}
1963
inline bool useSOI__option_t::wasSetByUser() const
1964
{
1965
  return Options::current()->wasSetByUser(*this);
1966
}
1967
inline void useSOI__option_t::set(const useSOI__option_t::type& v)
1968
{
1969
  Options::current()->set(*this, v);
1970
}
1971
inline const char* useSOI__option_t::getName() const
1972
{
1973
  return "use-soi";
1974
}
1975
1976
}  // namespace options
1977
}  // namespace CVC4
1978
1979
#endif /* CVC4__OPTIONS__ARITH_H */