base_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__BASE_H
#define __CVC4__OPTIONS__BASE_H
#include "options/options.h"
#line 84 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
#include <iostream>
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
#include <iostream>
#line 86 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
#include <iostream>
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
#include "util/language.h"
#line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
#include "util/language.h"
#line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
#define CVC4_OPTIONS__BASE__FOR_OPTION_HOLDER \
binary_name__option_t::type binary_name; \
bool binary_name__setByUser__; \
in__option_t::type in; \
bool in__setByUser__; \
out__option_t::type out; \
bool out__setByUser__; \
err__option_t::type err; \
bool err__setByUser__; \
inputLanguage__option_t::type inputLanguage; \
bool inputLanguage__setByUser__; \
outputLanguage__option_t::type outputLanguage; \
bool outputLanguage__setByUser__; \
languageHelp__option_t::type languageHelp; \
bool languageHelp__setByUser__; \
verbosity__option_t::type verbosity; \
bool verbosity__setByUser__; \
statistics__option_t::type statistics; \
bool statistics__setByUser__; \
statsEveryQuery__option_t::type statsEveryQuery; \
bool statsEveryQuery__setByUser__; \
statsHideZeros__option_t::type statsHideZeros; \
bool statsHideZeros__setByUser__; \
parseOnly__option_t::type parseOnly; \
bool parseOnly__setByUser__; \
preprocessOnly__option_t::type preprocessOnly; \
bool preprocessOnly__setByUser__; \
printSuccess__option_t::type printSuccess; \
bool printSuccess__setByUser__;
#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
namespace CVC4 {
namespace options {
#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
extern struct CVC4_PUBLIC binary_name__option_t { typedef std::string type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } binary_name CVC4_PUBLIC;
#line 84 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
extern struct CVC4_PUBLIC in__option_t { typedef std::istream* type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } in CVC4_PUBLIC;
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
extern struct CVC4_PUBLIC out__option_t { typedef std::ostream* type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } out CVC4_PUBLIC;
#line 86 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
extern struct CVC4_PUBLIC err__option_t { typedef std::ostream* type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } err CVC4_PUBLIC;
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
extern struct CVC4_PUBLIC inputLanguage__option_t { typedef InputLanguage type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } inputLanguage CVC4_PUBLIC;
#line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
extern struct CVC4_PUBLIC outputLanguage__option_t { typedef OutputLanguage type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } outputLanguage CVC4_PUBLIC;
#line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
extern struct CVC4_PUBLIC languageHelp__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } languageHelp CVC4_PUBLIC;
#line 99 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
extern struct CVC4_PUBLIC verbosity__option_t { typedef int type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } verbosity CVC4_PUBLIC;
#line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
extern struct CVC4_PUBLIC statistics__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } statistics CVC4_PUBLIC;
#line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
extern struct CVC4_PUBLIC statsEveryQuery__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } statsEveryQuery CVC4_PUBLIC;
#line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
extern struct CVC4_PUBLIC statsHideZeros__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } statsHideZeros CVC4_PUBLIC;
#line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
extern struct CVC4_PUBLIC parseOnly__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } parseOnly CVC4_PUBLIC;
#line 123 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
extern struct CVC4_PUBLIC preprocessOnly__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } preprocessOnly CVC4_PUBLIC;
#line 131 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
extern struct CVC4_PUBLIC printSuccess__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } printSuccess CVC4_PUBLIC;
#line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"
}/* CVC4::options namespace */
#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::set(options::binary_name__option_t, const options::binary_name__option_t::type& x);
#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> const options::binary_name__option_t::type& Options::operator[](options::binary_name__option_t) const;
#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> bool Options::wasSetByUser(options::binary_name__option_t) const;
#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::assign(options::binary_name__option_t, std::string option, std::string value, SmtEngine* smt);
#line 84 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::set(options::in__option_t, const options::in__option_t::type& x);
#line 84 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> const options::in__option_t::type& Options::operator[](options::in__option_t) const;
#line 84 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> bool Options::wasSetByUser(options::in__option_t) const;
#line 84 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::assign(options::in__option_t, std::string option, std::string value, SmtEngine* smt);
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::set(options::out__option_t, const options::out__option_t::type& x);
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> const options::out__option_t::type& Options::operator[](options::out__option_t) const;
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> bool Options::wasSetByUser(options::out__option_t) const;
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::assign(options::out__option_t, std::string option, std::string value, SmtEngine* smt);
#line 86 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::set(options::err__option_t, const options::err__option_t::type& x);
#line 86 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> const options::err__option_t::type& Options::operator[](options::err__option_t) const;
#line 86 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> bool Options::wasSetByUser(options::err__option_t) const;
#line 86 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::assign(options::err__option_t, std::string option, std::string value, SmtEngine* smt);
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::set(options::inputLanguage__option_t, const options::inputLanguage__option_t::type& x);
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> const options::inputLanguage__option_t::type& Options::operator[](options::inputLanguage__option_t) const;
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> bool Options::wasSetByUser(options::inputLanguage__option_t) const;
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::assign(options::inputLanguage__option_t, std::string option, std::string value, SmtEngine* smt);
#line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::set(options::outputLanguage__option_t, const options::outputLanguage__option_t::type& x);
#line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> const options::outputLanguage__option_t::type& Options::operator[](options::outputLanguage__option_t) const;
#line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> bool Options::wasSetByUser(options::outputLanguage__option_t) const;
#line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::assign(options::outputLanguage__option_t, std::string option, std::string value, SmtEngine* smt);
#line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::set(options::languageHelp__option_t, const options::languageHelp__option_t::type& x);
#line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> const options::languageHelp__option_t::type& Options::operator[](options::languageHelp__option_t) const;
#line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> bool Options::wasSetByUser(options::languageHelp__option_t) const;
#line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::assignBool(options::languageHelp__option_t, std::string option, bool value, SmtEngine* smt);
#line 99 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::set(options::verbosity__option_t, const options::verbosity__option_t::type& x);
#line 99 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> const options::verbosity__option_t::type& Options::operator[](options::verbosity__option_t) const;
#line 99 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> bool Options::wasSetByUser(options::verbosity__option_t) const;
#line 99 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::assign(options::verbosity__option_t, std::string option, std::string value, SmtEngine* smt);
#line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> const options::statistics__option_t::type& Options::operator[](options::statistics__option_t) const;
#line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> bool Options::wasSetByUser(options::statistics__option_t) const;
#line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::assignBool(options::statistics__option_t, std::string option, bool value, SmtEngine* smt);
#line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> const options::statsEveryQuery__option_t::type& Options::operator[](options::statsEveryQuery__option_t) const;
#line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> bool Options::wasSetByUser(options::statsEveryQuery__option_t) const;
#line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::assignBool(options::statsEveryQuery__option_t, std::string option, bool value, SmtEngine* smt);
#line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> const options::statsHideZeros__option_t::type& Options::operator[](options::statsHideZeros__option_t) const;
#line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> bool Options::wasSetByUser(options::statsHideZeros__option_t) const;
#line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::assignBool(options::statsHideZeros__option_t, std::string option, bool value, SmtEngine* smt);
#line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::set(options::parseOnly__option_t, const options::parseOnly__option_t::type& x);
#line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> const options::parseOnly__option_t::type& Options::operator[](options::parseOnly__option_t) const;
#line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> bool Options::wasSetByUser(options::parseOnly__option_t) const;
#line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::assignBool(options::parseOnly__option_t, std::string option, bool value, SmtEngine* smt);
#line 123 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> const options::preprocessOnly__option_t::type& Options::operator[](options::preprocessOnly__option_t) const;
#line 123 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> bool Options::wasSetByUser(options::preprocessOnly__option_t) const;
#line 123 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::assignBool(options::preprocessOnly__option_t, std::string option, bool value, SmtEngine* smt);
#line 131 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> const options::printSuccess__option_t::type& Options::operator[](options::printSuccess__option_t) const;
#line 131 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> bool Options::wasSetByUser(options::printSuccess__option_t) const;
#line 131 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
template <> void Options::assignBool(options::printSuccess__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 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline binary_name__option_t::type binary_name__option_t::operator()() const { return Options::current()[*this]; }
#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline bool binary_name__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline void binary_name__option_t::set(const binary_name__option_t::type& v) { Options::current().set(*this, v); }
#line 84 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline in__option_t::type in__option_t::operator()() const { return Options::current()[*this]; }
#line 84 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline bool in__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 84 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline void in__option_t::set(const in__option_t::type& v) { Options::current().set(*this, v); }
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline out__option_t::type out__option_t::operator()() const { return Options::current()[*this]; }
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline bool out__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline void out__option_t::set(const out__option_t::type& v) { Options::current().set(*this, v); }
#line 86 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline err__option_t::type err__option_t::operator()() const { return Options::current()[*this]; }
#line 86 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline bool err__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 86 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline void err__option_t::set(const err__option_t::type& v) { Options::current().set(*this, v); }
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline inputLanguage__option_t::type inputLanguage__option_t::operator()() const { return Options::current()[*this]; }
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline bool inputLanguage__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline void inputLanguage__option_t::set(const inputLanguage__option_t::type& v) { Options::current().set(*this, v); }
#line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline outputLanguage__option_t::type outputLanguage__option_t::operator()() const { return Options::current()[*this]; }
#line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline bool outputLanguage__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 90 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline void outputLanguage__option_t::set(const outputLanguage__option_t::type& v) { Options::current().set(*this, v); }
#line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline languageHelp__option_t::type languageHelp__option_t::operator()() const { return Options::current()[*this]; }
#line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline bool languageHelp__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 92 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline void languageHelp__option_t::set(const languageHelp__option_t::type& v) { Options::current().set(*this, v); }
#line 99 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline verbosity__option_t::type verbosity__option_t::operator()() const { return Options::current()[*this]; }
#line 99 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline bool verbosity__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 99 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline void verbosity__option_t::set(const verbosity__option_t::type& v) { Options::current().set(*this, v); }
#line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline statistics__option_t::type statistics__option_t::operator()() const { return Options::current()[*this]; }
#line 106 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline bool statistics__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline statsEveryQuery__option_t::type statsEveryQuery__option_t::operator()() const { return Options::current()[*this]; }
#line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline bool statsEveryQuery__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline statsHideZeros__option_t::type statsHideZeros__option_t::operator()() const { return Options::current()[*this]; }
#line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline bool statsHideZeros__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline parseOnly__option_t::type parseOnly__option_t::operator()() const { return Options::current()[*this]; }
#line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline bool parseOnly__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline void parseOnly__option_t::set(const parseOnly__option_t::type& v) { Options::current().set(*this, v); }
#line 123 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline preprocessOnly__option_t::type preprocessOnly__option_t::operator()() const { return Options::current()[*this]; }
#line 123 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline bool preprocessOnly__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 131 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline printSuccess__option_t::type printSuccess__option_t::operator()() const { return Options::current()[*this]; }
#line 131 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options"
inline bool printSuccess__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__BASE_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
language.h
Definition of input and output languages.
CVC4::language::input::Language
Language
Definition language.h:33
CVC4::language::output::Language
Language
Definition language.h:95
CVC4::options::parseOnly
struct CVC4::options::parseOnly__option_t parseOnly
CVC4::options::languageHelp
struct CVC4::options::languageHelp__option_t languageHelp
CVC4::options::printSuccess
struct CVC4::options::printSuccess__option_t printSuccess
CVC4::options::binary_name
struct CVC4::options::binary_name__option_t binary_name
CVC4::options::inputLanguage
struct CVC4::options::inputLanguage__option_t inputLanguage
CVC4::options::err
struct CVC4::options::err__option_t err
CVC4::options::statistics
struct CVC4::options::statistics__option_t statistics
CVC4::options::verbosity
struct CVC4::options::verbosity__option_t verbosity
CVC4::options::statsEveryQuery
struct CVC4::options::statsEveryQuery__option_t statsEveryQuery
CVC4::options::statsHideZeros
struct CVC4::options::statsHideZeros__option_t statsHideZeros
CVC4::options::preprocessOnly
struct CVC4::options::preprocessOnly__option_t preprocessOnly
CVC4::options::in
struct CVC4::options::in__option_t in
CVC4::options::outputLanguage
struct CVC4::options::outputLanguage__option_t outputLanguage
CVC4::options::out
struct CVC4::options::out__option_t out
CVC4
Definition expr.h:106
options.h
Global (command-line, set-option, ...) parameters for SMT.
CVC4::options::binary_name__option_t
Definition base_options.h:104
CVC4::options::binary_name__option_t::operator()
type operator()() const
Definition base_options.h:246
CVC4::options::binary_name__option_t::wasSetByUser
bool wasSetByUser() const
Definition base_options.h:248
CVC4::options::binary_name__option_t::set
void set(const type &v)
Definition base_options.h:250
CVC4::options::binary_name__option_t::type
std::string type
Definition base_options.h:104
CVC4::options::err__option_t
Definition base_options.h:110
CVC4::options::err__option_t::wasSetByUser
bool wasSetByUser() const
Definition base_options.h:269
CVC4::options::err__option_t::operator()
type operator()() const
Definition base_options.h:267
CVC4::options::err__option_t::set
void set(const type &v)
Definition base_options.h:271
CVC4::options::err__option_t::type
std::ostream * type
Definition base_options.h:110
CVC4::options::in__option_t
Definition base_options.h:106
CVC4::options::in__option_t::set
void set(const type &v)
Definition base_options.h:257
CVC4::options::in__option_t::type
std::istream * type
Definition base_options.h:106
CVC4::options::in__option_t::wasSetByUser
bool wasSetByUser() const
Definition base_options.h:255
CVC4::options::in__option_t::operator()
type operator()() const
Definition base_options.h:253
CVC4::options::inputLanguage__option_t
Definition base_options.h:112
CVC4::options::inputLanguage__option_t::type
InputLanguage type
Definition base_options.h:112
CVC4::options::inputLanguage__option_t::operator()
type operator()() const
Definition base_options.h:274
CVC4::options::inputLanguage__option_t::wasSetByUser
bool wasSetByUser() const
Definition base_options.h:276
CVC4::options::inputLanguage__option_t::set
void set(const type &v)
Definition base_options.h:278
CVC4::options::languageHelp__option_t
Definition base_options.h:116
CVC4::options::languageHelp__option_t::type
bool type
Definition base_options.h:116
CVC4::options::languageHelp__option_t::set
void set(const type &v)
Definition base_options.h:292
CVC4::options::languageHelp__option_t::operator()
type operator()() const
Definition base_options.h:288
CVC4::options::languageHelp__option_t::wasSetByUser
bool wasSetByUser() const
Definition base_options.h:290
CVC4::options::out__option_t
Definition base_options.h:108
CVC4::options::out__option_t::type
std::ostream * type
Definition base_options.h:108
CVC4::options::out__option_t::set
void set(const type &v)
Definition base_options.h:264
CVC4::options::out__option_t::operator()
type operator()() const
Definition base_options.h:260
CVC4::options::out__option_t::wasSetByUser
bool wasSetByUser() const
Definition base_options.h:262
CVC4::options::outputLanguage__option_t
Definition base_options.h:114
CVC4::options::outputLanguage__option_t::wasSetByUser
bool wasSetByUser() const
Definition base_options.h:283
CVC4::options::outputLanguage__option_t::type
OutputLanguage type
Definition base_options.h:114
CVC4::options::outputLanguage__option_t::operator()
type operator()() const
Definition base_options.h:281
CVC4::options::outputLanguage__option_t::set
void set(const type &v)
Definition base_options.h:285
CVC4::options::parseOnly__option_t
Definition base_options.h:126
CVC4::options::parseOnly__option_t::wasSetByUser
bool wasSetByUser() const
Definition base_options.h:319
CVC4::options::parseOnly__option_t::set
void set(const type &v)
Definition base_options.h:321
CVC4::options::parseOnly__option_t::operator()
type operator()() const
Definition base_options.h:317
CVC4::options::parseOnly__option_t::type
bool type
Definition base_options.h:126
CVC4::options::preprocessOnly__option_t
Definition base_options.h:128
CVC4::options::preprocessOnly__option_t::type
bool type
Definition base_options.h:128
CVC4::options::preprocessOnly__option_t::operator()
type operator()() const
Definition base_options.h:324
CVC4::options::preprocessOnly__option_t::wasSetByUser
bool wasSetByUser() const
Definition base_options.h:326
CVC4::options::printSuccess__option_t
Definition base_options.h:130
CVC4::options::printSuccess__option_t::type
bool type
Definition base_options.h:130
CVC4::options::printSuccess__option_t::operator()
type operator()() const
Definition base_options.h:329
CVC4::options::printSuccess__option_t::wasSetByUser
bool wasSetByUser() const
Definition base_options.h:331
CVC4::options::statistics__option_t
Definition base_options.h:120
CVC4::options::statistics__option_t::wasSetByUser
bool wasSetByUser() const
Definition base_options.h:304
CVC4::options::statistics__option_t::operator()
type operator()() const
Definition base_options.h:302
CVC4::options::statistics__option_t::type
bool type
Definition base_options.h:120
CVC4::options::statsEveryQuery__option_t
Definition base_options.h:122
CVC4::options::statsEveryQuery__option_t::wasSetByUser
bool wasSetByUser() const
Definition base_options.h:309
CVC4::options::statsEveryQuery__option_t::type
bool type
Definition base_options.h:122
CVC4::options::statsEveryQuery__option_t::operator()
type operator()() const
Definition base_options.h:307
CVC4::options::statsHideZeros__option_t
Definition base_options.h:124
CVC4::options::statsHideZeros__option_t::operator()
type operator()() const
Definition base_options.h:312
CVC4::options::statsHideZeros__option_t::type
bool type
Definition base_options.h:124
CVC4::options::statsHideZeros__option_t::wasSetByUser
bool wasSetByUser() const
Definition base_options.h:314
CVC4::options::verbosity__option_t
Definition base_options.h:118
CVC4::options::verbosity__option_t::operator()
type operator()() const
Definition base_options.h:295
CVC4::options::verbosity__option_t::set
void set(const type &v)
Definition base_options.h:299
CVC4::options::verbosity__option_t::wasSetByUser
bool wasSetByUser() const
Definition base_options.h:297
CVC4::options::verbosity__option_t::type
int type
Definition base_options.h:118