GCC Code Coverage Report
Directory: . Exec Total Coverage
File: build-coverage/src/options/prop_options.h Lines: 23 23 100.0 %
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__PROP_H
21
#define CVC4__OPTIONS__PROP_H
22
23
#include "options/options.h"
24
25
26
27
28
#define CVC4_OPTIONS__PROP__FOR_OPTION_HOLDER \
29
  minisatDumpDimacs__option_t::type minisatDumpDimacs;\
30
  bool minisatDumpDimacs__setByUser__; \
31
  minisatUseElim__option_t::type minisatUseElim;\
32
  bool minisatUseElim__setByUser__; \
33
  satRandomFreq__option_t::type satRandomFreq;\
34
  bool satRandomFreq__setByUser__; \
35
  satRandomSeed__option_t::type satRandomSeed;\
36
  bool satRandomSeed__setByUser__; \
37
  sat_refine_conflicts__option_t::type sat_refine_conflicts;\
38
  bool sat_refine_conflicts__setByUser__; \
39
  satRestartFirst__option_t::type satRestartFirst;\
40
  bool satRestartFirst__setByUser__; \
41
  satRestartInc__option_t::type satRestartInc;\
42
  bool satRestartInc__setByUser__; \
43
  satClauseDecay__option_t::type satClauseDecay;\
44
  bool satClauseDecay__setByUser__; \
45
  satVarDecay__option_t::type satVarDecay;\
46
  bool satVarDecay__setByUser__;
47
48
49
namespace CVC4 {
50
51
namespace options {
52
53
54
55
extern struct minisatDumpDimacs__option_t
56
{
57
  typedef bool type;
58
  type operator()() const;
59
  bool wasSetByUser() const;
60
  const char* getName() const;
61
} thread_local minisatDumpDimacs;
62
extern struct minisatUseElim__option_t
63
{
64
  typedef bool type;
65
  type operator()() const;
66
  bool wasSetByUser() const;
67
  void set(const type& v);
68
  const char* getName() const;
69
} thread_local minisatUseElim;
70
extern struct satRandomFreq__option_t
71
{
72
  typedef double type;
73
  type operator()() const;
74
  bool wasSetByUser() const;
75
  const char* getName() const;
76
} thread_local satRandomFreq;
77
extern struct satRandomSeed__option_t
78
{
79
  typedef uint32_t type;
80
  type operator()() const;
81
  bool wasSetByUser() const;
82
  void set(const type& v);
83
  const char* getName() const;
84
} thread_local satRandomSeed;
85
extern struct sat_refine_conflicts__option_t
86
{
87
  typedef bool type;
88
  type operator()() const;
89
  bool wasSetByUser() const;
90
  const char* getName() const;
91
} thread_local sat_refine_conflicts;
92
extern struct satRestartFirst__option_t
93
{
94
  typedef unsigned type;
95
  type operator()() const;
96
  bool wasSetByUser() const;
97
  const char* getName() const;
98
} thread_local satRestartFirst;
99
extern struct satRestartInc__option_t
100
{
101
  typedef double type;
102
  type operator()() const;
103
  bool wasSetByUser() const;
104
  const char* getName() const;
105
} thread_local satRestartInc;
106
extern struct satClauseDecay__option_t
107
{
108
  typedef double type;
109
  type operator()() const;
110
  bool wasSetByUser() const;
111
  void set(const type& v);
112
  const char* getName() const;
113
} thread_local satClauseDecay;
114
extern struct satVarDecay__option_t
115
{
116
  typedef double type;
117
  type operator()() const;
118
  bool wasSetByUser() const;
119
  void set(const type& v);
120
  const char* getName() const;
121
} thread_local satVarDecay;
122
123
}  // namespace options
124
125
template <> const options::minisatDumpDimacs__option_t::type& Options::operator[](
126
    options::minisatDumpDimacs__option_t) const;
127
template <> bool Options::wasSetByUser(options::minisatDumpDimacs__option_t) const;
128
template <> void Options::assignBool(
129
    options::minisatDumpDimacs__option_t,
130
    std::string option,
131
    bool value);
132
template <> void Options::set(
133
    options::minisatUseElim__option_t,
134
    const options::minisatUseElim__option_t::type& x);
135
template <> const options::minisatUseElim__option_t::type& Options::operator[](
136
    options::minisatUseElim__option_t) const;
137
template <> bool Options::wasSetByUser(options::minisatUseElim__option_t) const;
138
template <> void Options::assignBool(
139
    options::minisatUseElim__option_t,
140
    std::string option,
141
    bool value);
142
template <> const options::satRandomFreq__option_t::type& Options::operator[](
143
    options::satRandomFreq__option_t) const;
144
template <> bool Options::wasSetByUser(options::satRandomFreq__option_t) const;
145
template <> void Options::assign(
146
    options::satRandomFreq__option_t,
147
    std::string option,
148
    std::string value);
149
template <> void Options::set(
150
    options::satRandomSeed__option_t,
151
    const options::satRandomSeed__option_t::type& x);
152
template <> const options::satRandomSeed__option_t::type& Options::operator[](
153
    options::satRandomSeed__option_t) const;
154
template <> bool Options::wasSetByUser(options::satRandomSeed__option_t) const;
155
template <> void Options::assign(
156
    options::satRandomSeed__option_t,
157
    std::string option,
158
    std::string value);
159
template <> const options::sat_refine_conflicts__option_t::type& Options::operator[](
160
    options::sat_refine_conflicts__option_t) const;
161
template <> bool Options::wasSetByUser(options::sat_refine_conflicts__option_t) const;
162
template <> void Options::assignBool(
163
    options::sat_refine_conflicts__option_t,
164
    std::string option,
165
    bool value);
166
template <> const options::satRestartFirst__option_t::type& Options::operator[](
167
    options::satRestartFirst__option_t) const;
168
template <> bool Options::wasSetByUser(options::satRestartFirst__option_t) const;
169
template <> void Options::assign(
170
    options::satRestartFirst__option_t,
171
    std::string option,
172
    std::string value);
173
template <> const options::satRestartInc__option_t::type& Options::operator[](
174
    options::satRestartInc__option_t) const;
175
template <> bool Options::wasSetByUser(options::satRestartInc__option_t) const;
176
template <> void Options::assign(
177
    options::satRestartInc__option_t,
178
    std::string option,
179
    std::string value);
180
template <> void Options::set(
181
    options::satClauseDecay__option_t,
182
    const options::satClauseDecay__option_t::type& x);
183
template <> const options::satClauseDecay__option_t::type& Options::operator[](
184
    options::satClauseDecay__option_t) const;
185
template <> bool Options::wasSetByUser(options::satClauseDecay__option_t) const;
186
template <> void Options::assign(
187
    options::satClauseDecay__option_t,
188
    std::string option,
189
    std::string value);
190
template <> void Options::set(
191
    options::satVarDecay__option_t,
192
    const options::satVarDecay__option_t::type& x);
193
template <> const options::satVarDecay__option_t::type& Options::operator[](
194
    options::satVarDecay__option_t) const;
195
template <> bool Options::wasSetByUser(options::satVarDecay__option_t) const;
196
template <> void Options::assign(
197
    options::satVarDecay__option_t,
198
    std::string option,
199
    std::string value);
200
201
202
namespace options {
203
204
12419
inline minisatDumpDimacs__option_t::type minisatDumpDimacs__option_t::operator()() const
205
{
206
12419
  return (*Options::current())[*this];
207
}
208
inline bool minisatDumpDimacs__option_t::wasSetByUser() const
209
{
210
  return Options::current()->wasSetByUser(*this);
211
}
212
inline const char* minisatDumpDimacs__option_t::getName() const
213
{
214
  return "minisat-dump-dimacs";
215
}
216
26974
inline minisatUseElim__option_t::type minisatUseElim__option_t::operator()() const
217
{
218
26974
  return (*Options::current())[*this];
219
}
220
10761
inline bool minisatUseElim__option_t::wasSetByUser() const
221
{
222
10761
  return Options::current()->wasSetByUser(*this);
223
}
224
7240
inline void minisatUseElim__option_t::set(const minisatUseElim__option_t::type& v)
225
{
226
7240
  Options::current()->set(*this, v);
227
7240
}
228
inline const char* minisatUseElim__option_t::getName() const
229
{
230
  return "minisat-elimination";
231
}
232
12419
inline satRandomFreq__option_t::type satRandomFreq__option_t::operator()() const
233
{
234
12419
  return (*Options::current())[*this];
235
}
236
inline bool satRandomFreq__option_t::wasSetByUser() const
237
{
238
  return Options::current()->wasSetByUser(*this);
239
}
240
inline const char* satRandomFreq__option_t::getName() const
241
{
242
  return "random-freq";
243
}
244
12419
inline satRandomSeed__option_t::type satRandomSeed__option_t::operator()() const
245
{
246
12419
  return (*Options::current())[*this];
247
}
248
inline bool satRandomSeed__option_t::wasSetByUser() const
249
{
250
  return Options::current()->wasSetByUser(*this);
251
}
252
inline void satRandomSeed__option_t::set(const satRandomSeed__option_t::type& v)
253
{
254
  Options::current()->set(*this, v);
255
}
256
inline const char* satRandomSeed__option_t::getName() const
257
{
258
  return "random-seed";
259
}
260
58028
inline sat_refine_conflicts__option_t::type sat_refine_conflicts__option_t::operator()() const
261
{
262
58028
  return (*Options::current())[*this];
263
}
264
inline bool sat_refine_conflicts__option_t::wasSetByUser() const
265
{
266
  return Options::current()->wasSetByUser(*this);
267
}
268
inline const char* sat_refine_conflicts__option_t::getName() const
269
{
270
  return "refine-conflicts";
271
}
272
12419
inline satRestartFirst__option_t::type satRestartFirst__option_t::operator()() const
273
{
274
12419
  return (*Options::current())[*this];
275
}
276
inline bool satRestartFirst__option_t::wasSetByUser() const
277
{
278
  return Options::current()->wasSetByUser(*this);
279
}
280
inline const char* satRestartFirst__option_t::getName() const
281
{
282
  return "restart-int-base";
283
}
284
12419
inline satRestartInc__option_t::type satRestartInc__option_t::operator()() const
285
{
286
12419
  return (*Options::current())[*this];
287
}
288
inline bool satRestartInc__option_t::wasSetByUser() const
289
{
290
  return Options::current()->wasSetByUser(*this);
291
}
292
inline const char* satRestartInc__option_t::getName() const
293
{
294
  return "restart-int-inc";
295
}
296
12419
inline satClauseDecay__option_t::type satClauseDecay__option_t::operator()() const
297
{
298
12419
  return (*Options::current())[*this];
299
}
300
inline bool satClauseDecay__option_t::wasSetByUser() const
301
{
302
  return Options::current()->wasSetByUser(*this);
303
}
304
inline void satClauseDecay__option_t::set(const satClauseDecay__option_t::type& v)
305
{
306
  Options::current()->set(*this, v);
307
}
308
inline const char* satClauseDecay__option_t::getName() const
309
{
310
  return "";
311
}
312
12419
inline satVarDecay__option_t::type satVarDecay__option_t::operator()() const
313
{
314
12419
  return (*Options::current())[*this];
315
}
316
inline bool satVarDecay__option_t::wasSetByUser() const
317
{
318
  return Options::current()->wasSetByUser(*this);
319
}
320
inline void satVarDecay__option_t::set(const satVarDecay__option_t::type& v)
321
{
322
  Options::current()->set(*this, v);
323
}
324
inline const char* satVarDecay__option_t::getName() const
325
{
326
  return "";
327
}
328
329
}  // namespace options
330
}  // namespace CVC4
331
332
#endif /* CVC4__OPTIONS__PROP_H */