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
struct CVC4::options::sortInference__option_t sortInference
struct CVC4::options::dumpModels__option_t dumpModels
struct CVC4::options::forceLogic__option_t forceLogic
struct CVC4::options::abstractValues__option_t abstractValues
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) ...
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...
[[ Add one-line brief description here ]]
struct CVC4::options::checkModels__option_t checkModels
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::simplifyWithCareEnabled__option_t simplifyWithCareEnabled
bool wasSetByUser() const
bool wasSetByUser() const
This interface describes a mechanism for the propositional and theory engines to communicate with the...
bool wasSetByUser() const
struct CVC4::options::proof__option_t proof
const T::type & operator[](T) const
Get the value of the given option.
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...
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
struct CVC4::options::produceModels__option_t produceModels
bool wasSetByUser() const
struct CVC4::options::unconstrainedSimp__option_t unconstrainedSimp
struct CVC4::options::lemmaInputChannel__option_t lemmaInputChannel
bool wasSetByUser() const
struct CVC4::options::perCallResourceLimit__option_t perCallResourceLimit
struct CVC4::options::interactive__option_t interactive
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::rewriteApplyToConst__option_t rewriteApplyToConst
struct CVC4::options::forceNoLimitCpuWhileDump__option_t forceNoLimitCpuWhileDump
struct CVC4::options::dumpInstantiations__option_t dumpInstantiations
bool wasSetByUser() const
A pure-virtual stream interface for expressions.
Global (command-line, set-option, ...) parameters for SMT.
struct CVC4::options::replayStream__option_t replayStream
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...
struct CVC4::options::zombieHuntThreshold__option_t zombieHuntThreshold
bool wasSetByUser() const
struct CVC4::options::simplificationMode__option_t simplificationMode
bool wasSetByUser() const
struct CVC4::options::doITESimpOnRepeat__option_t doITESimpOnRepeat
bool wasSetByUser() const
bool wasSetByUser() const
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
bool wasSetByUser() const
bool wasSetByUser() const
void set(T, const typename T::type &)
Set the value of the given option.
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::expandDefinitions__option_t expandDefinitions
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
LemmaOutputChannel * type
struct CVC4::options::replayLog__option_t replayLog
struct CVC4::options::lemmaOutputChannel__option_t lemmaOutputChannel