GCC Code Coverage Report
Directory: . Exec Total Coverage
File: build-coverage/src/options/sep_options.h Lines: 10 12 83.3 %
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__SEP_H
21
#define CVC4__OPTIONS__SEP_H
22
23
#include "options/options.h"
24
25
26
27
28
#define CVC4_OPTIONS__SEP__FOR_OPTION_HOLDER \
29
  sepCheckNeg__option_t::type sepCheckNeg;\
30
  bool sepCheckNeg__setByUser__; \
31
  sepChildRefine__option_t::type sepChildRefine;\
32
  bool sepChildRefine__setByUser__; \
33
  sepDisequalC__option_t::type sepDisequalC;\
34
  bool sepDisequalC__setByUser__; \
35
  sepExp__option_t::type sepExp;\
36
  bool sepExp__setByUser__; \
37
  sepMinimalRefine__option_t::type sepMinimalRefine;\
38
  bool sepMinimalRefine__setByUser__; \
39
  sepPreSkolemEmp__option_t::type sepPreSkolemEmp;\
40
  bool sepPreSkolemEmp__setByUser__;
41
42
43
namespace CVC4 {
44
45
namespace options {
46
47
48
49
extern struct sepCheckNeg__option_t
50
{
51
  typedef bool type;
52
  type operator()() const;
53
  bool wasSetByUser() const;
54
  const char* getName() const;
55
} thread_local sepCheckNeg;
56
extern struct sepChildRefine__option_t
57
{
58
  typedef bool type;
59
  type operator()() const;
60
  bool wasSetByUser() const;
61
  const char* getName() const;
62
} thread_local sepChildRefine;
63
extern struct sepDisequalC__option_t
64
{
65
  typedef bool type;
66
  type operator()() const;
67
  bool wasSetByUser() const;
68
  const char* getName() const;
69
} thread_local sepDisequalC;
70
extern struct sepExp__option_t
71
{
72
  typedef bool type;
73
  type operator()() const;
74
  bool wasSetByUser() const;
75
  const char* getName() const;
76
} thread_local sepExp;
77
extern struct sepMinimalRefine__option_t
78
{
79
  typedef bool type;
80
  type operator()() const;
81
  bool wasSetByUser() const;
82
  const char* getName() const;
83
} thread_local sepMinimalRefine;
84
extern struct sepPreSkolemEmp__option_t
85
{
86
  typedef bool type;
87
  type operator()() const;
88
  bool wasSetByUser() const;
89
  const char* getName() const;
90
} thread_local sepPreSkolemEmp;
91
92
}  // namespace options
93
94
template <> const options::sepCheckNeg__option_t::type& Options::operator[](
95
    options::sepCheckNeg__option_t) const;
96
template <> bool Options::wasSetByUser(options::sepCheckNeg__option_t) const;
97
template <> void Options::assignBool(
98
    options::sepCheckNeg__option_t,
99
    std::string option,
100
    bool value);
101
template <> const options::sepChildRefine__option_t::type& Options::operator[](
102
    options::sepChildRefine__option_t) const;
103
template <> bool Options::wasSetByUser(options::sepChildRefine__option_t) const;
104
template <> void Options::assignBool(
105
    options::sepChildRefine__option_t,
106
    std::string option,
107
    bool value);
108
template <> const options::sepDisequalC__option_t::type& Options::operator[](
109
    options::sepDisequalC__option_t) const;
110
template <> bool Options::wasSetByUser(options::sepDisequalC__option_t) const;
111
template <> void Options::assignBool(
112
    options::sepDisequalC__option_t,
113
    std::string option,
114
    bool value);
115
template <> const options::sepExp__option_t::type& Options::operator[](
116
    options::sepExp__option_t) const;
117
template <> bool Options::wasSetByUser(options::sepExp__option_t) const;
118
template <> void Options::assignBool(
119
    options::sepExp__option_t,
120
    std::string option,
121
    bool value);
122
template <> const options::sepMinimalRefine__option_t::type& Options::operator[](
123
    options::sepMinimalRefine__option_t) const;
124
template <> bool Options::wasSetByUser(options::sepMinimalRefine__option_t) const;
125
template <> void Options::assignBool(
126
    options::sepMinimalRefine__option_t,
127
    std::string option,
128
    bool value);
129
template <> const options::sepPreSkolemEmp__option_t::type& Options::operator[](
130
    options::sepPreSkolemEmp__option_t) const;
131
template <> bool Options::wasSetByUser(options::sepPreSkolemEmp__option_t) const;
132
template <> void Options::assignBool(
133
    options::sepPreSkolemEmp__option_t,
134
    std::string option,
135
    bool value);
136
137
138
namespace options {
139
140
98
inline sepCheckNeg__option_t::type sepCheckNeg__option_t::operator()() const
141
{
142
98
  return (*Options::current())[*this];
143
}
144
inline bool sepCheckNeg__option_t::wasSetByUser() const
145
{
146
  return Options::current()->wasSetByUser(*this);
147
}
148
inline const char* sepCheckNeg__option_t::getName() const
149
{
150
  return "sep-check-neg";
151
}
152
54
inline sepChildRefine__option_t::type sepChildRefine__option_t::operator()() const
153
{
154
54
  return (*Options::current())[*this];
155
}
156
inline bool sepChildRefine__option_t::wasSetByUser() const
157
{
158
  return Options::current()->wasSetByUser(*this);
159
}
160
inline const char* sepChildRefine__option_t::getName() const
161
{
162
  return "sep-child-refine";
163
}
164
115
inline sepDisequalC__option_t::type sepDisequalC__option_t::operator()() const
165
{
166
115
  return (*Options::current())[*this];
167
}
168
inline bool sepDisequalC__option_t::wasSetByUser() const
169
{
170
  return Options::current()->wasSetByUser(*this);
171
}
172
inline const char* sepDisequalC__option_t::getName() const
173
{
174
  return "sep-deq-c";
175
}
176
inline sepExp__option_t::type sepExp__option_t::operator()() const
177
{
178
  return (*Options::current())[*this];
179
}
180
inline bool sepExp__option_t::wasSetByUser() const
181
{
182
  return Options::current()->wasSetByUser(*this);
183
}
184
inline const char* sepExp__option_t::getName() const
185
{
186
  return "sep-exp";
187
}
188
388
inline sepMinimalRefine__option_t::type sepMinimalRefine__option_t::operator()() const
189
{
190
388
  return (*Options::current())[*this];
191
}
192
inline bool sepMinimalRefine__option_t::wasSetByUser() const
193
{
194
  return Options::current()->wasSetByUser(*this);
195
}
196
inline const char* sepMinimalRefine__option_t::getName() const
197
{
198
  return "sep-min-refine";
199
}
200
11323
inline sepPreSkolemEmp__option_t::type sepPreSkolemEmp__option_t::operator()() const
201
{
202
11323
  return (*Options::current())[*this];
203
}
204
inline bool sepPreSkolemEmp__option_t::wasSetByUser() const
205
{
206
  return Options::current()->wasSetByUser(*this);
207
}
208
inline const char* sepPreSkolemEmp__option_t::getName() const
209
{
210
  return "sep-pre-skolem-emp";
211
}
212
213
}  // namespace options
214
}  // namespace CVC4
215
216
#endif /* CVC4__OPTIONS__SEP_H */