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__DECISION_H
49 #define __CVC4__OPTIONS__DECISION_H
50 
51 #include "options/options.h"
52 
53 #line 9 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
54 #include "decision/decision_mode.h"
55 #line 15 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
56 #include "theory/decision_attributes.h"
57 
58 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
59 
60 #define CVC4_OPTIONS__DECISION__FOR_OPTION_HOLDER \
61  decisionMode__option_t::type decisionMode; \
62  bool decisionMode__setByUser__; \
63  decisionStopOnly__option_t::type decisionStopOnly; \
64  bool decisionStopOnly__setByUser__; \
65  decisionThreshold__option_t::type decisionThreshold; \
66  bool decisionThreshold__setByUser__; \
67  decisionUseWeight__option_t::type decisionUseWeight; \
68  bool decisionUseWeight__setByUser__; \
69  decisionRandomWeight__option_t::type decisionRandomWeight; \
70  bool decisionRandomWeight__setByUser__; \
71  decisionWeightInternal__option_t::type decisionWeightInternal; \
72  bool decisionWeightInternal__setByUser__;
73 
74 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
75 
76 namespace CVC4 {
77 
78 namespace options {
79 
80 
81 #line 9 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
82 extern struct CVC4_PUBLIC decisionMode__option_t { typedef decision::DecisionMode type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } decisionMode CVC4_PUBLIC;
83 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
84 extern struct CVC4_PUBLIC decisionStopOnly__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } decisionStopOnly CVC4_PUBLIC;
85 #line 15 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
86 extern struct CVC4_PUBLIC decisionThreshold__option_t { typedef decision::DecisionWeight type; type operator()() const; bool wasSetByUser() const; } decisionThreshold CVC4_PUBLIC;
87 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
88 extern struct CVC4_PUBLIC decisionUseWeight__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } decisionUseWeight CVC4_PUBLIC;
89 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
90 extern struct CVC4_PUBLIC decisionRandomWeight__option_t { typedef int type; type operator()() const; bool wasSetByUser() const; } decisionRandomWeight CVC4_PUBLIC;
91 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
92 extern struct CVC4_PUBLIC decisionWeightInternal__option_t { typedef decision::DecisionWeightInternal type; type operator()() const; bool wasSetByUser() const; } decisionWeightInternal CVC4_PUBLIC;
93 
94 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
95 
96 }/* CVC4::options namespace */
97 
98 
99 #line 9 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
101 #line 9 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
103 #line 9 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
105 #line 9 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
106 template <> void Options::assign(options::decisionMode__option_t, std::string option, std::string value, SmtEngine* smt);
107 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
109 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
111 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
113 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
114 template <> void Options::assignBool(options::decisionStopOnly__option_t, std::string option, bool value, SmtEngine* smt);
115 #line 15 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
117 #line 15 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
119 #line 15 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
120 template <> void Options::assign(options::decisionThreshold__option_t, std::string option, std::string value, SmtEngine* smt);
121 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
123 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
125 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
126 template <> void Options::assignBool(options::decisionUseWeight__option_t, std::string option, bool value, SmtEngine* smt);
127 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
129 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
131 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
132 template <> void Options::assign(options::decisionRandomWeight__option_t, std::string option, std::string value, SmtEngine* smt);
133 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
135 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
137 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
138 template <> void Options::assign(options::decisionWeightInternal__option_t, std::string option, std::string value, SmtEngine* smt);
139 
140 #line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
141 
142 namespace options {
143 
144 
145 #line 9 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
147 #line 9 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
149 #line 9 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
151 
152 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
154 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
156 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
158 
159 #line 15 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
161 #line 15 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
163 
164 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
166 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
168 
169 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
171 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
173 
174 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
176 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../decision/options"
178 
179 #line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
180 
181 }/* CVC4::options namespace */
182 
183 }/* CVC4 namespace */
184 
185 #endif /* __CVC4__OPTIONS__DECISION_H */
Definition: options.h:60
decision::DecisionWeight type
Definition: options.h:86
struct CVC4::options::decisionWeightInternal__option_t decisionWeightInternal
decision::DecisionWeightInternal type
Definition: options.h:92
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...
decision::DecisionMode type
Definition: options.h:82
struct CVC4::options::decisionUseWeight__option_t decisionUseWeight
#define CVC4_PUBLIC
Definition: cvc4_public.h:30
Global (command-line, set-option, ...) parameters for SMT.
static Options & current()
Get the current Options in effect.
Definition: options.h:64
Macros that should be defined everywhere during the building of the libraries and driver binary...
struct CVC4::options::decisionThreshold__option_t decisionThreshold
struct CVC4::options::decisionRandomWeight__option_t decisionRandomWeight
struct CVC4::options::decisionMode__option_t decisionMode
void set(T, const typename T::type &)
Set the value of the given option.
Definition: options.h:78
struct CVC4::options::decisionStopOnly__option_t decisionStopOnly