GCC Code Coverage Report
Directory: . Exec Total Coverage
File: build-coverage/src/options/strings_options.h Lines: 47 49 95.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__STRINGS_H
21
#define CVC4__OPTIONS__STRINGS_H
22
23
#include "options/options.h"
24
25
26
27
28
#define CVC4_OPTIONS__STRINGS__FOR_OPTION_HOLDER \
29
  regExpElim__option_t::type regExpElim;\
30
  bool regExpElim__setByUser__; \
31
  regExpElimAgg__option_t::type regExpElimAgg;\
32
  bool regExpElimAgg__setByUser__; \
33
  stringRegExpInterMode__option_t::type stringRegExpInterMode;\
34
  bool stringRegExpInterMode__setByUser__; \
35
  stringCheckEntailLen__option_t::type stringCheckEntailLen;\
36
  bool stringCheckEntailLen__setByUser__; \
37
  stringEager__option_t::type stringEager;\
38
  bool stringEager__setByUser__; \
39
  stringEagerEval__option_t::type stringEagerEval;\
40
  bool stringEagerEval__setByUser__; \
41
  stringEagerLen__option_t::type stringEagerLen;\
42
  bool stringEagerLen__setByUser__; \
43
  stringExp__option_t::type stringExp;\
44
  bool stringExp__setByUser__; \
45
  stringFlatForms__option_t::type stringFlatForms;\
46
  bool stringFlatForms__setByUser__; \
47
  stringFMF__option_t::type stringFMF;\
48
  bool stringFMF__setByUser__; \
49
  stringGuessModel__option_t::type stringGuessModel;\
50
  bool stringGuessModel__setByUser__; \
51
  stringInferAsLemmas__option_t::type stringInferAsLemmas;\
52
  bool stringInferAsLemmas__setByUser__; \
53
  stringInferSym__option_t::type stringInferSym;\
54
  bool stringInferSym__setByUser__; \
55
  stringIgnNegMembership__option_t::type stringIgnNegMembership;\
56
  bool stringIgnNegMembership__setByUser__; \
57
  stringLazyPreproc__option_t::type stringLazyPreproc;\
58
  bool stringLazyPreproc__setByUser__; \
59
  stringLenNorm__option_t::type stringLenNorm;\
60
  bool stringLenNorm__setByUser__; \
61
  stringLenPropCsp__option_t::type stringLenPropCsp;\
62
  bool stringLenPropCsp__setByUser__; \
63
  stringMinPrefixExplain__option_t::type stringMinPrefixExplain;\
64
  bool stringMinPrefixExplain__setByUser__; \
65
  stdPrintASCII__option_t::type stdPrintASCII;\
66
  bool stdPrintASCII__setByUser__; \
67
  stringProcessLoopMode__option_t::type stringProcessLoopMode;\
68
  bool stringProcessLoopMode__setByUser__; \
69
  stringRExplainLemmas__option_t::type stringRExplainLemmas;\
70
  bool stringRExplainLemmas__setByUser__; \
71
  stringUnifiedVSpt__option_t::type stringUnifiedVSpt;\
72
  bool stringUnifiedVSpt__setByUser__;
73
74
75
namespace CVC4 {
76
77
namespace options {
78
79
80
enum class RegExpInterMode
81
{
82
  CONSTANT,
83
  NONE,
84
  ALL,
85
  ONE_CONSTANT
86
};
87
std::ostream&
88
operator<<(std::ostream& os, RegExpInterMode mode);
89
RegExpInterMode
90
stringToRegExpInterMode(const std::string& option, const std::string& optarg);
91
enum class ProcessLoopMode
92
{
93
  NONE,
94
  SIMPLE,
95
  FULL,
96
  ABORT,
97
  SIMPLE_ABORT
98
};
99
std::ostream&
100
operator<<(std::ostream& os, ProcessLoopMode mode);
101
ProcessLoopMode
102
stringToProcessLoopMode(const std::string& option, const std::string& optarg);
103
104
extern struct regExpElim__option_t
105
{
106
  typedef bool type;
107
  type operator()() const;
108
  bool wasSetByUser() const;
109
  void set(const type& v);
110
  const char* getName() const;
111
} thread_local regExpElim;
112
extern struct regExpElimAgg__option_t
113
{
114
  typedef bool type;
115
  type operator()() const;
116
  bool wasSetByUser() const;
117
  void set(const type& v);
118
  const char* getName() const;
119
} thread_local regExpElimAgg;
120
extern struct stringRegExpInterMode__option_t
121
{
122
  typedef RegExpInterMode type;
123
  type operator()() const;
124
  bool wasSetByUser() const;
125
  void set(const type& v);
126
  const char* getName() const;
127
} thread_local stringRegExpInterMode;
128
extern struct stringCheckEntailLen__option_t
129
{
130
  typedef bool type;
131
  type operator()() const;
132
  bool wasSetByUser() const;
133
  const char* getName() const;
134
} thread_local stringCheckEntailLen;
135
extern struct stringEager__option_t
136
{
137
  typedef bool type;
138
  type operator()() const;
139
  bool wasSetByUser() const;
140
  const char* getName() const;
141
} thread_local stringEager;
142
extern struct stringEagerEval__option_t
143
{
144
  typedef bool type;
145
  type operator()() const;
146
  bool wasSetByUser() const;
147
  void set(const type& v);
148
  const char* getName() const;
149
} thread_local stringEagerEval;
150
extern struct stringEagerLen__option_t
151
{
152
  typedef bool type;
153
  type operator()() const;
154
  bool wasSetByUser() const;
155
  const char* getName() const;
156
} thread_local stringEagerLen;
157
extern struct stringExp__option_t
158
{
159
  typedef bool type;
160
  type operator()() const;
161
  bool wasSetByUser() const;
162
  void set(const type& v);
163
  const char* getName() const;
164
} thread_local stringExp;
165
extern struct stringFlatForms__option_t
166
{
167
  typedef bool type;
168
  type operator()() const;
169
  bool wasSetByUser() const;
170
  const char* getName() const;
171
} thread_local stringFlatForms;
172
extern struct stringFMF__option_t
173
{
174
  typedef bool type;
175
  type operator()() const;
176
  bool wasSetByUser() const;
177
  void set(const type& v);
178
  const char* getName() const;
179
} thread_local stringFMF;
180
extern struct stringGuessModel__option_t
181
{
182
  typedef bool type;
183
  type operator()() const;
184
  bool wasSetByUser() const;
185
  const char* getName() const;
186
} thread_local stringGuessModel;
187
extern struct stringInferAsLemmas__option_t
188
{
189
  typedef bool type;
190
  type operator()() const;
191
  bool wasSetByUser() const;
192
  const char* getName() const;
193
} thread_local stringInferAsLemmas;
194
extern struct stringInferSym__option_t
195
{
196
  typedef bool type;
197
  type operator()() const;
198
  bool wasSetByUser() const;
199
  const char* getName() const;
200
} thread_local stringInferSym;
201
extern struct stringIgnNegMembership__option_t
202
{
203
  typedef bool type;
204
  type operator()() const;
205
  bool wasSetByUser() const;
206
  const char* getName() const;
207
} thread_local stringIgnNegMembership;
208
extern struct stringLazyPreproc__option_t
209
{
210
  typedef bool type;
211
  type operator()() const;
212
  bool wasSetByUser() const;
213
  const char* getName() const;
214
} thread_local stringLazyPreproc;
215
extern struct stringLenNorm__option_t
216
{
217
  typedef bool type;
218
  type operator()() const;
219
  bool wasSetByUser() const;
220
  const char* getName() const;
221
} thread_local stringLenNorm;
222
extern struct stringLenPropCsp__option_t
223
{
224
  typedef bool type;
225
  type operator()() const;
226
  bool wasSetByUser() const;
227
  const char* getName() const;
228
} thread_local stringLenPropCsp;
229
extern struct stringMinPrefixExplain__option_t
230
{
231
  typedef bool type;
232
  type operator()() const;
233
  bool wasSetByUser() const;
234
  const char* getName() const;
235
} thread_local stringMinPrefixExplain;
236
extern struct stdPrintASCII__option_t
237
{
238
  typedef bool type;
239
  type operator()() const;
240
  bool wasSetByUser() const;
241
  const char* getName() const;
242
} thread_local stdPrintASCII;
243
extern struct stringProcessLoopMode__option_t
244
{
245
  typedef ProcessLoopMode type;
246
  type operator()() const;
247
  bool wasSetByUser() const;
248
  void set(const type& v);
249
  const char* getName() const;
250
} thread_local stringProcessLoopMode;
251
extern struct stringRExplainLemmas__option_t
252
{
253
  typedef bool type;
254
  type operator()() const;
255
  bool wasSetByUser() const;
256
  const char* getName() const;
257
} thread_local stringRExplainLemmas;
258
extern struct stringUnifiedVSpt__option_t
259
{
260
  typedef bool type;
261
  type operator()() const;
262
  bool wasSetByUser() const;
263
  const char* getName() const;
264
} thread_local stringUnifiedVSpt;
265
266
}  // namespace options
267
268
template <> void Options::set(
269
    options::regExpElim__option_t,
270
    const options::regExpElim__option_t::type& x);
271
template <> const options::regExpElim__option_t::type& Options::operator[](
272
    options::regExpElim__option_t) const;
273
template <> bool Options::wasSetByUser(options::regExpElim__option_t) const;
274
template <> void Options::assignBool(
275
    options::regExpElim__option_t,
276
    std::string option,
277
    bool value);
278
template <> void Options::set(
279
    options::regExpElimAgg__option_t,
280
    const options::regExpElimAgg__option_t::type& x);
281
template <> const options::regExpElimAgg__option_t::type& Options::operator[](
282
    options::regExpElimAgg__option_t) const;
283
template <> bool Options::wasSetByUser(options::regExpElimAgg__option_t) const;
284
template <> void Options::assignBool(
285
    options::regExpElimAgg__option_t,
286
    std::string option,
287
    bool value);
288
template <> void Options::set(
289
    options::stringRegExpInterMode__option_t,
290
    const options::stringRegExpInterMode__option_t::type& x);
291
template <> const options::stringRegExpInterMode__option_t::type& Options::operator[](
292
    options::stringRegExpInterMode__option_t) const;
293
template <> bool Options::wasSetByUser(options::stringRegExpInterMode__option_t) const;
294
template <> void Options::assign(
295
    options::stringRegExpInterMode__option_t,
296
    std::string option,
297
    std::string value);
298
template <> const options::stringCheckEntailLen__option_t::type& Options::operator[](
299
    options::stringCheckEntailLen__option_t) const;
300
template <> bool Options::wasSetByUser(options::stringCheckEntailLen__option_t) const;
301
template <> void Options::assignBool(
302
    options::stringCheckEntailLen__option_t,
303
    std::string option,
304
    bool value);
305
template <> const options::stringEager__option_t::type& Options::operator[](
306
    options::stringEager__option_t) const;
307
template <> bool Options::wasSetByUser(options::stringEager__option_t) const;
308
template <> void Options::assignBool(
309
    options::stringEager__option_t,
310
    std::string option,
311
    bool value);
312
template <> void Options::set(
313
    options::stringEagerEval__option_t,
314
    const options::stringEagerEval__option_t::type& x);
315
template <> const options::stringEagerEval__option_t::type& Options::operator[](
316
    options::stringEagerEval__option_t) const;
317
template <> bool Options::wasSetByUser(options::stringEagerEval__option_t) const;
318
template <> void Options::assignBool(
319
    options::stringEagerEval__option_t,
320
    std::string option,
321
    bool value);
322
template <> const options::stringEagerLen__option_t::type& Options::operator[](
323
    options::stringEagerLen__option_t) const;
324
template <> bool Options::wasSetByUser(options::stringEagerLen__option_t) const;
325
template <> void Options::assignBool(
326
    options::stringEagerLen__option_t,
327
    std::string option,
328
    bool value);
329
template <> void Options::set(
330
    options::stringExp__option_t,
331
    const options::stringExp__option_t::type& x);
332
template <> const options::stringExp__option_t::type& Options::operator[](
333
    options::stringExp__option_t) const;
334
template <> bool Options::wasSetByUser(options::stringExp__option_t) const;
335
template <> void Options::assignBool(
336
    options::stringExp__option_t,
337
    std::string option,
338
    bool value);
339
template <> const options::stringFlatForms__option_t::type& Options::operator[](
340
    options::stringFlatForms__option_t) const;
341
template <> bool Options::wasSetByUser(options::stringFlatForms__option_t) const;
342
template <> void Options::assignBool(
343
    options::stringFlatForms__option_t,
344
    std::string option,
345
    bool value);
346
template <> void Options::set(
347
    options::stringFMF__option_t,
348
    const options::stringFMF__option_t::type& x);
349
template <> const options::stringFMF__option_t::type& Options::operator[](
350
    options::stringFMF__option_t) const;
351
template <> bool Options::wasSetByUser(options::stringFMF__option_t) const;
352
template <> void Options::assignBool(
353
    options::stringFMF__option_t,
354
    std::string option,
355
    bool value);
356
template <> const options::stringGuessModel__option_t::type& Options::operator[](
357
    options::stringGuessModel__option_t) const;
358
template <> bool Options::wasSetByUser(options::stringGuessModel__option_t) const;
359
template <> void Options::assignBool(
360
    options::stringGuessModel__option_t,
361
    std::string option,
362
    bool value);
363
template <> const options::stringInferAsLemmas__option_t::type& Options::operator[](
364
    options::stringInferAsLemmas__option_t) const;
365
template <> bool Options::wasSetByUser(options::stringInferAsLemmas__option_t) const;
366
template <> void Options::assignBool(
367
    options::stringInferAsLemmas__option_t,
368
    std::string option,
369
    bool value);
370
template <> const options::stringInferSym__option_t::type& Options::operator[](
371
    options::stringInferSym__option_t) const;
372
template <> bool Options::wasSetByUser(options::stringInferSym__option_t) const;
373
template <> void Options::assignBool(
374
    options::stringInferSym__option_t,
375
    std::string option,
376
    bool value);
377
template <> const options::stringIgnNegMembership__option_t::type& Options::operator[](
378
    options::stringIgnNegMembership__option_t) const;
379
template <> bool Options::wasSetByUser(options::stringIgnNegMembership__option_t) const;
380
template <> void Options::assignBool(
381
    options::stringIgnNegMembership__option_t,
382
    std::string option,
383
    bool value);
384
template <> const options::stringLazyPreproc__option_t::type& Options::operator[](
385
    options::stringLazyPreproc__option_t) const;
386
template <> bool Options::wasSetByUser(options::stringLazyPreproc__option_t) const;
387
template <> void Options::assignBool(
388
    options::stringLazyPreproc__option_t,
389
    std::string option,
390
    bool value);
391
template <> const options::stringLenNorm__option_t::type& Options::operator[](
392
    options::stringLenNorm__option_t) const;
393
template <> bool Options::wasSetByUser(options::stringLenNorm__option_t) const;
394
template <> void Options::assignBool(
395
    options::stringLenNorm__option_t,
396
    std::string option,
397
    bool value);
398
template <> const options::stringLenPropCsp__option_t::type& Options::operator[](
399
    options::stringLenPropCsp__option_t) const;
400
template <> bool Options::wasSetByUser(options::stringLenPropCsp__option_t) const;
401
template <> void Options::assignBool(
402
    options::stringLenPropCsp__option_t,
403
    std::string option,
404
    bool value);
405
template <> const options::stringMinPrefixExplain__option_t::type& Options::operator[](
406
    options::stringMinPrefixExplain__option_t) const;
407
template <> bool Options::wasSetByUser(options::stringMinPrefixExplain__option_t) const;
408
template <> void Options::assignBool(
409
    options::stringMinPrefixExplain__option_t,
410
    std::string option,
411
    bool value);
412
template <> const options::stdPrintASCII__option_t::type& Options::operator[](
413
    options::stdPrintASCII__option_t) const;
414
template <> bool Options::wasSetByUser(options::stdPrintASCII__option_t) const;
415
template <> void Options::assignBool(
416
    options::stdPrintASCII__option_t,
417
    std::string option,
418
    bool value);
419
template <> void Options::set(
420
    options::stringProcessLoopMode__option_t,
421
    const options::stringProcessLoopMode__option_t::type& x);
422
template <> const options::stringProcessLoopMode__option_t::type& Options::operator[](
423
    options::stringProcessLoopMode__option_t) const;
424
template <> bool Options::wasSetByUser(options::stringProcessLoopMode__option_t) const;
425
template <> void Options::assign(
426
    options::stringProcessLoopMode__option_t,
427
    std::string option,
428
    std::string value);
429
template <> const options::stringRExplainLemmas__option_t::type& Options::operator[](
430
    options::stringRExplainLemmas__option_t) const;
431
template <> bool Options::wasSetByUser(options::stringRExplainLemmas__option_t) const;
432
template <> void Options::assignBool(
433
    options::stringRExplainLemmas__option_t,
434
    std::string option,
435
    bool value);
436
template <> const options::stringUnifiedVSpt__option_t::type& Options::operator[](
437
    options::stringUnifiedVSpt__option_t) const;
438
template <> bool Options::wasSetByUser(options::stringUnifiedVSpt__option_t) const;
439
template <> void Options::assignBool(
440
    options::stringUnifiedVSpt__option_t,
441
    std::string option,
442
    bool value);
443
444
445
namespace options {
446
447
87874
inline regExpElim__option_t::type regExpElim__option_t::operator()() const
448
{
449
87874
  return (*Options::current())[*this];
450
}
451
inline bool regExpElim__option_t::wasSetByUser() const
452
{
453
  return Options::current()->wasSetByUser(*this);
454
}
455
inline void regExpElim__option_t::set(const regExpElim__option_t::type& v)
456
{
457
  Options::current()->set(*this, v);
458
}
459
inline const char* regExpElim__option_t::getName() const
460
{
461
  return "re-elim";
462
}
463
8995
inline regExpElimAgg__option_t::type regExpElimAgg__option_t::operator()() const
464
{
465
8995
  return (*Options::current())[*this];
466
}
467
inline bool regExpElimAgg__option_t::wasSetByUser() const
468
{
469
  return Options::current()->wasSetByUser(*this);
470
}
471
inline void regExpElimAgg__option_t::set(const regExpElimAgg__option_t::type& v)
472
{
473
  Options::current()->set(*this, v);
474
}
475
inline const char* regExpElimAgg__option_t::getName() const
476
{
477
  return "re-elim-agg";
478
}
479
1229
inline stringRegExpInterMode__option_t::type stringRegExpInterMode__option_t::operator()() const
480
{
481
1229
  return (*Options::current())[*this];
482
}
483
inline bool stringRegExpInterMode__option_t::wasSetByUser() const
484
{
485
  return Options::current()->wasSetByUser(*this);
486
}
487
inline void stringRegExpInterMode__option_t::set(const stringRegExpInterMode__option_t::type& v)
488
{
489
  Options::current()->set(*this, v);
490
}
491
inline const char* stringRegExpInterMode__option_t::getName() const
492
{
493
  return "re-inter-mode";
494
}
495
2747
inline stringCheckEntailLen__option_t::type stringCheckEntailLen__option_t::operator()() const
496
{
497
2747
  return (*Options::current())[*this];
498
}
499
inline bool stringCheckEntailLen__option_t::wasSetByUser() const
500
{
501
  return Options::current()->wasSetByUser(*this);
502
}
503
inline const char* stringCheckEntailLen__option_t::getName() const
504
{
505
  return "strings-check-entail-len";
506
}
507
17184
inline stringEager__option_t::type stringEager__option_t::operator()() const
508
{
509
17184
  return (*Options::current())[*this];
510
}
511
inline bool stringEager__option_t::wasSetByUser() const
512
{
513
  return Options::current()->wasSetByUser(*this);
514
}
515
inline const char* stringEager__option_t::getName() const
516
{
517
  return "strings-eager";
518
}
519
8995
inline stringEagerEval__option_t::type stringEagerEval__option_t::operator()() const
520
{
521
8995
  return (*Options::current())[*this];
522
}
523
inline bool stringEagerEval__option_t::wasSetByUser() const
524
{
525
  return Options::current()->wasSetByUser(*this);
526
}
527
inline void stringEagerEval__option_t::set(const stringEagerEval__option_t::type& v)
528
{
529
  Options::current()->set(*this, v);
530
}
531
inline const char* stringEagerEval__option_t::getName() const
532
{
533
  return "strings-eager-eval";
534
}
535
44778
inline stringEagerLen__option_t::type stringEagerLen__option_t::operator()() const
536
{
537
44778
  return (*Options::current())[*this];
538
}
539
inline bool stringEagerLen__option_t::wasSetByUser() const
540
{
541
  return Options::current()->wasSetByUser(*this);
542
}
543
inline const char* stringEagerLen__option_t::getName() const
544
{
545
  return "strings-eager-len";
546
}
547
130621
inline stringExp__option_t::type stringExp__option_t::operator()() const
548
{
549
130621
  return (*Options::current())[*this];
550
}
551
inline bool stringExp__option_t::wasSetByUser() const
552
{
553
  return Options::current()->wasSetByUser(*this);
554
}
555
inline void stringExp__option_t::set(const stringExp__option_t::type& v)
556
{
557
  Options::current()->set(*this, v);
558
}
559
inline const char* stringExp__option_t::getName() const
560
{
561
  return "strings-exp";
562
}
563
8592
inline stringFlatForms__option_t::type stringFlatForms__option_t::operator()() const
564
{
565
8592
  return (*Options::current())[*this];
566
}
567
inline bool stringFlatForms__option_t::wasSetByUser() const
568
{
569
  return Options::current()->wasSetByUser(*this);
570
}
571
inline const char* stringFlatForms__option_t::getName() const
572
{
573
  return "strings-ff";
574
}
575
97071
inline stringFMF__option_t::type stringFMF__option_t::operator()() const
576
{
577
97071
  return (*Options::current())[*this];
578
}
579
inline bool stringFMF__option_t::wasSetByUser() const
580
{
581
  return Options::current()->wasSetByUser(*this);
582
}
583
inline void stringFMF__option_t::set(const stringFMF__option_t::type& v)
584
{
585
  Options::current()->set(*this, v);
586
}
587
inline const char* stringFMF__option_t::getName() const
588
{
589
  return "strings-fmf";
590
}
591
7074
inline stringGuessModel__option_t::type stringGuessModel__option_t::operator()() const
592
{
593
7074
  return (*Options::current())[*this];
594
}
595
inline bool stringGuessModel__option_t::wasSetByUser() const
596
{
597
  return Options::current()->wasSetByUser(*this);
598
}
599
inline const char* stringGuessModel__option_t::getName() const
600
{
601
  return "strings-guess-model";
602
}
603
15311
inline stringInferAsLemmas__option_t::type stringInferAsLemmas__option_t::operator()() const
604
{
605
15311
  return (*Options::current())[*this];
606
}
607
inline bool stringInferAsLemmas__option_t::wasSetByUser() const
608
{
609
  return Options::current()->wasSetByUser(*this);
610
}
611
inline const char* stringInferAsLemmas__option_t::getName() const
612
{
613
  return "strings-infer-as-lemmas";
614
}
615
83064
inline stringInferSym__option_t::type stringInferSym__option_t::operator()() const
616
{
617
83064
  return (*Options::current())[*this];
618
}
619
inline bool stringInferSym__option_t::wasSetByUser() const
620
{
621
  return Options::current()->wasSetByUser(*this);
622
}
623
inline const char* stringInferSym__option_t::getName() const
624
{
625
  return "strings-infer-sym";
626
}
627
310
inline stringIgnNegMembership__option_t::type stringIgnNegMembership__option_t::operator()() const
628
{
629
310
  return (*Options::current())[*this];
630
}
631
inline bool stringIgnNegMembership__option_t::wasSetByUser() const
632
{
633
  return Options::current()->wasSetByUser(*this);
634
}
635
inline const char* stringIgnNegMembership__option_t::getName() const
636
{
637
  return "strings-inm";
638
}
639
19794
inline stringLazyPreproc__option_t::type stringLazyPreproc__option_t::operator()() const
640
{
641
19794
  return (*Options::current())[*this];
642
}
643
inline bool stringLazyPreproc__option_t::wasSetByUser() const
644
{
645
  return Options::current()->wasSetByUser(*this);
646
}
647
inline const char* stringLazyPreproc__option_t::getName() const
648
{
649
  return "strings-lazy-pp";
650
}
651
8592
inline stringLenNorm__option_t::type stringLenNorm__option_t::operator()() const
652
{
653
8592
  return (*Options::current())[*this];
654
}
655
inline bool stringLenNorm__option_t::wasSetByUser() const
656
{
657
  return Options::current()->wasSetByUser(*this);
658
}
659
inline const char* stringLenNorm__option_t::getName() const
660
{
661
  return "strings-len-norm";
662
}
663
inline stringLenPropCsp__option_t::type stringLenPropCsp__option_t::operator()() const
664
{
665
  return (*Options::current())[*this];
666
}
667
inline bool stringLenPropCsp__option_t::wasSetByUser() const
668
{
669
  return Options::current()->wasSetByUser(*this);
670
}
671
inline const char* stringLenPropCsp__option_t::getName() const
672
{
673
  return "strings-lprop-csp";
674
}
675
21054
inline stringMinPrefixExplain__option_t::type stringMinPrefixExplain__option_t::operator()() const
676
{
677
21054
  return (*Options::current())[*this];
678
}
679
inline bool stringMinPrefixExplain__option_t::wasSetByUser() const
680
{
681
  return Options::current()->wasSetByUser(*this);
682
}
683
inline const char* stringMinPrefixExplain__option_t::getName() const
684
{
685
  return "strings-min-prefix-explain";
686
}
687
39075
inline stdPrintASCII__option_t::type stdPrintASCII__option_t::operator()() const
688
{
689
39075
  return (*Options::current())[*this];
690
}
691
inline bool stdPrintASCII__option_t::wasSetByUser() const
692
{
693
  return Options::current()->wasSetByUser(*this);
694
}
695
inline const char* stdPrintASCII__option_t::getName() const
696
{
697
  return "strings-print-ascii";
698
}
699
1580
inline stringProcessLoopMode__option_t::type stringProcessLoopMode__option_t::operator()() const
700
{
701
1580
  return (*Options::current())[*this];
702
}
703
40
inline bool stringProcessLoopMode__option_t::wasSetByUser() const
704
{
705
40
  return Options::current()->wasSetByUser(*this);
706
}
707
40
inline void stringProcessLoopMode__option_t::set(const stringProcessLoopMode__option_t::type& v)
708
{
709
40
  Options::current()->set(*this, v);
710
40
}
711
inline const char* stringProcessLoopMode__option_t::getName() const
712
{
713
  return "strings-process-loop-mode";
714
}
715
14846
inline stringRExplainLemmas__option_t::type stringRExplainLemmas__option_t::operator()() const
716
{
717
14846
  return (*Options::current())[*this];
718
}
719
inline bool stringRExplainLemmas__option_t::wasSetByUser() const
720
{
721
  return Options::current()->wasSetByUser(*this);
722
}
723
inline const char* stringRExplainLemmas__option_t::getName() const
724
{
725
  return "strings-rexplain-lemmas";
726
}
727
5534
inline stringUnifiedVSpt__option_t::type stringUnifiedVSpt__option_t::operator()() const
728
{
729
5534
  return (*Options::current())[*this];
730
}
731
inline bool stringUnifiedVSpt__option_t::wasSetByUser() const
732
{
733
  return Options::current()->wasSetByUser(*this);
734
}
735
inline const char* stringUnifiedVSpt__option_t::getName() const
736
{
737
  return "strings-unified-vspt";
738
}
739
740
}  // namespace options
741
}  // namespace CVC4
742
743
#endif /* CVC4__OPTIONS__STRINGS_H */