GCC Code Coverage Report
Directory: . Exec Total Coverage
File: build-coverage/src/options/arrays_options.h Lines: 22 26 84.6 %
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__ARRAYS_H
21
#define CVC4__OPTIONS__ARRAYS_H
22
23
#include "options/options.h"
24
25
26
27
28
#define CVC4_OPTIONS__ARRAYS__FOR_OPTION_HOLDER \
29
  arraysConfig__option_t::type arraysConfig;\
30
  bool arraysConfig__setByUser__; \
31
  arraysEagerIndexSplitting__option_t::type arraysEagerIndexSplitting;\
32
  bool arraysEagerIndexSplitting__setByUser__; \
33
  arraysEagerLemmas__option_t::type arraysEagerLemmas;\
34
  bool arraysEagerLemmas__setByUser__; \
35
  arraysExp__option_t::type arraysExp;\
36
  bool arraysExp__setByUser__; \
37
  arraysModelBased__option_t::type arraysModelBased;\
38
  bool arraysModelBased__setByUser__; \
39
  arraysOptimizeLinear__option_t::type arraysOptimizeLinear;\
40
  bool arraysOptimizeLinear__setByUser__; \
41
  arraysPropagate__option_t::type arraysPropagate;\
42
  bool arraysPropagate__setByUser__; \
43
  arraysReduceSharing__option_t::type arraysReduceSharing;\
44
  bool arraysReduceSharing__setByUser__; \
45
  arraysWeakEquivalence__option_t::type arraysWeakEquivalence;\
46
  bool arraysWeakEquivalence__setByUser__;
47
48
49
namespace CVC4 {
50
51
namespace options {
52
53
54
55
extern struct arraysConfig__option_t
56
{
57
  typedef int type;
58
  type operator()() const;
59
  bool wasSetByUser() const;
60
  void set(const type& v);
61
  const char* getName() const;
62
} thread_local arraysConfig;
63
extern struct arraysEagerIndexSplitting__option_t
64
{
65
  typedef bool type;
66
  type operator()() const;
67
  bool wasSetByUser() const;
68
  void set(const type& v);
69
  const char* getName() const;
70
} thread_local arraysEagerIndexSplitting;
71
extern struct arraysEagerLemmas__option_t
72
{
73
  typedef bool type;
74
  type operator()() const;
75
  bool wasSetByUser() const;
76
  void set(const type& v);
77
  const char* getName() const;
78
} thread_local arraysEagerLemmas;
79
extern struct arraysExp__option_t
80
{
81
  typedef bool type;
82
  type operator()() const;
83
  bool wasSetByUser() const;
84
  void set(const type& v);
85
  const char* getName() const;
86
} thread_local arraysExp;
87
extern struct arraysModelBased__option_t
88
{
89
  typedef bool type;
90
  type operator()() const;
91
  bool wasSetByUser() const;
92
  void set(const type& v);
93
  const char* getName() const;
94
} thread_local arraysModelBased;
95
extern struct arraysOptimizeLinear__option_t
96
{
97
  typedef bool type;
98
  type operator()() const;
99
  bool wasSetByUser() const;
100
  void set(const type& v);
101
  const char* getName() const;
102
} thread_local arraysOptimizeLinear;
103
extern struct arraysPropagate__option_t
104
{
105
  typedef int type;
106
  type operator()() const;
107
  bool wasSetByUser() const;
108
  void set(const type& v);
109
  const char* getName() const;
110
} thread_local arraysPropagate;
111
extern struct arraysReduceSharing__option_t
112
{
113
  typedef bool type;
114
  type operator()() const;
115
  bool wasSetByUser() const;
116
  void set(const type& v);
117
  const char* getName() const;
118
} thread_local arraysReduceSharing;
119
extern struct arraysWeakEquivalence__option_t
120
{
121
  typedef bool type;
122
  type operator()() const;
123
  bool wasSetByUser() const;
124
  void set(const type& v);
125
  const char* getName() const;
126
} thread_local arraysWeakEquivalence;
127
128
}  // namespace options
129
130
template <> void Options::set(
131
    options::arraysConfig__option_t,
132
    const options::arraysConfig__option_t::type& x);
133
template <> const options::arraysConfig__option_t::type& Options::operator[](
134
    options::arraysConfig__option_t) const;
135
template <> bool Options::wasSetByUser(options::arraysConfig__option_t) const;
136
template <> void Options::assign(
137
    options::arraysConfig__option_t,
138
    std::string option,
139
    std::string value);
140
template <> void Options::set(
141
    options::arraysEagerIndexSplitting__option_t,
142
    const options::arraysEagerIndexSplitting__option_t::type& x);
143
template <> const options::arraysEagerIndexSplitting__option_t::type& Options::operator[](
144
    options::arraysEagerIndexSplitting__option_t) const;
145
template <> bool Options::wasSetByUser(options::arraysEagerIndexSplitting__option_t) const;
146
template <> void Options::assignBool(
147
    options::arraysEagerIndexSplitting__option_t,
148
    std::string option,
149
    bool value);
150
template <> void Options::set(
151
    options::arraysEagerLemmas__option_t,
152
    const options::arraysEagerLemmas__option_t::type& x);
153
template <> const options::arraysEagerLemmas__option_t::type& Options::operator[](
154
    options::arraysEagerLemmas__option_t) const;
155
template <> bool Options::wasSetByUser(options::arraysEagerLemmas__option_t) const;
156
template <> void Options::assignBool(
157
    options::arraysEagerLemmas__option_t,
158
    std::string option,
159
    bool value);
160
template <> void Options::set(
161
    options::arraysExp__option_t,
162
    const options::arraysExp__option_t::type& x);
163
template <> const options::arraysExp__option_t::type& Options::operator[](
164
    options::arraysExp__option_t) const;
165
template <> bool Options::wasSetByUser(options::arraysExp__option_t) const;
166
template <> void Options::assignBool(
167
    options::arraysExp__option_t,
168
    std::string option,
169
    bool value);
170
template <> void Options::set(
171
    options::arraysModelBased__option_t,
172
    const options::arraysModelBased__option_t::type& x);
173
template <> const options::arraysModelBased__option_t::type& Options::operator[](
174
    options::arraysModelBased__option_t) const;
175
template <> bool Options::wasSetByUser(options::arraysModelBased__option_t) const;
176
template <> void Options::assignBool(
177
    options::arraysModelBased__option_t,
178
    std::string option,
179
    bool value);
180
template <> void Options::set(
181
    options::arraysOptimizeLinear__option_t,
182
    const options::arraysOptimizeLinear__option_t::type& x);
183
template <> const options::arraysOptimizeLinear__option_t::type& Options::operator[](
184
    options::arraysOptimizeLinear__option_t) const;
185
template <> bool Options::wasSetByUser(options::arraysOptimizeLinear__option_t) const;
186
template <> void Options::assignBool(
187
    options::arraysOptimizeLinear__option_t,
188
    std::string option,
189
    bool value);
190
template <> void Options::set(
191
    options::arraysPropagate__option_t,
192
    const options::arraysPropagate__option_t::type& x);
193
template <> const options::arraysPropagate__option_t::type& Options::operator[](
194
    options::arraysPropagate__option_t) const;
195
template <> bool Options::wasSetByUser(options::arraysPropagate__option_t) const;
196
template <> void Options::assign(
197
    options::arraysPropagate__option_t,
198
    std::string option,
199
    std::string value);
200
template <> void Options::set(
201
    options::arraysReduceSharing__option_t,
202
    const options::arraysReduceSharing__option_t::type& x);
203
template <> const options::arraysReduceSharing__option_t::type& Options::operator[](
204
    options::arraysReduceSharing__option_t) const;
205
template <> bool Options::wasSetByUser(options::arraysReduceSharing__option_t) const;
206
template <> void Options::assignBool(
207
    options::arraysReduceSharing__option_t,
208
    std::string option,
209
    bool value);
210
template <> void Options::set(
211
    options::arraysWeakEquivalence__option_t,
212
    const options::arraysWeakEquivalence__option_t::type& x);
213
template <> const options::arraysWeakEquivalence__option_t::type& Options::operator[](
214
    options::arraysWeakEquivalence__option_t) const;
215
template <> bool Options::wasSetByUser(options::arraysWeakEquivalence__option_t) const;
216
template <> void Options::assignBool(
217
    options::arraysWeakEquivalence__option_t,
218
    std::string option,
219
    bool value);
220
221
222
namespace options {
223
224
inline arraysConfig__option_t::type arraysConfig__option_t::operator()() const
225
{
226
  return (*Options::current())[*this];
227
}
228
inline bool arraysConfig__option_t::wasSetByUser() const
229
{
230
  return Options::current()->wasSetByUser(*this);
231
}
232
inline void arraysConfig__option_t::set(const arraysConfig__option_t::type& v)
233
{
234
  Options::current()->set(*this, v);
235
}
236
inline const char* arraysConfig__option_t::getName() const
237
{
238
  return "arrays-config";
239
}
240
16331
inline arraysEagerIndexSplitting__option_t::type arraysEagerIndexSplitting__option_t::operator()() const
241
{
242
16331
  return (*Options::current())[*this];
243
}
244
8995
inline bool arraysEagerIndexSplitting__option_t::wasSetByUser() const
245
{
246
8995
  return Options::current()->wasSetByUser(*this);
247
}
248
354
inline void arraysEagerIndexSplitting__option_t::set(const arraysEagerIndexSplitting__option_t::type& v)
249
{
250
354
  Options::current()->set(*this, v);
251
354
}
252
inline const char* arraysEagerIndexSplitting__option_t::getName() const
253
{
254
  return "arrays-eager-index";
255
}
256
149485
inline arraysEagerLemmas__option_t::type arraysEagerLemmas__option_t::operator()() const
257
{
258
149485
  return (*Options::current())[*this];
259
}
260
inline bool arraysEagerLemmas__option_t::wasSetByUser() const
261
{
262
  return Options::current()->wasSetByUser(*this);
263
}
264
inline void arraysEagerLemmas__option_t::set(const arraysEagerLemmas__option_t::type& v)
265
{
266
  Options::current()->set(*this, v);
267
}
268
inline const char* arraysEagerLemmas__option_t::getName() const
269
{
270
  return "arrays-eager-lemmas";
271
}
272
9012
inline arraysExp__option_t::type arraysExp__option_t::operator()() const
273
{
274
9012
  return (*Options::current())[*this];
275
}
276
inline bool arraysExp__option_t::wasSetByUser() const
277
{
278
  return Options::current()->wasSetByUser(*this);
279
}
280
inline void arraysExp__option_t::set(const arraysExp__option_t::type& v)
281
{
282
  Options::current()->set(*this, v);
283
}
284
inline const char* arraysExp__option_t::getName() const
285
{
286
  return "arrays-exp";
287
}
288
inline arraysModelBased__option_t::type arraysModelBased__option_t::operator()() const
289
{
290
  return (*Options::current())[*this];
291
}
292
inline bool arraysModelBased__option_t::wasSetByUser() const
293
{
294
  return Options::current()->wasSetByUser(*this);
295
}
296
inline void arraysModelBased__option_t::set(const arraysModelBased__option_t::type& v)
297
{
298
  Options::current()->set(*this, v);
299
}
300
inline const char* arraysModelBased__option_t::getName() const
301
{
302
  return "arrays-model-based";
303
}
304
38448
inline arraysOptimizeLinear__option_t::type arraysOptimizeLinear__option_t::operator()() const
305
{
306
38448
  return (*Options::current())[*this];
307
}
308
inline bool arraysOptimizeLinear__option_t::wasSetByUser() const
309
{
310
  return Options::current()->wasSetByUser(*this);
311
}
312
3917
inline void arraysOptimizeLinear__option_t::set(const arraysOptimizeLinear__option_t::type& v)
313
{
314
3917
  Options::current()->set(*this, v);
315
3917
}
316
inline const char* arraysOptimizeLinear__option_t::getName() const
317
{
318
  return "arrays-optimize-linear";
319
}
320
59998
inline arraysPropagate__option_t::type arraysPropagate__option_t::operator()() const
321
{
322
59998
  return (*Options::current())[*this];
323
}
324
inline bool arraysPropagate__option_t::wasSetByUser() const
325
{
326
  return Options::current()->wasSetByUser(*this);
327
}
328
inline void arraysPropagate__option_t::set(const arraysPropagate__option_t::type& v)
329
{
330
  Options::current()->set(*this, v);
331
}
332
inline const char* arraysPropagate__option_t::getName() const
333
{
334
  return "arrays-prop";
335
}
336
1932
inline arraysReduceSharing__option_t::type arraysReduceSharing__option_t::operator()() const
337
{
338
1932
  return (*Options::current())[*this];
339
}
340
inline bool arraysReduceSharing__option_t::wasSetByUser() const
341
{
342
  return Options::current()->wasSetByUser(*this);
343
}
344
inline void arraysReduceSharing__option_t::set(const arraysReduceSharing__option_t::type& v)
345
{
346
  Options::current()->set(*this, v);
347
}
348
inline const char* arraysReduceSharing__option_t::getName() const
349
{
350
  return "arrays-reduce-sharing";
351
}
352
110341
inline arraysWeakEquivalence__option_t::type arraysWeakEquivalence__option_t::operator()() const
353
{
354
110341
  return (*Options::current())[*this];
355
}
356
inline bool arraysWeakEquivalence__option_t::wasSetByUser() const
357
{
358
  return Options::current()->wasSetByUser(*this);
359
}
360
inline void arraysWeakEquivalence__option_t::set(const arraysWeakEquivalence__option_t::type& v)
361
{
362
  Options::current()->set(*this, v);
363
}
364
inline const char* arraysWeakEquivalence__option_t::getName() const
365
{
366
  return "arrays-weak-equiv";
367
}
368
369
}  // namespace options
370
}  // namespace CVC4
371
372
#endif /* CVC4__OPTIONS__ARRAYS_H */