options.h
Go to the documentation of this file.
/********************* */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* THIS FILE IS AUTOMATICALLY GENERATED, DO NOT EDIT ! */
/* Edit the template file instead. */
/********************* */
#include "cvc4_public.h"
#ifndef __CVC4__OPTIONS__UF_H
#define __CVC4__OPTIONS__UF_H
#include "options/options.h"
#line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
#define CVC4_OPTIONS__UF__FOR_OPTION_HOLDER \
ufSymmetryBreaker__option_t::type ufSymmetryBreaker; \
bool ufSymmetryBreaker__setByUser__; \
condenseFunctionValues__option_t::type condenseFunctionValues; \
bool condenseFunctionValues__setByUser__; \
ufssRegions__option_t::type ufssRegions; \
bool ufssRegions__setByUser__; \
ufssEagerSplits__option_t::type ufssEagerSplits; \
bool ufssEagerSplits__setByUser__; \
ufssTotality__option_t::type ufssTotality; \
bool ufssTotality__setByUser__; \
ufssTotalityLimited__option_t::type ufssTotalityLimited; \
bool ufssTotalityLimited__setByUser__; \
ufssTotalitySymBreak__option_t::type ufssTotalitySymBreak; \
bool ufssTotalitySymBreak__setByUser__; \
ufssAbortCardinality__option_t::type ufssAbortCardinality; \
bool ufssAbortCardinality__setByUser__; \
ufssExplainedCliques__option_t::type ufssExplainedCliques; \
bool ufssExplainedCliques__setByUser__; \
ufssSimpleCliques__option_t::type ufssSimpleCliques; \
bool ufssSimpleCliques__setByUser__; \
ufssDiseqPropagation__option_t::type ufssDiseqPropagation; \
bool ufssDiseqPropagation__setByUser__; \
ufssMinimalModel__option_t::type ufssMinimalModel; \
bool ufssMinimalModel__setByUser__; \
ufssCliqueSplits__option_t::type ufssCliqueSplits; \
bool ufssCliqueSplits__setByUser__; \
ufssSymBreak__option_t::type ufssSymBreak; \
bool ufssSymBreak__setByUser__; \
ufssFairness__option_t::type ufssFairness; \
bool ufssFairness__setByUser__;
#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
namespace CVC4 {
namespace options {
#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
extern struct CVC4_PUBLIC ufSymmetryBreaker__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } ufSymmetryBreaker CVC4_PUBLIC;
#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
extern struct CVC4_PUBLIC condenseFunctionValues__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } condenseFunctionValues CVC4_PUBLIC;
#line 14 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
extern struct CVC4_PUBLIC ufssRegions__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssRegions CVC4_PUBLIC;
#line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
extern struct CVC4_PUBLIC ufssEagerSplits__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssEagerSplits CVC4_PUBLIC;
#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
extern struct CVC4_PUBLIC ufssTotality__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssTotality CVC4_PUBLIC;
#line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
extern struct CVC4_PUBLIC ufssTotalityLimited__option_t { typedef int type; type operator()() const; bool wasSetByUser() const; } ufssTotalityLimited CVC4_PUBLIC;
#line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
extern struct CVC4_PUBLIC ufssTotalitySymBreak__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssTotalitySymBreak CVC4_PUBLIC;
#line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
extern struct CVC4_PUBLIC ufssAbortCardinality__option_t { typedef int type; type operator()() const; bool wasSetByUser() const; } ufssAbortCardinality CVC4_PUBLIC;
#line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
extern struct CVC4_PUBLIC ufssExplainedCliques__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssExplainedCliques CVC4_PUBLIC;
#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
extern struct CVC4_PUBLIC ufssSimpleCliques__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssSimpleCliques CVC4_PUBLIC;
#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
extern struct CVC4_PUBLIC ufssDiseqPropagation__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssDiseqPropagation CVC4_PUBLIC;
#line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
extern struct CVC4_PUBLIC ufssMinimalModel__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssMinimalModel CVC4_PUBLIC;
#line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
extern struct CVC4_PUBLIC ufssCliqueSplits__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssCliqueSplits CVC4_PUBLIC;
#line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
extern struct CVC4_PUBLIC ufssSymBreak__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssSymBreak CVC4_PUBLIC;
#line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
extern struct CVC4_PUBLIC ufssFairness__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } ufssFairness CVC4_PUBLIC;
#line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
}/* CVC4::options namespace */
#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> void Options::set(options::ufSymmetryBreaker__option_t, const options::ufSymmetryBreaker__option_t::type& x);
#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> const options::ufSymmetryBreaker__option_t::type& Options::operator[](options::ufSymmetryBreaker__option_t) const;
#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> bool Options::wasSetByUser(options::ufSymmetryBreaker__option_t) const;
#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> void Options::assignBool(options::ufSymmetryBreaker__option_t, std::string option, bool value, SmtEngine* smt);
#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> const options::condenseFunctionValues__option_t::type& Options::operator[](options::condenseFunctionValues__option_t) const;
#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> bool Options::wasSetByUser(options::condenseFunctionValues__option_t) const;
#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> void Options::assignBool(options::condenseFunctionValues__option_t, std::string option, bool value, SmtEngine* smt);
#line 14 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> const options::ufssRegions__option_t::type& Options::operator[](options::ufssRegions__option_t) const;
#line 14 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> bool Options::wasSetByUser(options::ufssRegions__option_t) const;
#line 14 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> void Options::assignBool(options::ufssRegions__option_t, std::string option, bool value, SmtEngine* smt);
#line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> const options::ufssEagerSplits__option_t::type& Options::operator[](options::ufssEagerSplits__option_t) const;
#line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> bool Options::wasSetByUser(options::ufssEagerSplits__option_t) const;
#line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> void Options::assignBool(options::ufssEagerSplits__option_t, std::string option, bool value, SmtEngine* smt);
#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> const options::ufssTotality__option_t::type& Options::operator[](options::ufssTotality__option_t) const;
#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> bool Options::wasSetByUser(options::ufssTotality__option_t) const;
#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> void Options::assignBool(options::ufssTotality__option_t, std::string option, bool value, SmtEngine* smt);
#line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> const options::ufssTotalityLimited__option_t::type& Options::operator[](options::ufssTotalityLimited__option_t) const;
#line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> bool Options::wasSetByUser(options::ufssTotalityLimited__option_t) const;
#line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> void Options::assign(options::ufssTotalityLimited__option_t, std::string option, std::string value, SmtEngine* smt);
#line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> const options::ufssTotalitySymBreak__option_t::type& Options::operator[](options::ufssTotalitySymBreak__option_t) const;
#line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> bool Options::wasSetByUser(options::ufssTotalitySymBreak__option_t) const;
#line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> void Options::assignBool(options::ufssTotalitySymBreak__option_t, std::string option, bool value, SmtEngine* smt);
#line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> const options::ufssAbortCardinality__option_t::type& Options::operator[](options::ufssAbortCardinality__option_t) const;
#line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> bool Options::wasSetByUser(options::ufssAbortCardinality__option_t) const;
#line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> void Options::assign(options::ufssAbortCardinality__option_t, std::string option, std::string value, SmtEngine* smt);
#line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> const options::ufssExplainedCliques__option_t::type& Options::operator[](options::ufssExplainedCliques__option_t) const;
#line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> bool Options::wasSetByUser(options::ufssExplainedCliques__option_t) const;
#line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> void Options::assignBool(options::ufssExplainedCliques__option_t, std::string option, bool value, SmtEngine* smt);
#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> const options::ufssSimpleCliques__option_t::type& Options::operator[](options::ufssSimpleCliques__option_t) const;
#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> bool Options::wasSetByUser(options::ufssSimpleCliques__option_t) const;
#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> void Options::assignBool(options::ufssSimpleCliques__option_t, std::string option, bool value, SmtEngine* smt);
#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> const options::ufssDiseqPropagation__option_t::type& Options::operator[](options::ufssDiseqPropagation__option_t) const;
#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> bool Options::wasSetByUser(options::ufssDiseqPropagation__option_t) const;
#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> void Options::assignBool(options::ufssDiseqPropagation__option_t, std::string option, bool value, SmtEngine* smt);
#line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> const options::ufssMinimalModel__option_t::type& Options::operator[](options::ufssMinimalModel__option_t) const;
#line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> bool Options::wasSetByUser(options::ufssMinimalModel__option_t) const;
#line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> void Options::assignBool(options::ufssMinimalModel__option_t, std::string option, bool value, SmtEngine* smt);
#line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> const options::ufssCliqueSplits__option_t::type& Options::operator[](options::ufssCliqueSplits__option_t) const;
#line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> bool Options::wasSetByUser(options::ufssCliqueSplits__option_t) const;
#line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> void Options::assignBool(options::ufssCliqueSplits__option_t, std::string option, bool value, SmtEngine* smt);
#line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> const options::ufssSymBreak__option_t::type& Options::operator[](options::ufssSymBreak__option_t) const;
#line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> bool Options::wasSetByUser(options::ufssSymBreak__option_t) const;
#line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> void Options::assignBool(options::ufssSymBreak__option_t, std::string option, bool value, SmtEngine* smt);
#line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> const options::ufssFairness__option_t::type& Options::operator[](options::ufssFairness__option_t) const;
#line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> bool Options::wasSetByUser(options::ufssFairness__option_t) const;
#line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
template <> void Options::assignBool(options::ufssFairness__option_t, std::string option, bool value, SmtEngine* smt);
#line 44 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
namespace options {
#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline ufSymmetryBreaker__option_t::type ufSymmetryBreaker__option_t::operator()() const { return Options::current()[*this]; }
#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline bool ufSymmetryBreaker__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline void ufSymmetryBreaker__option_t::set(const ufSymmetryBreaker__option_t::type& v) { Options::current().set(*this, v); }
#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline condenseFunctionValues__option_t::type condenseFunctionValues__option_t::operator()() const { return Options::current()[*this]; }
#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline bool condenseFunctionValues__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 14 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline ufssRegions__option_t::type ufssRegions__option_t::operator()() const { return Options::current()[*this]; }
#line 14 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline bool ufssRegions__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline ufssEagerSplits__option_t::type ufssEagerSplits__option_t::operator()() const { return Options::current()[*this]; }
#line 16 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline bool ufssEagerSplits__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline ufssTotality__option_t::type ufssTotality__option_t::operator()() const { return Options::current()[*this]; }
#line 18 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline bool ufssTotality__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline ufssTotalityLimited__option_t::type ufssTotalityLimited__option_t::operator()() const { return Options::current()[*this]; }
#line 20 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline bool ufssTotalityLimited__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline ufssTotalitySymBreak__option_t::type ufssTotalitySymBreak__option_t::operator()() const { return Options::current()[*this]; }
#line 22 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline bool ufssTotalitySymBreak__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline ufssAbortCardinality__option_t::type ufssAbortCardinality__option_t::operator()() const { return Options::current()[*this]; }
#line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline bool ufssAbortCardinality__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline ufssExplainedCliques__option_t::type ufssExplainedCliques__option_t::operator()() const { return Options::current()[*this]; }
#line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline bool ufssExplainedCliques__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline ufssSimpleCliques__option_t::type ufssSimpleCliques__option_t::operator()() const { return Options::current()[*this]; }
#line 28 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline bool ufssSimpleCliques__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline ufssDiseqPropagation__option_t::type ufssDiseqPropagation__option_t::operator()() const { return Options::current()[*this]; }
#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline bool ufssDiseqPropagation__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline ufssMinimalModel__option_t::type ufssMinimalModel__option_t::operator()() const { return Options::current()[*this]; }
#line 32 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline bool ufssMinimalModel__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline ufssCliqueSplits__option_t::type ufssCliqueSplits__option_t::operator()() const { return Options::current()[*this]; }
#line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline bool ufssCliqueSplits__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline ufssSymBreak__option_t::type ufssSymBreak__option_t::operator()() const { return Options::current()[*this]; }
#line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline bool ufssSymBreak__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline ufssFairness__option_t::type ufssFairness__option_t::operator()() const { return Options::current()[*this]; }
#line 39 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/uf/options"
inline bool ufssFairness__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 50 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
}/* CVC4::options namespace */
}/* CVC4 namespace */
#endif /* __CVC4__OPTIONS__UF_H */
CVC4::Options::current
static Options & current()
Get the current Options in effect.
Definition options.h:64
CVC4::Options::operator[]
const T::type & operator[](T) const
Get the value of the given option.
CVC4::Options::wasSetByUser
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...
CVC4::Options::set
void set(T, const typename T::type &)
Set the value of the given option.
Definition options.h:78
CVC4::SmtEngine
Definition smt_engine.h:113
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary,...
CVC4_PUBLIC
#define CVC4_PUBLIC
Definition cvc4_public.h:30
CVC4::options::ufssRegions
struct CVC4::options::ufssRegions__option_t ufssRegions
CVC4::options::ufssEagerSplits
struct CVC4::options::ufssEagerSplits__option_t ufssEagerSplits
CVC4::options::ufssSymBreak
struct CVC4::options::ufssSymBreak__option_t ufssSymBreak
CVC4::options::ufssMinimalModel
struct CVC4::options::ufssMinimalModel__option_t ufssMinimalModel
CVC4::options::ufssExplainedCliques
struct CVC4::options::ufssExplainedCliques__option_t ufssExplainedCliques
CVC4::options::ufssAbortCardinality
struct CVC4::options::ufssAbortCardinality__option_t ufssAbortCardinality
CVC4::options::ufssTotalityLimited
struct CVC4::options::ufssTotalityLimited__option_t ufssTotalityLimited
CVC4::options::ufssTotalitySymBreak
struct CVC4::options::ufssTotalitySymBreak__option_t ufssTotalitySymBreak
CVC4::options::ufssSimpleCliques
struct CVC4::options::ufssSimpleCliques__option_t ufssSimpleCliques
CVC4::options::ufssCliqueSplits
struct CVC4::options::ufssCliqueSplits__option_t ufssCliqueSplits
CVC4::options::ufSymmetryBreaker
struct CVC4::options::ufSymmetryBreaker__option_t ufSymmetryBreaker
CVC4::options::condenseFunctionValues
struct CVC4::options::condenseFunctionValues__option_t condenseFunctionValues
CVC4::options::ufssTotality
struct CVC4::options::ufssTotality__option_t ufssTotality
CVC4::options::ufssDiseqPropagation
struct CVC4::options::ufssDiseqPropagation__option_t ufssDiseqPropagation
CVC4::options::ufssFairness
struct CVC4::options::ufssFairness__option_t ufssFairness
CVC4
Definition expr.h:106
options.h
Global (command-line, set-option, ...) parameters for SMT.
CVC4::options::condenseFunctionValues__option_t
Definition options.h:98
CVC4::options::condenseFunctionValues__option_t::type
bool type
Definition options.h:98
CVC4::options::condenseFunctionValues__option_t::operator()
type operator()() const
Definition options.h:237
CVC4::options::condenseFunctionValues__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:239
CVC4::options::ufSymmetryBreaker__option_t
Definition options.h:96
CVC4::options::ufSymmetryBreaker__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:232
CVC4::options::ufSymmetryBreaker__option_t::set
void set(const type &v)
Definition options.h:234
CVC4::options::ufSymmetryBreaker__option_t::operator()
type operator()() const
Definition options.h:230
CVC4::options::ufSymmetryBreaker__option_t::type
bool type
Definition options.h:96
CVC4::options::ufssAbortCardinality__option_t
Definition options.h:110
CVC4::options::ufssAbortCardinality__option_t::type
int type
Definition options.h:110
CVC4::options::ufssAbortCardinality__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:269
CVC4::options::ufssAbortCardinality__option_t::operator()
type operator()() const
Definition options.h:267
CVC4::options::ufssCliqueSplits__option_t
Definition options.h:120
CVC4::options::ufssCliqueSplits__option_t::type
bool type
Definition options.h:120
CVC4::options::ufssCliqueSplits__option_t::operator()
type operator()() const
Definition options.h:292
CVC4::options::ufssCliqueSplits__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:294
CVC4::options::ufssDiseqPropagation__option_t
Definition options.h:116
CVC4::options::ufssDiseqPropagation__option_t::type
bool type
Definition options.h:116
CVC4::options::ufssDiseqPropagation__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:284
CVC4::options::ufssDiseqPropagation__option_t::operator()
type operator()() const
Definition options.h:282
CVC4::options::ufssEagerSplits__option_t
Definition options.h:102
CVC4::options::ufssEagerSplits__option_t::operator()
type operator()() const
Definition options.h:247
CVC4::options::ufssEagerSplits__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:249
CVC4::options::ufssEagerSplits__option_t::type
bool type
Definition options.h:102
CVC4::options::ufssExplainedCliques__option_t
Definition options.h:112
CVC4::options::ufssExplainedCliques__option_t::type
bool type
Definition options.h:112
CVC4::options::ufssExplainedCliques__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:274
CVC4::options::ufssExplainedCliques__option_t::operator()
type operator()() const
Definition options.h:272
CVC4::options::ufssFairness__option_t
Definition options.h:124
CVC4::options::ufssFairness__option_t::operator()
type operator()() const
Definition options.h:302
CVC4::options::ufssFairness__option_t::type
bool type
Definition options.h:124
CVC4::options::ufssFairness__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:304
CVC4::options::ufssMinimalModel__option_t
Definition options.h:118
CVC4::options::ufssMinimalModel__option_t::type
bool type
Definition options.h:118
CVC4::options::ufssMinimalModel__option_t::operator()
type operator()() const
Definition options.h:287
CVC4::options::ufssMinimalModel__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:289
CVC4::options::ufssRegions__option_t
Definition options.h:100
CVC4::options::ufssRegions__option_t::type
bool type
Definition options.h:100
CVC4::options::ufssRegions__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:244
CVC4::options::ufssRegions__option_t::operator()
type operator()() const
Definition options.h:242
CVC4::options::ufssSimpleCliques__option_t
Definition options.h:114
CVC4::options::ufssSimpleCliques__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:279
CVC4::options::ufssSimpleCliques__option_t::type
bool type
Definition options.h:114
CVC4::options::ufssSimpleCliques__option_t::operator()
type operator()() const
Definition options.h:277
CVC4::options::ufssSymBreak__option_t
Definition options.h:122
CVC4::options::ufssSymBreak__option_t::operator()
type operator()() const
Definition options.h:297
CVC4::options::ufssSymBreak__option_t::type
bool type
Definition options.h:122
CVC4::options::ufssSymBreak__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:299
CVC4::options::ufssTotalityLimited__option_t
Definition options.h:106
CVC4::options::ufssTotalityLimited__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:259
CVC4::options::ufssTotalityLimited__option_t::operator()
type operator()() const
Definition options.h:257
CVC4::options::ufssTotalityLimited__option_t::type
int type
Definition options.h:106
CVC4::options::ufssTotalitySymBreak__option_t
Definition options.h:108
CVC4::options::ufssTotalitySymBreak__option_t::operator()
type operator()() const
Definition options.h:262
CVC4::options::ufssTotalitySymBreak__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:264
CVC4::options::ufssTotalitySymBreak__option_t::type
bool type
Definition options.h:108
CVC4::options::ufssTotality__option_t
Definition options.h:104
CVC4::options::ufssTotality__option_t::operator()
type operator()() const
Definition options.h:252
CVC4::options::ufssTotality__option_t::wasSetByUser
bool wasSetByUser() const
Definition options.h:254
CVC4::options::ufssTotality__option_t::type
bool type
Definition options.h:104