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__PROP_H
49#define __CVC4__OPTIONS__PROP_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__PROP__FOR_OPTION_HOLDER \
57 satRandomFreq__option_t::type satRandomFreq; \
58 bool satRandomFreq__setByUser__; \
59 satRandomSeed__option_t::type satRandomSeed; \
60 bool satRandomSeed__setByUser__; \
61 satVarDecay__option_t::type satVarDecay; \
62 bool satVarDecay__setByUser__; \
63 satClauseDecay__option_t::type satClauseDecay; \
64 bool satClauseDecay__setByUser__; \
65 satRestartFirst__option_t::type satRestartFirst; \
66 bool satRestartFirst__setByUser__; \
67 satRestartInc__option_t::type satRestartInc; \
68 bool satRestartInc__setByUser__; \
69 sat_refine_conflicts__option_t::type sat_refine_conflicts; \
70 bool sat_refine_conflicts__setByUser__; \
71 minisatUseElim__option_t::type minisatUseElim; \
72 bool minisatUseElim__setByUser__; \
73 minisatDumpDimacs__option_t::type minisatDumpDimacs; \
74 bool minisatDumpDimacs__setByUser__;
75
76#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
77
78namespace CVC4 {
79
80namespace options {
81
82
83#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
84extern struct CVC4_PUBLIC satRandomFreq__option_t { typedef double type; type operator()() const; bool wasSetByUser() const; } satRandomFreq CVC4_PUBLIC;
85#line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
86extern struct CVC4_PUBLIC satRandomSeed__option_t { typedef uint32_t type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } satRandomSeed CVC4_PUBLIC;
87#line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
88extern struct CVC4_PUBLIC satVarDecay__option_t { typedef double type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } satVarDecay CVC4_PUBLIC;
89#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
90extern struct CVC4_PUBLIC satClauseDecay__option_t { typedef double type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } satClauseDecay CVC4_PUBLIC;
91#line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
92extern struct CVC4_PUBLIC satRestartFirst__option_t { typedef unsigned type; type operator()() const; bool wasSetByUser() const; } satRestartFirst CVC4_PUBLIC;
93#line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
94extern struct CVC4_PUBLIC satRestartInc__option_t { typedef double type; type operator()() const; bool wasSetByUser() const; } satRestartInc CVC4_PUBLIC;
95#line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
96extern struct CVC4_PUBLIC sat_refine_conflicts__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } sat_refine_conflicts CVC4_PUBLIC;
97#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
98extern struct CVC4_PUBLIC minisatUseElim__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } minisatUseElim CVC4_PUBLIC;
99#line 31 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
100extern struct CVC4_PUBLIC minisatDumpDimacs__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } minisatDumpDimacs CVC4_PUBLIC;
101
102#line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
103
104}/* CVC4::options namespace */
105
106
107#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
109#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
111#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
112template <> void Options::assign(options::satRandomFreq__option_t, std::string option, std::string value, SmtEngine* smt);
113#line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
115#line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
117#line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
119#line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
120template <> void Options::assign(options::satRandomSeed__option_t, std::string option, std::string value, SmtEngine* smt);
121#line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
123#line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
125#line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
127#line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
128template <> void Options::assign(options::satVarDecay__option_t, std::string option, std::string value, SmtEngine* smt);
129#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
131#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
133#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
135#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
136template <> void Options::assign(options::satClauseDecay__option_t, std::string option, std::string value, SmtEngine* smt);
137#line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
139#line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
141#line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
142template <> void Options::assign(options::satRestartFirst__option_t, std::string option, std::string value, SmtEngine* smt);
143#line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
145#line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
147#line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
148template <> void Options::assign(options::satRestartInc__option_t, std::string option, std::string value, SmtEngine* smt);
149#line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
151#line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
153#line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
154template <> void Options::assignBool(options::sat_refine_conflicts__option_t, std::string option, bool value, SmtEngine* smt);
155#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
157#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
159#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
161#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
162template <> void Options::assignBool(options::minisatUseElim__option_t, std::string option, bool value, SmtEngine* smt);
163#line 31 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
165#line 31 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
167#line 31 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
168template <> void Options::assignBool(options::minisatDumpDimacs__option_t, std::string option, bool value, SmtEngine* smt);
169
170#line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
171
172namespace options {
173
174
175#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
177#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
179
180#line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
182#line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
184#line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
186
187#line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
189#line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
191#line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
193
194#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
196#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
198#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
200
201#line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
203#line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
205
206#line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
208#line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
210
211#line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
213#line 25 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
215
216#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
218#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
220#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
222
223#line 31 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
225#line 31 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../prop/options"
227
228#line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
229
230}/* CVC4::options namespace */
231
232}/* CVC4 namespace */
233
234#endif /* __CVC4__OPTIONS__PROP_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::satRestartInc__option_t satRestartInc
struct CVC4::options::satClauseDecay__option_t satClauseDecay
struct CVC4::options::minisatUseElim__option_t minisatUseElim
struct CVC4::options::satRandomSeed__option_t satRandomSeed
struct CVC4::options::minisatDumpDimacs__option_t minisatDumpDimacs
struct CVC4::options::sat_refine_conflicts__option_t sat_refine_conflicts
struct CVC4::options::satRestartFirst__option_t satRestartFirst
struct CVC4::options::satVarDecay__option_t satVarDecay
struct CVC4::options::satRandomFreq__option_t satRandomFreq
Definition expr.h:106
Global (command-line, set-option, ...) parameters for SMT.