48 #ifndef __CVC4__OPTIONS__UF_H 49 #define __CVC4__OPTIONS__UF_H 54 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 56 #define CVC4_OPTIONS__UF__FOR_OPTION_HOLDER \ 57 ufSymmetryBreaker__option_t::type ufSymmetryBreaker; \ 58 bool ufSymmetryBreaker__setByUser__; \ 59 condenseFunctionValues__option_t::type condenseFunctionValues; \ 60 bool condenseFunctionValues__setByUser__; \ 61 ufssRegions__option_t::type ufssRegions; \ 62 bool ufssRegions__setByUser__; \ 63 ufssEagerSplits__option_t::type ufssEagerSplits; \ 64 bool ufssEagerSplits__setByUser__; \ 65 ufssTotality__option_t::type ufssTotality; \ 66 bool ufssTotality__setByUser__; \ 67 ufssTotalityLimited__option_t::type ufssTotalityLimited; \ 68 bool ufssTotalityLimited__setByUser__; \ 69 ufssTotalitySymBreak__option_t::type ufssTotalitySymBreak; \ 70 bool ufssTotalitySymBreak__setByUser__; \ 71 ufssAbortCardinality__option_t::type ufssAbortCardinality; \ 72 bool ufssAbortCardinality__setByUser__; \ 73 ufssExplainedCliques__option_t::type ufssExplainedCliques; \ 74 bool ufssExplainedCliques__setByUser__; \ 75 ufssSimpleCliques__option_t::type ufssSimpleCliques; \ 76 bool ufssSimpleCliques__setByUser__; \ 77 ufssDiseqPropagation__option_t::type ufssDiseqPropagation; \ 78 bool ufssDiseqPropagation__setByUser__; \ 79 ufssMinimalModel__option_t::type ufssMinimalModel; \ 80 bool ufssMinimalModel__setByUser__; \ 81 ufssCliqueSplits__option_t::type ufssCliqueSplits; \ 82 bool ufssCliqueSplits__setByUser__; \ 83 ufssSymBreak__option_t::type ufssSymBreak; \ 84 bool ufssSymBreak__setByUser__; \ 85 ufssFairness__option_t::type ufssFairness; \ 86 bool ufssFairness__setByUser__; 88 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 95 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 97 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 99 #line 14 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 101 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 103 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 105 #line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 107 #line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 109 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 111 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 113 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 115 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 117 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 119 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 121 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 123 #line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 126 #line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 131 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 133 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 135 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 137 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 139 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 141 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 143 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 145 #line 14 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 147 #line 14 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 149 #line 14 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 151 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 153 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 155 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 157 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 159 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 161 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 163 #line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 165 #line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 167 #line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 169 #line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 171 #line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 173 #line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 175 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 177 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 179 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 181 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 183 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 185 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 187 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 189 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 191 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 193 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 195 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 197 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 199 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 201 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 203 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 205 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 207 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 209 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 211 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 213 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 215 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 217 #line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 219 #line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 221 #line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 224 #line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" 229 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 231 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 233 #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 236 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 238 #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 241 #line 14 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 243 #line 14 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 246 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 248 #line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 251 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 253 #line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 256 #line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 258 #line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 261 #line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 263 #line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 266 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 268 #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 271 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 273 #line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 276 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 278 #line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 281 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 283 #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 286 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 288 #line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 291 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 293 #line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 296 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 298 #line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 301 #line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 303 #line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options" 306 #line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h" bool wasSetByUser() const
struct CVC4::options::condenseFunctionValues__option_t condenseFunctionValues
bool wasSetByUser() const
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::ufssSimpleCliques__option_t ufssSimpleCliques
struct CVC4::options::ufssTotalityLimited__option_t ufssTotalityLimited
bool wasSetByUser() const
struct CVC4::options::ufssAbortCardinality__option_t ufssAbortCardinality
struct CVC4::options::ufssFairness__option_t ufssFairness
bool wasSetByUser() const
bool wasSetByUser() const
struct CVC4::options::ufssCliqueSplits__option_t ufssCliqueSplits
bool wasSetByUser() const
const T::type & operator[](T) const
Get the value of the given option.
struct CVC4::options::ufssDiseqPropagation__option_t ufssDiseqPropagation
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
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::ufssEagerSplits__option_t ufssEagerSplits
struct CVC4::options::ufssSymBreak__option_t ufssSymBreak
struct CVC4::options::ufssTotalitySymBreak__option_t ufssTotalitySymBreak
struct CVC4::options::ufssTotality__option_t ufssTotality
bool wasSetByUser() const
struct CVC4::options::ufSymmetryBreaker__option_t ufSymmetryBreaker
struct CVC4::options::ufssExplainedCliques__option_t ufssExplainedCliques
void set(T, const typename T::type &)
Set the value of the given option.
bool wasSetByUser() const
struct CVC4::options::ufssRegions__option_t ufssRegions
struct CVC4::options::ufssMinimalModel__option_t ufssMinimalModel