48 #ifndef __CVC4__OPTIONS__SMT_H 49 #define __CVC4__OPTIONS__SMT_H 53 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 55 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 57 #line 108 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 59 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 62 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 64 #define CVC4_OPTIONS__SMT__FOR_OPTION_HOLDER \ 65 forceLogic__option_t::type forceLogic; \ 66 bool forceLogic__setByUser__; \ 67 simplificationMode__option_t::type simplificationMode; \ 68 bool simplificationMode__setByUser__; \ 69 doStaticLearning__option_t::type doStaticLearning; \ 70 bool doStaticLearning__setByUser__; \ 71 expandDefinitions__option_t::type expandDefinitions; \ 72 bool expandDefinitions__setByUser__; \ 73 produceModels__option_t::type produceModels; \ 74 bool produceModels__setByUser__; \ 75 checkModels__option_t::type checkModels; \ 76 bool checkModels__setByUser__; \ 77 dumpModels__option_t::type dumpModels; \ 78 bool dumpModels__setByUser__; \ 79 proof__option_t::type proof; \ 80 bool proof__setByUser__; \ 81 checkProofs__option_t::type checkProofs; \ 82 bool checkProofs__setByUser__; \ 83 dumpProofs__option_t::type dumpProofs; \ 84 bool dumpProofs__setByUser__; \ 85 dumpInstantiations__option_t::type dumpInstantiations; \ 86 bool dumpInstantiations__setByUser__; \ 87 unsatCores__option_t::type unsatCores; \ 88 bool unsatCores__setByUser__; \ 89 produceAssignments__option_t::type produceAssignments; \ 90 bool produceAssignments__setByUser__; \ 91 interactive__option_t::type interactive; \ 92 bool interactive__setByUser__; \ 93 doITESimp__option_t::type doITESimp; \ 94 bool doITESimp__setByUser__; \ 95 doITESimpOnRepeat__option_t::type doITESimpOnRepeat; \ 96 bool doITESimpOnRepeat__setByUser__; \ 97 simplifyWithCareEnabled__option_t::type simplifyWithCareEnabled; \ 98 bool simplifyWithCareEnabled__setByUser__; \ 99 compressItes__option_t::type compressItes; \ 100 bool compressItes__setByUser__; \ 101 unconstrainedSimp__option_t::type unconstrainedSimp; \ 102 bool unconstrainedSimp__setByUser__; \ 103 repeatSimp__option_t::type repeatSimp; \ 104 bool repeatSimp__setByUser__; \ 105 zombieHuntThreshold__option_t::type zombieHuntThreshold; \ 106 bool zombieHuntThreshold__setByUser__; \ 107 sortInference__option_t::type sortInference; \ 108 bool sortInference__setByUser__; \ 109 incrementalSolving__option_t::type incrementalSolving; \ 110 bool incrementalSolving__setByUser__; \ 111 abstractValues__option_t::type abstractValues; \ 112 bool abstractValues__setByUser__; \ 113 modelUninterpDtEnum__option_t::type modelUninterpDtEnum; \ 114 bool modelUninterpDtEnum__setByUser__; \ 115 cumulativeMillisecondLimit__option_t::type cumulativeMillisecondLimit; \ 116 bool cumulativeMillisecondLimit__setByUser__; \ 117 perCallMillisecondLimit__option_t::type perCallMillisecondLimit; \ 118 bool perCallMillisecondLimit__setByUser__; \ 119 cumulativeResourceLimit__option_t::type cumulativeResourceLimit; \ 120 bool cumulativeResourceLimit__setByUser__; \ 121 perCallResourceLimit__option_t::type perCallResourceLimit; \ 122 bool perCallResourceLimit__setByUser__; \ 123 rewriteApplyToConst__option_t::type rewriteApplyToConst; \ 124 bool rewriteApplyToConst__setByUser__; \ 125 replayFilename__option_t::type replayFilename; \ 126 bool replayFilename__setByUser__; \ 127 replayLog__option_t::type replayLog; \ 128 bool replayLog__setByUser__; \ 129 replayStream__option_t::type replayStream; \ 130 bool replayStream__setByUser__; \ 131 lemmaInputChannel__option_t::type lemmaInputChannel; \ 132 bool lemmaInputChannel__setByUser__; \ 133 lemmaOutputChannel__option_t::type lemmaOutputChannel; \ 134 bool lemmaOutputChannel__setByUser__; \ 135 forceNoLimitCpuWhileDump__option_t::type forceNoLimitCpuWhileDump; \ 136 bool forceNoLimitCpuWhileDump__setByUser__; 138 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 145 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 147 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 149 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 151 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 153 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 155 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 157 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 159 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 161 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 163 #line 36 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 165 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 167 #line 41 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 169 #line 43 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 171 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 173 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 175 #line 54 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 177 #line 57 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 179 #line 60 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 181 #line 63 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 183 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 185 #line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 187 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 189 #line 75 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 191 #line 78 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 193 #line 80 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 195 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 197 #line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 199 #line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 201 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 203 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 205 #line 101 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 207 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 209 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 211 #line 108 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 213 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 215 #line 113 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 218 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 223 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 225 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 227 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 229 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 231 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 233 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 235 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 237 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 239 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 241 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 243 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 245 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 247 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 249 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 251 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 253 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 255 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 257 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 259 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 261 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 263 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 265 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 267 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 269 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 271 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 273 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 275 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 277 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 279 #line 36 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 281 #line 36 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 283 #line 36 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 285 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 287 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 289 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 291 #line 41 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 293 #line 41 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 295 #line 41 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 297 #line 43 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 299 #line 43 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 301 #line 43 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 303 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 305 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 307 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 309 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 311 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 313 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 315 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 317 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 319 #line 54 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 321 #line 54 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 323 #line 54 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 325 #line 54 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 327 #line 57 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 329 #line 57 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 331 #line 57 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 333 #line 57 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 335 #line 60 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 337 #line 60 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 339 #line 60 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 341 #line 60 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 343 #line 63 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 345 #line 63 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 347 #line 63 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 349 #line 63 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 351 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 353 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 355 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 357 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 359 #line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 361 #line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 363 #line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 365 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 367 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 369 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 371 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 373 #line 75 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 375 #line 75 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 377 #line 75 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 379 #line 78 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 381 #line 78 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 383 #line 78 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 385 #line 80 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 387 #line 80 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 389 #line 80 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 391 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 393 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 395 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 397 #line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 399 #line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 401 #line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 403 #line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 405 #line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 407 #line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 409 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 411 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 413 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 415 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 417 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 419 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 421 #line 101 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 423 #line 101 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 425 #line 101 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 427 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 429 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 431 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 433 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 435 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 437 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 439 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 441 #line 108 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 443 #line 108 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 445 #line 108 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 447 #line 108 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 449 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 451 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 453 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 455 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 457 #line 113 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 459 #line 113 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 461 #line 113 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 464 #line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 469 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 471 #line 13 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 474 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 476 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 478 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 481 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 483 #line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 486 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 488 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 491 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 493 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 496 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 498 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 501 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 503 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 506 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 508 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 511 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 513 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 516 #line 36 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 518 #line 36 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 521 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 523 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 526 #line 41 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 528 #line 41 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 531 #line 43 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 533 #line 43 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 536 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 538 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 540 #line 48 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 543 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 545 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 547 #line 51 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 550 #line 54 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 552 #line 54 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 554 #line 54 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 557 #line 57 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 559 #line 57 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 561 #line 57 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 564 #line 60 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 566 #line 60 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 568 #line 60 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 571 #line 63 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 573 #line 63 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 575 #line 63 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 578 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 580 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 582 #line 66 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 585 #line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 587 #line 69 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 590 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 592 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 594 #line 72 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 597 #line 75 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 599 #line 75 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 602 #line 78 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 604 #line 78 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 607 #line 80 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 609 #line 80 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 612 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 614 #line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 617 #line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 619 #line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 622 #line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 624 #line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 627 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 629 #line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 632 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 634 #line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 637 #line 101 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 639 #line 101 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 642 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 644 #line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 647 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 649 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 651 #line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 654 #line 108 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 656 #line 108 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 658 #line 108 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 661 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 663 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 665 #line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 668 #line 113 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 670 #line 113 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../smt/options" 673 #line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" struct CVC4::options::dumpProofs__option_t dumpProofs
struct CVC4::options::replayFilename__option_t replayFilename
bool wasSetByUser() const
struct CVC4::options::sortInference__option_t sortInference
bool wasSetByUser() const
struct CVC4::options::dumpModels__option_t dumpModels
bool wasSetByUser() const
struct CVC4::options::forceLogic__option_t forceLogic
struct CVC4::options::abstractValues__option_t abstractValues
bool wasSetByUser() const
struct CVC4::options::compressItes__option_t compressItes
struct CVC4::options::modelUninterpDtEnum__option_t modelUninterpDtEnum
A class giving information about a logic (group a theory modules and configuration information) ...
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::repeatSimp__option_t repeatSimp
struct CVC4::options::doStaticLearning__option_t doStaticLearning
struct CVC4::options::cumulativeMillisecondLimit__option_t cumulativeMillisecondLimit
struct CVC4::options::checkProofs__option_t checkProofs
bool wasSetByUser() const
A LogicInfo instance describes a collection of theory modules and some basic configuration about them...
bool wasSetByUser() const
[[ Add one-line brief description here ]]
bool wasSetByUser() const
struct CVC4::options::checkModels__option_t checkModels
bool wasSetByUser() const
struct CVC4::options::simplifyWithCareEnabled__option_t simplifyWithCareEnabled
This interface describes a mechanism for the propositional and theory engines to communicate with the...
struct CVC4::options::proof__option_t proof
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
SimplificationMode
Enumeration of simplification modes (when to simplify).
struct CVC4::options::incrementalSolving__option_t incrementalSolving
struct CVC4::options::cumulativeResourceLimit__option_t cumulativeResourceLimit
bool wasSetByUser() const
bool wasSetByUser() const
const T::type & operator[](T) const
Get the value of the given option.
struct CVC4::options::produceModels__option_t produceModels
bool wasSetByUser() const
struct CVC4::options::unconstrainedSimp__option_t unconstrainedSimp
struct CVC4::options::lemmaInputChannel__option_t lemmaInputChannel
struct CVC4::options::perCallResourceLimit__option_t perCallResourceLimit
struct CVC4::options::interactive__option_t interactive
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...
bool wasSetByUser() const
struct CVC4::options::rewriteApplyToConst__option_t rewriteApplyToConst
bool wasSetByUser() const
struct CVC4::options::forceNoLimitCpuWhileDump__option_t forceNoLimitCpuWhileDump
struct CVC4::options::dumpInstantiations__option_t dumpInstantiations
A pure-virtual stream interface for expressions.
Global (command-line, set-option, ...) parameters for SMT.
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::replayStream__option_t replayStream
bool wasSetByUser() const
Mechanism for communication about new lemmas.
static Options & current()
Get the current Options in effect.
Macros that should be defined everywhere during the building of the libraries and driver binary...
bool wasSetByUser() const
struct CVC4::options::zombieHuntThreshold__option_t zombieHuntThreshold
bool wasSetByUser() const
struct CVC4::options::simplificationMode__option_t simplificationMode
struct CVC4::options::doITESimpOnRepeat__option_t doITESimpOnRepeat
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::doITESimp__option_t doITESimp
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::perCallMillisecondLimit__option_t perCallMillisecondLimit
struct CVC4::options::unsatCores__option_t unsatCores
struct CVC4::options::produceAssignments__option_t produceAssignments
void set(T, const typename T::type &)
Set the value of the given option.
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::expandDefinitions__option_t expandDefinitions
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
LemmaOutputChannel * type
struct CVC4::options::replayLog__option_t replayLog
bool wasSetByUser() const
struct CVC4::options::lemmaOutputChannel__option_t lemmaOutputChannel