SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
NRAILSettings.h
Go to the documentation of this file.
1 /**
2  * @file AbstractSettings.h
3  * @author YOUR NAME <YOUR EMAIL ADDRESS>
4  *
5  * @version 2018-07-12
6  * Created on 2018-07-12.
7  */
8 
9 #pragma once
10 
11 #include "factory/AxiomFactory.h"
12 
13 namespace smtrat
14 {
15  enum class UNSATFormulaSelectionStrategy {ALL = 0, FIRST = 1, RANDOM = 2};
16 
17  struct NRAILSettings1
18  {
19  static constexpr auto moduleName = "NRAILModule<NRAILSettings1>";
20 
21  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::ALL;
22 
23  static constexpr AxiomFactory::AxiomType axiomType[5] = {AxiomFactory::AxiomType::ZERO,
24  AxiomFactory::AxiomType::TANGENT_PLANE,
25  AxiomFactory::AxiomType::ICP,
26  AxiomFactory::AxiomType::CONGRUENCE,
27  AxiomFactory::AxiomType::MONOTONICITY};
28  };
29 
30  struct NRAILSettings2
31  {
32  static constexpr auto moduleName = "NRAILModule<NRAILSettings2>";
33 
34  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::ALL;
35 
36  static constexpr AxiomFactory::AxiomType axiomType[5] = {AxiomFactory::AxiomType::TANGENT_PLANE,
37  AxiomFactory::AxiomType::ZERO,
38  AxiomFactory::AxiomType::ICP,
39  AxiomFactory::AxiomType::CONGRUENCE,
40  AxiomFactory::AxiomType::MONOTONICITY};
41  };
42 
43  struct NRAILSettings3
44  {
45  static constexpr auto moduleName = "NRAILModule<NRAILSettings3>";
46 
47  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::ALL;
48 
49  static constexpr AxiomFactory::AxiomType axiomType[5] = {AxiomFactory::AxiomType::TANGENT_PLANE,
50  AxiomFactory::AxiomType::ICP,
51  AxiomFactory::AxiomType::ZERO,
52  AxiomFactory::AxiomType::CONGRUENCE,
53  AxiomFactory::AxiomType::MONOTONICITY};
54  };
55 
56  struct NRAILSettings4
57  {
58  static constexpr auto moduleName = "NRAILModule<NRAILSettings4>";
59 
60  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::ALL;
61 
62  static constexpr AxiomFactory::AxiomType axiomType[5] = {AxiomFactory::AxiomType::ICP,
63  AxiomFactory::AxiomType::ZERO,
64  AxiomFactory::AxiomType::TANGENT_PLANE,
65  AxiomFactory::AxiomType::CONGRUENCE,
66  AxiomFactory::AxiomType::MONOTONICITY};
67  };
68 
69  struct NRAILSettings5
70  {
71  static constexpr auto moduleName = "NRAILModule<NRAILSettings5>";
72 
73  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::ALL;
74 
75  static constexpr AxiomFactory::AxiomType axiomType[5] = {AxiomFactory::AxiomType::ICP,
76  AxiomFactory::AxiomType::TANGENT_PLANE,
77  AxiomFactory::AxiomType::ZERO,
78  AxiomFactory::AxiomType::CONGRUENCE,
79  AxiomFactory::AxiomType::MONOTONICITY};
80  };
81 
82  struct NRAILSettings6
83  {
84  static constexpr auto moduleName = "NRAILModule<NRAILSettings6>";
85 
86  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::ALL;
87 
88  static constexpr AxiomFactory::AxiomType axiomType[5] = {AxiomFactory::AxiomType::CONGRUENCE,
89  AxiomFactory::AxiomType::ZERO,
90  AxiomFactory::AxiomType::TANGENT_PLANE,
91  AxiomFactory::AxiomType::ICP,
92  AxiomFactory::AxiomType::MONOTONICITY};
93  };
94 
95  struct NRAILSettings7
96  {
97  static constexpr auto moduleName = "NRAILModule<NRAILSettings7>";
98 
99  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::ALL;
100 
101  static constexpr AxiomFactory::AxiomType axiomType[5] = {AxiomFactory::AxiomType::MONOTONICITY,
102  AxiomFactory::AxiomType::ZERO,
103  AxiomFactory::AxiomType::TANGENT_PLANE,
104  AxiomFactory::AxiomType::ICP,
105  AxiomFactory::AxiomType::CONGRUENCE};
106  };
107 
108 // First
109 
110  struct NRAILSettings8
111  {
112  static constexpr auto moduleName = "NRAILModule<NRAILSettings8>";
113 
114  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::FIRST;
115 
116  static constexpr AxiomFactory::AxiomType axiomType[5] = {AxiomFactory::AxiomType::ZERO,
117  AxiomFactory::AxiomType::TANGENT_PLANE,
118  AxiomFactory::AxiomType::ICP,
119  AxiomFactory::AxiomType::CONGRUENCE,
120  AxiomFactory::AxiomType::MONOTONICITY};
121  };
122 
123  struct NRAILSettings9
124  {
125  static constexpr auto moduleName = "NRAILModule<NRAILSettings9>";
126 
127  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::FIRST;
128 
129  static constexpr AxiomFactory::AxiomType axiomType[5] = {AxiomFactory::AxiomType::TANGENT_PLANE,
130  AxiomFactory::AxiomType::ZERO,
131  AxiomFactory::AxiomType::ICP,
132  AxiomFactory::AxiomType::CONGRUENCE,
133  AxiomFactory::AxiomType::MONOTONICITY};
134  };
135 
136  struct NRAILSettings10
137  {
138  static constexpr auto moduleName = "NRAILModule<NRAILSettings10>";
139 
140  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::FIRST;
141 
142  static constexpr AxiomFactory::AxiomType axiomType[5] = {AxiomFactory::AxiomType::TANGENT_PLANE,
143  AxiomFactory::AxiomType::ICP,
144  AxiomFactory::AxiomType::ZERO,
145  AxiomFactory::AxiomType::CONGRUENCE,
146  AxiomFactory::AxiomType::MONOTONICITY};
147  };
148 
149  struct NRAILSettings11
150  {
151  static constexpr auto moduleName = "NRAILModule<NRAILSettings11>";
152 
153  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::FIRST;
154 
155  static constexpr AxiomFactory::AxiomType axiomType[5] = {AxiomFactory::AxiomType::ICP,
156  AxiomFactory::AxiomType::ZERO,
157  AxiomFactory::AxiomType::TANGENT_PLANE,
158  AxiomFactory::AxiomType::CONGRUENCE,
159  AxiomFactory::AxiomType::MONOTONICITY};
160  };
161 
162  struct NRAILSettings12
163  {
164  static constexpr auto moduleName = "NRAILModule<NRAILSettings12>";
165 
166  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::FIRST;
167 
168  static constexpr AxiomFactory::AxiomType axiomType[5] = {AxiomFactory::AxiomType::ICP,
169  AxiomFactory::AxiomType::TANGENT_PLANE,
170  AxiomFactory::AxiomType::ZERO,
171  AxiomFactory::AxiomType::CONGRUENCE,
172  AxiomFactory::AxiomType::MONOTONICITY};
173  };
174 
175  struct NRAILSettings13
176  {
177  static constexpr auto moduleName = "NRAILModule<NRAILSettings13>";
178 
179  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::FIRST;
180 
181  static constexpr AxiomFactory::AxiomType axiomType[5] = {AxiomFactory::AxiomType::CONGRUENCE,
182  AxiomFactory::AxiomType::ZERO,
183  AxiomFactory::AxiomType::TANGENT_PLANE,
184  AxiomFactory::AxiomType::ICP,
185  AxiomFactory::AxiomType::MONOTONICITY};
186  };
187 
188  struct NRAILSettings14
189  {
190  static constexpr auto moduleName = "NRAILModule<NRAILSettings14>";
191 
192  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::FIRST;
193 
194  static constexpr AxiomFactory::AxiomType axiomType[5] = {AxiomFactory::AxiomType::MONOTONICITY,
195  AxiomFactory::AxiomType::ZERO,
196  AxiomFactory::AxiomType::TANGENT_PLANE,
197  AxiomFactory::AxiomType::ICP,
198  AxiomFactory::AxiomType::CONGRUENCE};
199  };
200 
201 // Random
202 
203  struct NRAILSettings15
204  {
205  static constexpr auto moduleName = "NRAILModule<NRAILSettings15>";
206 
207  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::RANDOM;
208 
209  static constexpr AxiomFactory::AxiomType axiomType[5] = {AxiomFactory::AxiomType::ZERO,
210  AxiomFactory::AxiomType::TANGENT_PLANE,
211  AxiomFactory::AxiomType::ICP,
212  AxiomFactory::AxiomType::CONGRUENCE,
213  AxiomFactory::AxiomType::MONOTONICITY};
214  };
215 
216  struct NRAILSettings16
217  {
218  static constexpr auto moduleName = "NRAILModule<NRAILSettings16>";
219 
220  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::RANDOM;
221 
222  static constexpr AxiomFactory::AxiomType axiomType[5] = {AxiomFactory::AxiomType::TANGENT_PLANE,
223  AxiomFactory::AxiomType::ZERO,
224  AxiomFactory::AxiomType::ICP,
225  AxiomFactory::AxiomType::CONGRUENCE,
226  AxiomFactory::AxiomType::MONOTONICITY};
227  };
228 
229  struct NRAILSettings17
230  {
231  static constexpr auto moduleName = "NRAILModule<NRAILSettings17>";
232 
233  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::RANDOM;
234 
235  static constexpr AxiomFactory::AxiomType axiomType[5] = {AxiomFactory::AxiomType::TANGENT_PLANE,
236  AxiomFactory::AxiomType::ICP,
237  AxiomFactory::AxiomType::ZERO,
238  AxiomFactory::AxiomType::CONGRUENCE,
239  AxiomFactory::AxiomType::MONOTONICITY};
240  };
241 
242  struct NRAILSettings18
243  {
244  static constexpr auto moduleName = "NRAILModule<NRAILSettings18>";
245 
246  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::RANDOM;
247 
248  static constexpr AxiomFactory::AxiomType axiomType[5] = {AxiomFactory::AxiomType::ICP,
249  AxiomFactory::AxiomType::ZERO,
250  AxiomFactory::AxiomType::TANGENT_PLANE,
251  AxiomFactory::AxiomType::CONGRUENCE,
252  AxiomFactory::AxiomType::MONOTONICITY};
253  };
254 
255  struct NRAILSettings19
256  {
257  static constexpr auto moduleName = "NRAILModule<NRAILSettings19>";
258 
259  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::RANDOM;
260 
261  static constexpr AxiomFactory::AxiomType axiomType[5] = {AxiomFactory::AxiomType::ICP,
262  AxiomFactory::AxiomType::TANGENT_PLANE,
263  AxiomFactory::AxiomType::ZERO,
264  AxiomFactory::AxiomType::CONGRUENCE,
265  AxiomFactory::AxiomType::MONOTONICITY};
266  };
267 
268  struct NRAILSettings20
269  {
270  static constexpr auto moduleName = "NRAILModule<NRAILSettings20>";
271 
272  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::RANDOM;
273 
274  static constexpr AxiomFactory::AxiomType axiomType[5] = {AxiomFactory::AxiomType::CONGRUENCE,
275  AxiomFactory::AxiomType::ZERO,
276  AxiomFactory::AxiomType::TANGENT_PLANE,
277  AxiomFactory::AxiomType::ICP,
278  AxiomFactory::AxiomType::MONOTONICITY};
279  };
280 
281  struct NRAILSettings21
282  {
283  static constexpr auto moduleName = "NRAILModule<NRAILSettings21>";
284 
285  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::RANDOM;
286 
287  static constexpr AxiomFactory::AxiomType axiomType[5] = {AxiomFactory::AxiomType::MONOTONICITY,
288  AxiomFactory::AxiomType::ZERO,
289  AxiomFactory::AxiomType::TANGENT_PLANE,
290  AxiomFactory::AxiomType::ICP,
291  AxiomFactory::AxiomType::CONGRUENCE};
292  };
293 
294 // Experiment
295 
296  struct NRAILSettings22
297  {
298  static constexpr auto moduleName = "NRAILModule<NRAILSettings22>";
299 
300  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::ALL;
301 
302  static constexpr AxiomFactory::AxiomType axiomType[4] = {AxiomFactory::AxiomType::ICP,
303  AxiomFactory::AxiomType::ZERO,
304  AxiomFactory::AxiomType::TANGENT_PLANE,
305  AxiomFactory::AxiomType::CONGRUENCE};
306  };
307 
308  struct NRAILSettings23
309  {
310  static constexpr auto moduleName = "NRAILModule<NRAILSettings23>";
311 
312  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::ALL;
313 
314  static constexpr AxiomFactory::AxiomType axiomType[4] = {AxiomFactory::AxiomType::ICP,
315  AxiomFactory::AxiomType::TANGENT_PLANE,
316  AxiomFactory::AxiomType::ZERO,
317  AxiomFactory::AxiomType::CONGRUENCE};
318  };
319 
320  struct NRAILSettings24
321  {
322  static constexpr auto moduleName = "NRAILModule<NRAILSettings24>";
323 
324  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::ALL;
325 
326  static constexpr AxiomFactory::AxiomType axiomType[6] = {AxiomFactory::AxiomType::ICP,
327  AxiomFactory::AxiomType::ZERO,
328  AxiomFactory::AxiomType::ICP,
329  AxiomFactory::AxiomType::TANGENT_PLANE,
330  AxiomFactory::AxiomType::ICP,
331  AxiomFactory::AxiomType::CONGRUENCE};
332  };
333 
334  struct NRAILSettings25
335  {
336  static constexpr auto moduleName = "NRAILModule<NRAILSettings25>";
337 
338  static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy = UNSATFormulaSelectionStrategy::ALL;
339 
340  static constexpr AxiomFactory::AxiomType axiomType[6] = {AxiomFactory::AxiomType::ICP,
341  AxiomFactory::AxiomType::TANGENT_PLANE,
342  AxiomFactory::AxiomType::ICP,
343  AxiomFactory::AxiomType::ZERO,
344  AxiomFactory::AxiomType::ICP,
345  AxiomFactory::AxiomType::CONGRUENCE};
346  };
347 
348 }
smtrat
Class to create the formulas for axioms.
Definition: handle_options.h:10
smtrat::UNSATFormulaSelectionStrategy
UNSATFormulaSelectionStrategy
Definition: NRAILSettings.h:15
smtrat::NRAILSettings10::axiomType
static constexpr AxiomFactory::AxiomType axiomType[5]
Definition: NRAILSettings.h:142
smtrat::NRAILSettings10::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:138
smtrat::NRAILSettings10::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:140
smtrat::NRAILSettings11::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:153
smtrat::NRAILSettings11::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:151
smtrat::NRAILSettings11::axiomType
static constexpr AxiomFactory::AxiomType axiomType[5]
Definition: NRAILSettings.h:155
smtrat::NRAILSettings12::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:164
smtrat::NRAILSettings12::axiomType
static constexpr AxiomFactory::AxiomType axiomType[5]
Definition: NRAILSettings.h:168
smtrat::NRAILSettings12::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:166
smtrat::NRAILSettings13::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:179
smtrat::NRAILSettings13::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:177
smtrat::NRAILSettings13::axiomType
static constexpr AxiomFactory::AxiomType axiomType[5]
Definition: NRAILSettings.h:181
smtrat::NRAILSettings14::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:190
smtrat::NRAILSettings14::axiomType
static constexpr AxiomFactory::AxiomType axiomType[5]
Definition: NRAILSettings.h:194
smtrat::NRAILSettings14::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:192
smtrat::NRAILSettings15::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:207
smtrat::NRAILSettings15::axiomType
static constexpr AxiomFactory::AxiomType axiomType[5]
Definition: NRAILSettings.h:209
smtrat::NRAILSettings15::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:205
smtrat::NRAILSettings16::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:220
smtrat::NRAILSettings16::axiomType
static constexpr AxiomFactory::AxiomType axiomType[5]
Definition: NRAILSettings.h:222
smtrat::NRAILSettings16::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:218
smtrat::NRAILSettings17::axiomType
static constexpr AxiomFactory::AxiomType axiomType[5]
Definition: NRAILSettings.h:235
smtrat::NRAILSettings17::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:233
smtrat::NRAILSettings17::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:231
smtrat::NRAILSettings18::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:246
smtrat::NRAILSettings18::axiomType
static constexpr AxiomFactory::AxiomType axiomType[5]
Definition: NRAILSettings.h:248
smtrat::NRAILSettings18::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:244
smtrat::NRAILSettings19::axiomType
static constexpr AxiomFactory::AxiomType axiomType[5]
Definition: NRAILSettings.h:261
smtrat::NRAILSettings19::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:259
smtrat::NRAILSettings19::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:257
smtrat::NRAILSettings1::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:19
smtrat::NRAILSettings1::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:21
smtrat::NRAILSettings1::axiomType
static constexpr AxiomFactory::AxiomType axiomType[5]
Definition: NRAILSettings.h:23
smtrat::NRAILSettings20::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:270
smtrat::NRAILSettings20::axiomType
static constexpr AxiomFactory::AxiomType axiomType[5]
Definition: NRAILSettings.h:274
smtrat::NRAILSettings20::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:272
smtrat::NRAILSettings21::axiomType
static constexpr AxiomFactory::AxiomType axiomType[5]
Definition: NRAILSettings.h:287
smtrat::NRAILSettings21::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:285
smtrat::NRAILSettings21::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:283
smtrat::NRAILSettings22::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:300
smtrat::NRAILSettings22::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:298
smtrat::NRAILSettings22::axiomType
static constexpr AxiomFactory::AxiomType axiomType[4]
Definition: NRAILSettings.h:302
smtrat::NRAILSettings23::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:310
smtrat::NRAILSettings23::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:312
smtrat::NRAILSettings23::axiomType
static constexpr AxiomFactory::AxiomType axiomType[4]
Definition: NRAILSettings.h:314
smtrat::NRAILSettings24::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:324
smtrat::NRAILSettings24::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:322
smtrat::NRAILSettings24::axiomType
static constexpr AxiomFactory::AxiomType axiomType[6]
Definition: NRAILSettings.h:326
smtrat::NRAILSettings25::axiomType
static constexpr AxiomFactory::AxiomType axiomType[6]
Definition: NRAILSettings.h:340
smtrat::NRAILSettings25::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:336
smtrat::NRAILSettings25::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:338
smtrat::NRAILSettings2::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:34
smtrat::NRAILSettings2::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:32
smtrat::NRAILSettings2::axiomType
static constexpr AxiomFactory::AxiomType axiomType[5]
Definition: NRAILSettings.h:36
smtrat::NRAILSettings3::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:47
smtrat::NRAILSettings3::axiomType
static constexpr AxiomFactory::AxiomType axiomType[5]
Definition: NRAILSettings.h:49
smtrat::NRAILSettings3::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:45
smtrat::NRAILSettings4::axiomType
static constexpr AxiomFactory::AxiomType axiomType[5]
Definition: NRAILSettings.h:62
smtrat::NRAILSettings4::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:58
smtrat::NRAILSettings4::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:60
smtrat::NRAILSettings5::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:73
smtrat::NRAILSettings5::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:71
smtrat::NRAILSettings5::axiomType
static constexpr AxiomFactory::AxiomType axiomType[5]
Definition: NRAILSettings.h:75
smtrat::NRAILSettings6::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:86
smtrat::NRAILSettings6::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:84
smtrat::NRAILSettings6::axiomType
static constexpr AxiomFactory::AxiomType axiomType[5]
Definition: NRAILSettings.h:88
smtrat::NRAILSettings7::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:97
smtrat::NRAILSettings7::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:99
smtrat::NRAILSettings7::axiomType
static constexpr AxiomFactory::AxiomType axiomType[5]
Definition: NRAILSettings.h:101
smtrat::NRAILSettings8::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:112
smtrat::NRAILSettings8::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:114
smtrat::NRAILSettings8::axiomType
static constexpr AxiomFactory::AxiomType axiomType[5]
Definition: NRAILSettings.h:116
smtrat::NRAILSettings9::moduleName
static constexpr auto moduleName
Definition: NRAILSettings.h:125
smtrat::NRAILSettings9::axiomType
static constexpr AxiomFactory::AxiomType axiomType[5]
Definition: NRAILSettings.h:129
smtrat::NRAILSettings9::formulaSelectionStrategy
static constexpr UNSATFormulaSelectionStrategy formulaSelectionStrategy
Definition: NRAILSettings.h:127