48 #ifndef __CVC4__OPTIONS__QUANTIFIERS_H 49 #define __CVC4__OPTIONS__QUANTIFIERS_H 53 #line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 54 #include "theory/quantifiers/modes.h" 55 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 56 #include "theory/quantifiers/modes.h" 57 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 58 #include "theory/quantifiers/modes.h" 59 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 60 #include "theory/quantifiers/modes.h" 61 #line 125 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 62 #include "theory/quantifiers/modes.h" 63 #line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 64 #include "theory/quantifiers/modes.h" 65 #line 132 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 66 #include "theory/quantifiers/modes.h" 68 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 70 #define CVC4_OPTIONS__QUANTIFIERS__FOR_OPTION_HOLDER \ 71 miniscopeQuant__option_t::type miniscopeQuant; \ 72 bool miniscopeQuant__setByUser__; \ 73 miniscopeQuantFreeVar__option_t::type miniscopeQuantFreeVar; \ 74 bool miniscopeQuantFreeVar__setByUser__; \ 75 prenexQuant__option_t::type prenexQuant; \ 76 bool prenexQuant__setByUser__; \ 77 varElimQuant__option_t::type varElimQuant; \ 78 bool varElimQuant__setByUser__; \ 79 simpleIteLiftQuant__option_t::type simpleIteLiftQuant; \ 80 bool simpleIteLiftQuant__setByUser__; \ 81 cnfQuant__option_t::type cnfQuant; \ 82 bool cnfQuant__setByUser__; \ 83 nnfQuant__option_t::type nnfQuant; \ 84 bool nnfQuant__setByUser__; \ 85 clauseSplit__option_t::type clauseSplit; \ 86 bool clauseSplit__setByUser__; \ 87 preSkolemQuant__option_t::type preSkolemQuant; \ 88 bool preSkolemQuant__setByUser__; \ 89 aggressiveMiniscopeQuant__option_t::type aggressiveMiniscopeQuant; \ 90 bool aggressiveMiniscopeQuant__setByUser__; \ 91 macrosQuant__option_t::type macrosQuant; \ 92 bool macrosQuant__setByUser__; \ 93 foPropQuant__option_t::type foPropQuant; \ 94 bool foPropQuant__setByUser__; \ 95 smartTriggers__option_t::type smartTriggers; \ 96 bool smartTriggers__setByUser__; \ 97 relevantTriggers__option_t::type relevantTriggers; \ 98 bool relevantTriggers__setByUser__; \ 99 relationalTriggers__option_t::type relationalTriggers; \ 100 bool relationalTriggers__setByUser__; \ 101 registerQuantBodyTerms__option_t::type registerQuantBodyTerms; \ 102 bool registerQuantBodyTerms__setByUser__; \ 103 instWhenMode__option_t::type instWhenMode; \ 104 bool instWhenMode__setByUser__; \ 105 instMaxLevel__option_t::type instMaxLevel; \ 106 bool instMaxLevel__setByUser__; \ 107 eagerInstQuant__option_t::type eagerInstQuant; \ 108 bool eagerInstQuant__setByUser__; \ 109 fullSaturateQuant__option_t::type fullSaturateQuant; \ 110 bool fullSaturateQuant__setByUser__; \ 111 literalMatchMode__option_t::type literalMatchMode; \ 112 bool literalMatchMode__setByUser__; \ 113 cbqi__option_t::type cbqi; \ 114 bool cbqi__setByUser__; \ 115 recurseCbqi__option_t::type recurseCbqi; \ 116 bool recurseCbqi__setByUser__; \ 117 userPatternsQuant__option_t::type userPatternsQuant; \ 118 bool userPatternsQuant__setByUser__; \ 119 flipDecision__option_t::type flipDecision; \ 120 bool flipDecision__setByUser__; \ 121 internalReps__option_t::type internalReps; \ 122 bool internalReps__setByUser__; \ 123 finiteModelFind__option_t::type finiteModelFind; \ 124 bool finiteModelFind__setByUser__; \ 125 mbqiMode__option_t::type mbqiMode; \ 126 bool mbqiMode__setByUser__; \ 127 fmfOneInstPerRound__option_t::type fmfOneInstPerRound; \ 128 bool fmfOneInstPerRound__setByUser__; \ 129 fmfOneQuantPerRound__option_t::type fmfOneQuantPerRound; \ 130 bool fmfOneQuantPerRound__setByUser__; \ 131 fmfInstEngine__option_t::type fmfInstEngine; \ 132 bool fmfInstEngine__setByUser__; \ 133 fmfInstGen__option_t::type fmfInstGen; \ 134 bool fmfInstGen__setByUser__; \ 135 fmfInstGenOneQuantPerRound__option_t::type fmfInstGenOneQuantPerRound; \ 136 bool fmfInstGenOneQuantPerRound__setByUser__; \ 137 fmfFreshDistConst__option_t::type fmfFreshDistConst; \ 138 bool fmfFreshDistConst__setByUser__; \ 139 fmfFmcSimple__option_t::type fmfFmcSimple; \ 140 bool fmfFmcSimple__setByUser__; \ 141 fmfBoundInt__option_t::type fmfBoundInt; \ 142 bool fmfBoundInt__setByUser__; \ 143 fmfBoundIntLazy__option_t::type fmfBoundIntLazy; \ 144 bool fmfBoundIntLazy__setByUser__; \ 145 axiomInstMode__option_t::type axiomInstMode; \ 146 bool axiomInstMode__setByUser__; \ 147 quantConflictFind__option_t::type quantConflictFind; \ 148 bool quantConflictFind__setByUser__; \ 149 qcfMode__option_t::type qcfMode; \ 150 bool qcfMode__setByUser__; \ 151 qcfWhenMode__option_t::type qcfWhenMode; \ 152 bool qcfWhenMode__setByUser__; \ 153 qcfTConstraint__option_t::type qcfTConstraint; \ 154 bool qcfTConstraint__setByUser__; \ 155 quantRewriteRules__option_t::type quantRewriteRules; \ 156 bool quantRewriteRules__setByUser__; \ 157 rrOneInstPerRound__option_t::type rrOneInstPerRound; \ 158 bool rrOneInstPerRound__setByUser__; \ 159 dtStcInduction__option_t::type dtStcInduction; \ 160 bool dtStcInduction__setByUser__; 162 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 169 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 171 #line 17 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 173 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 175 #line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 177 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 179 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 181 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 183 #line 40 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 185 #line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 187 #line 49 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 189 #line 52 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 191 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 193 #line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 195 #line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 197 #line 64 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 199 #line 68 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 201 #line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 203 #line 73 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 205 #line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 207 #line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 209 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 211 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 213 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 215 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 217 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 219 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 221 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 223 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 225 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 227 #line 107 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 229 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 231 #line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 233 #line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 235 #line 116 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 237 #line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 239 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 241 #line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 243 #line 125 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 245 #line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 247 #line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 249 #line 132 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 251 #line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 253 #line 137 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 255 #line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 257 #line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 260 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 265 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 267 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 269 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 271 #line 17 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 273 #line 17 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 275 #line 17 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 277 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 279 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 281 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 283 #line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 285 #line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 287 #line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 289 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 291 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 293 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 295 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 297 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 299 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 301 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 303 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 305 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 307 #line 40 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 309 #line 40 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 311 #line 40 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 313 #line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 315 #line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 317 #line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 319 #line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 321 #line 49 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 323 #line 49 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 325 #line 49 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 327 #line 52 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 329 #line 52 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 331 #line 52 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 333 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 335 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 337 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 339 #line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 341 #line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 343 #line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 345 #line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 347 #line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 349 #line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 351 #line 64 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 353 #line 64 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 355 #line 64 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 357 #line 68 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 359 #line 68 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 361 #line 68 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 363 #line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 365 #line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 367 #line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 369 #line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 371 #line 73 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 373 #line 73 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 375 #line 73 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 377 #line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 379 #line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 381 #line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 383 #line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 385 #line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 387 #line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 389 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 391 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 393 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 395 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 397 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 399 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 401 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 403 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 405 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 407 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 409 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 411 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 413 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 415 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 417 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 419 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 421 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 423 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 425 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 427 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 429 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 431 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 433 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 435 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 437 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 439 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 441 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 443 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 445 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 447 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 449 #line 107 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 451 #line 107 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 453 #line 107 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 455 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 457 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 459 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 461 #line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 463 #line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 465 #line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 467 #line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 469 #line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 471 #line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 473 #line 116 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 475 #line 116 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 477 #line 116 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 479 #line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 481 #line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 483 #line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 485 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 487 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 489 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 491 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 493 #line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 495 #line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 497 #line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 499 #line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 501 #line 125 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 503 #line 125 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 505 #line 125 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 507 #line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 509 #line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 511 #line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 513 #line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 515 #line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 517 #line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 519 #line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 521 #line 132 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 523 #line 132 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 525 #line 132 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 527 #line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 529 #line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 531 #line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 533 #line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 535 #line 137 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 537 #line 137 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 539 #line 137 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 541 #line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 543 #line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 545 #line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 547 #line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 549 #line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 551 #line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 554 #line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 559 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 561 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 564 #line 17 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 566 #line 17 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 569 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 571 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 574 #line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 576 #line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 579 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 581 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 584 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 586 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 589 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 591 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 594 #line 40 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 596 #line 40 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 599 #line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 601 #line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 603 #line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 606 #line 49 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 608 #line 49 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 611 #line 52 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 613 #line 52 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 616 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 618 #line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 621 #line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 623 #line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 626 #line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 628 #line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 631 #line 64 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 633 #line 64 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 636 #line 68 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 638 #line 68 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 641 #line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 643 #line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 645 #line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 648 #line 73 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 650 #line 73 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 653 #line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 655 #line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 658 #line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 660 #line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 663 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 665 #line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 668 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 670 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 672 #line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 675 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 677 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 680 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 682 #line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 685 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 687 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 690 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 692 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 695 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 697 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 699 #line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 702 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 704 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 706 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 709 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 711 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 714 #line 107 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 716 #line 107 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 719 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 721 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 724 #line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 726 #line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 729 #line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 731 #line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 734 #line 116 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 736 #line 116 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 739 #line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 741 #line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 744 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 746 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 748 #line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 751 #line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 753 #line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 755 #line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 758 #line 125 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 760 #line 125 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 763 #line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 765 #line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 767 #line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 770 #line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 772 #line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 775 #line 132 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 777 #line 132 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 780 #line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 782 #line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 784 #line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 787 #line 137 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 789 #line 137 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 792 #line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 794 #line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 797 #line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 799 #line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options" 802 #line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::foPropQuant__option_t foPropQuant
struct CVC4::options::fmfBoundIntLazy__option_t fmfBoundIntLazy
CVC4::theory::quantifiers::QcfMode type
struct CVC4::options::fmfOneInstPerRound__option_t fmfOneInstPerRound
bool wasSetByUser() const
struct CVC4::options::quantConflictFind__option_t quantConflictFind
struct CVC4::options::quantRewriteRules__option_t quantRewriteRules
struct CVC4::options::fullSaturateQuant__option_t fullSaturateQuant
struct CVC4::options::finiteModelFind__option_t finiteModelFind
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::mbqiMode__option_t mbqiMode
bool wasSetByUser() const
struct CVC4::options::fmfBoundInt__option_t fmfBoundInt
struct CVC4::options::rrOneInstPerRound__option_t rrOneInstPerRound
struct CVC4::options::userPatternsQuant__option_t userPatternsQuant
CVC4::theory::quantifiers::AxiomInstMode type
struct CVC4::options::fmfInstGen__option_t fmfInstGen
struct CVC4::options::cnfQuant__option_t cnfQuant
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::cbqi__option_t cbqi
struct CVC4::options::clauseSplit__option_t clauseSplit
struct CVC4::options::internalReps__option_t internalReps
bool wasSetByUser() const
struct CVC4::options::macrosQuant__option_t macrosQuant
bool wasSetByUser() const
CVC4::theory::quantifiers::UserPatMode type
bool wasSetByUser() const
CVC4::theory::quantifiers::MbqiMode type
const T::type & operator[](T) const
Get the value of the given option.
struct CVC4::options::miniscopeQuantFreeVar__option_t miniscopeQuantFreeVar
bool wasSetByUser() const
bool wasSetByUser() const
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...
struct CVC4::options::simpleIteLiftQuant__option_t simpleIteLiftQuant
CVC4::theory::quantifiers::InstWhenMode type
CVC4::theory::quantifiers::QcfWhenMode type
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::prenexQuant__option_t prenexQuant
bool wasSetByUser() const
struct CVC4::options::aggressiveMiniscopeQuant__option_t aggressiveMiniscopeQuant
struct CVC4::options::instWhenMode__option_t instWhenMode
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::dtStcInduction__option_t dtStcInduction
bool wasSetByUser() const
struct CVC4::options::smartTriggers__option_t smartTriggers
struct CVC4::options::axiomInstMode__option_t axiomInstMode
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::qcfWhenMode__option_t qcfWhenMode
bool wasSetByUser() const
struct CVC4::options::instMaxLevel__option_t instMaxLevel
struct CVC4::options::fmfInstEngine__option_t fmfInstEngine
struct CVC4::options::fmfFmcSimple__option_t fmfFmcSimple
struct CVC4::options::preSkolemQuant__option_t preSkolemQuant
struct CVC4::options::registerQuantBodyTerms__option_t registerQuantBodyTerms
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::relevantTriggers__option_t relevantTriggers
struct CVC4::options::varElimQuant__option_t varElimQuant
Global (command-line, set-option, ...) parameters for SMT.
bool wasSetByUser() const
static Options & current()
Get the current Options in effect.
Macros that should be defined everywhere during the building of the libraries and driver binary...
struct CVC4::options::fmfOneQuantPerRound__option_t fmfOneQuantPerRound
bool wasSetByUser() const
struct CVC4::options::miniscopeQuant__option_t miniscopeQuant
struct CVC4::options::fmfFreshDistConst__option_t fmfFreshDistConst
CVC4::theory::quantifiers::LiteralMatchMode type
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::nnfQuant__option_t nnfQuant
bool wasSetByUser() const
struct CVC4::options::recurseCbqi__option_t recurseCbqi
struct CVC4::options::eagerInstQuant__option_t eagerInstQuant
bool wasSetByUser() const
struct CVC4::options::literalMatchMode__option_t literalMatchMode
void set(T, const typename T::type &)
Set the value of the given option.
bool wasSetByUser() const
struct CVC4::options::relationalTriggers__option_t relationalTriggers
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::flipDecision__option_t flipDecision
struct CVC4::options::qcfTConstraint__option_t qcfTConstraint
bool wasSetByUser() const
struct CVC4::options::qcfMode__option_t qcfMode
struct CVC4::options::fmfInstGenOneQuantPerRound__option_t fmfInstGenOneQuantPerRound
bool wasSetByUser() const