48 #ifndef __CVC4__OPTIONS__EXPR_H 49 #define __CVC4__OPTIONS__EXPR_H 54 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 56 #define CVC4_OPTIONS__EXPR__FOR_OPTION_HOLDER \ 57 defaultExprDepth__option_t::type defaultExprDepth; \ 58 bool defaultExprDepth__setByUser__; \ 59 defaultDagThresh__option_t::type defaultDagThresh; \ 60 bool defaultDagThresh__setByUser__; \ 61 earlyTypeChecking__option_t::type earlyTypeChecking; \ 62 bool earlyTypeChecking__setByUser__; \ 63 typeChecking__option_t::type typeChecking; \ 64 bool typeChecking__setByUser__; \ 65 biasedITERemoval__option_t::type biasedITERemoval; \ 66 bool biasedITERemoval__setByUser__; 68 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 75 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 77 #line 12 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 79 #line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 81 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 83 #line 29 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 86 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 91 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 93 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 95 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 97 #line 12 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 99 #line 12 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 101 #line 12 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 103 #line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 105 #line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 107 #line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 109 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 111 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 113 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 115 #line 29 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 117 #line 29 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 119 #line 29 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 122 #line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 127 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 129 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 132 #line 12 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 134 #line 12 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 137 #line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 139 #line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 142 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 144 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 147 #line 29 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 149 #line 29 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../expr/options" 152 #line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
struct CVC4::options::biasedITERemoval__option_t biasedITERemoval
bool wasSetByUser() const
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...
Global (command-line, set-option, ...) parameters for SMT.
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
bool wasSetByUser() const
struct CVC4::options::defaultDagThresh__option_t defaultDagThresh
struct CVC4::options::defaultExprDepth__option_t defaultExprDepth
struct CVC4::options::earlyTypeChecking__option_t earlyTypeChecking
struct CVC4::options::typeChecking__option_t typeChecking