cvc4-1.4
options.h
Go to the documentation of this file.
1/********************* */
14/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
15/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
16/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
17/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
18/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
19/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
20
21/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
22/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
23/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
24/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
25/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
26/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
27
28/* Edit the template file instead. */
29
30/********************* */
46#include "cvc4_public.h"
47
48#ifndef __CVC4__OPTIONS__UF_H
49#define __CVC4__OPTIONS__UF_H
50
51#include "options/options.h"
52
53
54#line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
55
56#define CVC4_OPTIONS__UF__FOR_OPTION_HOLDER \
57 ufSymmetryBreaker__option_t::type ufSymmetryBreaker; \
58 bool ufSymmetryBreaker__setByUser__; \
59 condenseFunctionValues__option_t::type condenseFunctionValues; \
60 bool condenseFunctionValues__setByUser__; \
61 ufssRegions__option_t::type ufssRegions; \
62 bool ufssRegions__setByUser__; \
63 ufssEagerSplits__option_t::type ufssEagerSplits; \
64 bool ufssEagerSplits__setByUser__; \
65 ufssTotality__option_t::type ufssTotality; \
66 bool ufssTotality__setByUser__; \
67 ufssTotalityLimited__option_t::type ufssTotalityLimited; \
68 bool ufssTotalityLimited__setByUser__; \
69 ufssTotalitySymBreak__option_t::type ufssTotalitySymBreak; \
70 bool ufssTotalitySymBreak__setByUser__; \
71 ufssAbortCardinality__option_t::type ufssAbortCardinality; \
72 bool ufssAbortCardinality__setByUser__; \
73 ufssExplainedCliques__option_t::type ufssExplainedCliques; \
74 bool ufssExplainedCliques__setByUser__; \
75 ufssSimpleCliques__option_t::type ufssSimpleCliques; \
76 bool ufssSimpleCliques__setByUser__; \
77 ufssDiseqPropagation__option_t::type ufssDiseqPropagation; \
78 bool ufssDiseqPropagation__setByUser__; \
79 ufssMinimalModel__option_t::type ufssMinimalModel; \
80 bool ufssMinimalModel__setByUser__; \
81 ufssCliqueSplits__option_t::type ufssCliqueSplits; \
82 bool ufssCliqueSplits__setByUser__; \
83 ufssSymBreak__option_t::type ufssSymBreak; \
84 bool ufssSymBreak__setByUser__; \
85 ufssFairness__option_t::type ufssFairness; \
86 bool ufssFairness__setByUser__;
87
88#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
89
90namespace CVC4 {
91
92namespace options {
93
94
95#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
96extern struct CVC4_PUBLIC ufSymmetryBreaker__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } ufSymmetryBreaker CVC4_PUBLIC;
97#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
98extern struct CVC4_PUBLIC condenseFunctionValues__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } condenseFunctionValues CVC4_PUBLIC;
99#line 14 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
100extern struct CVC4_PUBLIC ufssRegions__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssRegions CVC4_PUBLIC;
101#line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
102extern struct CVC4_PUBLIC ufssEagerSplits__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssEagerSplits CVC4_PUBLIC;
103#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
104extern struct CVC4_PUBLIC ufssTotality__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssTotality CVC4_PUBLIC;
105#line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
106extern struct CVC4_PUBLIC ufssTotalityLimited__option_t { typedef int type; type operator()() const; bool wasSetByUser() const; } ufssTotalityLimited CVC4_PUBLIC;
107#line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
108extern struct CVC4_PUBLIC ufssTotalitySymBreak__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssTotalitySymBreak CVC4_PUBLIC;
109#line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
110extern struct CVC4_PUBLIC ufssAbortCardinality__option_t { typedef int type; type operator()() const; bool wasSetByUser() const; } ufssAbortCardinality CVC4_PUBLIC;
111#line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
112extern struct CVC4_PUBLIC ufssExplainedCliques__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssExplainedCliques CVC4_PUBLIC;
113#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
114extern struct CVC4_PUBLIC ufssSimpleCliques__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssSimpleCliques CVC4_PUBLIC;
115#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
116extern struct CVC4_PUBLIC ufssDiseqPropagation__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssDiseqPropagation CVC4_PUBLIC;
117#line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
118extern struct CVC4_PUBLIC ufssMinimalModel__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssMinimalModel CVC4_PUBLIC;
119#line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
120extern struct CVC4_PUBLIC ufssCliqueSplits__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssCliqueSplits CVC4_PUBLIC;
121#line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
122extern struct CVC4_PUBLIC ufssSymBreak__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssSymBreak CVC4_PUBLIC;
123#line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
124extern struct CVC4_PUBLIC ufssFairness__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssFairness CVC4_PUBLIC;
125
126#line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
127
128}/* CVC4::options namespace */
129
130
131#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
133#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
135#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
137#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
138template <> void Options::assignBool(options::ufSymmetryBreaker__option_t, std::string option, bool value, SmtEngine* smt);
139#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
141#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
143#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
144template <> void Options::assignBool(options::condenseFunctionValues__option_t, std::string option, bool value, SmtEngine* smt);
145#line 14 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
147#line 14 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
149#line 14 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
150template <> void Options::assignBool(options::ufssRegions__option_t, std::string option, bool value, SmtEngine* smt);
151#line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
153#line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
155#line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
156template <> void Options::assignBool(options::ufssEagerSplits__option_t, std::string option, bool value, SmtEngine* smt);
157#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
159#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
161#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
162template <> void Options::assignBool(options::ufssTotality__option_t, std::string option, bool value, SmtEngine* smt);
163#line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
165#line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
167#line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
168template <> void Options::assign(options::ufssTotalityLimited__option_t, std::string option, std::string value, SmtEngine* smt);
169#line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
171#line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
173#line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
174template <> void Options::assignBool(options::ufssTotalitySymBreak__option_t, std::string option, bool value, SmtEngine* smt);
175#line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
177#line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
179#line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
180template <> void Options::assign(options::ufssAbortCardinality__option_t, std::string option, std::string value, SmtEngine* smt);
181#line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
183#line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
185#line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
186template <> void Options::assignBool(options::ufssExplainedCliques__option_t, std::string option, bool value, SmtEngine* smt);
187#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
189#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
191#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
192template <> void Options::assignBool(options::ufssSimpleCliques__option_t, std::string option, bool value, SmtEngine* smt);
193#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
195#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
197#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
198template <> void Options::assignBool(options::ufssDiseqPropagation__option_t, std::string option, bool value, SmtEngine* smt);
199#line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
201#line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
203#line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
204template <> void Options::assignBool(options::ufssMinimalModel__option_t, std::string option, bool value, SmtEngine* smt);
205#line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
207#line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
209#line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
210template <> void Options::assignBool(options::ufssCliqueSplits__option_t, std::string option, bool value, SmtEngine* smt);
211#line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
213#line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
215#line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
216template <> void Options::assignBool(options::ufssSymBreak__option_t, std::string option, bool value, SmtEngine* smt);
217#line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
219#line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
221#line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
222template <> void Options::assignBool(options::ufssFairness__option_t, std::string option, bool value, SmtEngine* smt);
223
224#line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
225
226namespace options {
227
228
229#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
231#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
233#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
235
236#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
238#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
240
241#line 14 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
243#line 14 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
245
246#line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
248#line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
250
251#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
253#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
255
256#line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
258#line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
260
261#line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
263#line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
265
266#line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
268#line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
270
271#line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
273#line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
275
276#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
278#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
280
281#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
283#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
285
286#line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
288#line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
290
291#line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
293#line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
295
296#line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
298#line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
300
301#line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
303#line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
305
306#line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
307
308}/* CVC4::options namespace */
309
310}/* CVC4 namespace */
311
312#endif /* __CVC4__OPTIONS__UF_H */
static Options & current()
Get the current Options in effect.
Definition options.h:64
const T::type & operator[](T) const
Get the value of the given option.
bool wasSetByUser(T) const
Returns true iff the value of the given option was set by the user via a command-line option or SmtEn...
void set(T, const typename T::type &)
Set the value of the given option.
Definition options.h:78
Macros that should be defined everywhere during the building of the libraries and driver binary,...
#define CVC4_PUBLIC
Definition cvc4_public.h:30
struct CVC4::options::ufssRegions__option_t ufssRegions
struct CVC4::options::ufssEagerSplits__option_t ufssEagerSplits
struct CVC4::options::ufssSymBreak__option_t ufssSymBreak
struct CVC4::options::ufssMinimalModel__option_t ufssMinimalModel
struct CVC4::options::ufssExplainedCliques__option_t ufssExplainedCliques
struct CVC4::options::ufssAbortCardinality__option_t ufssAbortCardinality
struct CVC4::options::ufssTotalityLimited__option_t ufssTotalityLimited
struct CVC4::options::ufssTotalitySymBreak__option_t ufssTotalitySymBreak
struct CVC4::options::ufssSimpleCliques__option_t ufssSimpleCliques
struct CVC4::options::ufssCliqueSplits__option_t ufssCliqueSplits
struct CVC4::options::ufSymmetryBreaker__option_t ufSymmetryBreaker
struct CVC4::options::condenseFunctionValues__option_t condenseFunctionValues
struct CVC4::options::ufssTotality__option_t ufssTotality
struct CVC4::options::ufssDiseqPropagation__option_t ufssDiseqPropagation
struct CVC4::options::ufssFairness__option_t ufssFairness
Definition expr.h:106
Global (command-line, set-option, ...) parameters for SMT.