/*********************                                                        */
/** options.h
 **
 ** Copyright 2011-2014  New York University and The University of Iowa,
 ** and as below.
 **
 ** This file automatically generated by:
 **
 **     /home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/mkoptions /home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h ../theory/quantifiers/options.h
 **
 ** for the CVC4 project.
 **/

/* 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.                     */

/*********************                                                        */
/*! \file base_options_template.h
 ** \verbatim
 ** Original author: Morgan Deters
 ** Major contributors: none
 ** Minor contributors (to current version): none
 ** This file is part of the CVC4 project.
 ** Copyright (c) 2009-2014  New York University and The University of Iowa
 ** See the file COPYING in the top-level source directory for licensing
 ** information.\endverbatim
 **
 ** \brief Contains code for handling command-line options.
 **
 ** Contains code for handling command-line options
 **/

#include <cvc4/cvc4_public.h>

#ifndef __CVC4__OPTIONS__QUANTIFIERS_H
#define __CVC4__OPTIONS__QUANTIFIERS_H

#include <cvc4/options/options.h>

#line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
#include <cvc4/theory/quantifiers/modes.h>
#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
#include <cvc4/theory/quantifiers/modes.h>
#line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
#include <cvc4/theory/quantifiers/modes.h>
#line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
#include <cvc4/theory/quantifiers/modes.h>
#line 125 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
#include <cvc4/theory/quantifiers/modes.h>
#line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
#include <cvc4/theory/quantifiers/modes.h>
#line 132 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
#include <cvc4/theory/quantifiers/modes.h>

#line 26 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"

#define CVC4_OPTIONS__QUANTIFIERS__FOR_OPTION_HOLDER \
  miniscopeQuant__option_t::type miniscopeQuant; \
  bool miniscopeQuant__setByUser__; \
  miniscopeQuantFreeVar__option_t::type miniscopeQuantFreeVar; \
  bool miniscopeQuantFreeVar__setByUser__; \
  prenexQuant__option_t::type prenexQuant; \
  bool prenexQuant__setByUser__; \
  varElimQuant__option_t::type varElimQuant; \
  bool varElimQuant__setByUser__; \
  simpleIteLiftQuant__option_t::type simpleIteLiftQuant; \
  bool simpleIteLiftQuant__setByUser__; \
  cnfQuant__option_t::type cnfQuant; \
  bool cnfQuant__setByUser__; \
  nnfQuant__option_t::type nnfQuant; \
  bool nnfQuant__setByUser__; \
  clauseSplit__option_t::type clauseSplit; \
  bool clauseSplit__setByUser__; \
  preSkolemQuant__option_t::type preSkolemQuant; \
  bool preSkolemQuant__setByUser__; \
  aggressiveMiniscopeQuant__option_t::type aggressiveMiniscopeQuant; \
  bool aggressiveMiniscopeQuant__setByUser__; \
  macrosQuant__option_t::type macrosQuant; \
  bool macrosQuant__setByUser__; \
  foPropQuant__option_t::type foPropQuant; \
  bool foPropQuant__setByUser__; \
  smartTriggers__option_t::type smartTriggers; \
  bool smartTriggers__setByUser__; \
  relevantTriggers__option_t::type relevantTriggers; \
  bool relevantTriggers__setByUser__; \
  relationalTriggers__option_t::type relationalTriggers; \
  bool relationalTriggers__setByUser__; \
  registerQuantBodyTerms__option_t::type registerQuantBodyTerms; \
  bool registerQuantBodyTerms__setByUser__; \
  instWhenMode__option_t::type instWhenMode; \
  bool instWhenMode__setByUser__; \
  instMaxLevel__option_t::type instMaxLevel; \
  bool instMaxLevel__setByUser__; \
  eagerInstQuant__option_t::type eagerInstQuant; \
  bool eagerInstQuant__setByUser__; \
  fullSaturateQuant__option_t::type fullSaturateQuant; \
  bool fullSaturateQuant__setByUser__; \
  literalMatchMode__option_t::type literalMatchMode; \
  bool literalMatchMode__setByUser__; \
  cbqi__option_t::type cbqi; \
  bool cbqi__setByUser__; \
  recurseCbqi__option_t::type recurseCbqi; \
  bool recurseCbqi__setByUser__; \
  userPatternsQuant__option_t::type userPatternsQuant; \
  bool userPatternsQuant__setByUser__; \
  flipDecision__option_t::type flipDecision; \
  bool flipDecision__setByUser__; \
  internalReps__option_t::type internalReps; \
  bool internalReps__setByUser__; \
  finiteModelFind__option_t::type finiteModelFind; \
  bool finiteModelFind__setByUser__; \
  mbqiMode__option_t::type mbqiMode; \
  bool mbqiMode__setByUser__; \
  fmfOneInstPerRound__option_t::type fmfOneInstPerRound; \
  bool fmfOneInstPerRound__setByUser__; \
  fmfOneQuantPerRound__option_t::type fmfOneQuantPerRound; \
  bool fmfOneQuantPerRound__setByUser__; \
  fmfInstEngine__option_t::type fmfInstEngine; \
  bool fmfInstEngine__setByUser__; \
  fmfInstGen__option_t::type fmfInstGen; \
  bool fmfInstGen__setByUser__; \
  fmfInstGenOneQuantPerRound__option_t::type fmfInstGenOneQuantPerRound; \
  bool fmfInstGenOneQuantPerRound__setByUser__; \
  fmfFreshDistConst__option_t::type fmfFreshDistConst; \
  bool fmfFreshDistConst__setByUser__; \
  fmfFmcSimple__option_t::type fmfFmcSimple; \
  bool fmfFmcSimple__setByUser__; \
  fmfBoundInt__option_t::type fmfBoundInt; \
  bool fmfBoundInt__setByUser__; \
  fmfBoundIntLazy__option_t::type fmfBoundIntLazy; \
  bool fmfBoundIntLazy__setByUser__; \
  axiomInstMode__option_t::type axiomInstMode; \
  bool axiomInstMode__setByUser__; \
  quantConflictFind__option_t::type quantConflictFind; \
  bool quantConflictFind__setByUser__; \
  qcfMode__option_t::type qcfMode; \
  bool qcfMode__setByUser__; \
  qcfWhenMode__option_t::type qcfWhenMode; \
  bool qcfWhenMode__setByUser__; \
  qcfTConstraint__option_t::type qcfTConstraint; \
  bool qcfTConstraint__setByUser__; \
  quantRewriteRules__option_t::type quantRewriteRules; \
  bool quantRewriteRules__setByUser__; \
  rrOneInstPerRound__option_t::type rrOneInstPerRound; \
  bool rrOneInstPerRound__setByUser__; \
  dtStcInduction__option_t::type dtStcInduction; \
  bool dtStcInduction__setByUser__;

#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"

namespace CVC4 {

namespace options {


#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC miniscopeQuant__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } miniscopeQuant CVC4_PUBLIC;
#line 17 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC miniscopeQuantFreeVar__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } miniscopeQuantFreeVar CVC4_PUBLIC;
#line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC prenexQuant__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } prenexQuant CVC4_PUBLIC;
#line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC varElimQuant__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } varElimQuant CVC4_PUBLIC;
#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC simpleIteLiftQuant__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } simpleIteLiftQuant CVC4_PUBLIC;
#line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC cnfQuant__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } cnfQuant CVC4_PUBLIC;
#line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC nnfQuant__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } nnfQuant CVC4_PUBLIC;
#line 40 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC clauseSplit__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } clauseSplit CVC4_PUBLIC;
#line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC preSkolemQuant__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } preSkolemQuant CVC4_PUBLIC;
#line 49 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC aggressiveMiniscopeQuant__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } aggressiveMiniscopeQuant CVC4_PUBLIC;
#line 52 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC macrosQuant__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } macrosQuant CVC4_PUBLIC;
#line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC foPropQuant__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } foPropQuant CVC4_PUBLIC;
#line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC smartTriggers__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } smartTriggers CVC4_PUBLIC;
#line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC relevantTriggers__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } relevantTriggers CVC4_PUBLIC;
#line 64 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC relationalTriggers__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } relationalTriggers CVC4_PUBLIC;
#line 68 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC registerQuantBodyTerms__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } registerQuantBodyTerms CVC4_PUBLIC;
#line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC instWhenMode__option_t { typedef CVC4::theory::quantifiers::InstWhenMode type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } instWhenMode CVC4_PUBLIC;
#line 73 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC instMaxLevel__option_t { typedef int type; type operator()() const; bool wasSetByUser() const; } instMaxLevel CVC4_PUBLIC;
#line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC eagerInstQuant__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } eagerInstQuant CVC4_PUBLIC;
#line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC fullSaturateQuant__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } fullSaturateQuant CVC4_PUBLIC;
#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC literalMatchMode__option_t { typedef CVC4::theory::quantifiers::LiteralMatchMode type; type operator()() const; bool wasSetByUser() const; } literalMatchMode CVC4_PUBLIC;
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC cbqi__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } cbqi CVC4_PUBLIC;
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC recurseCbqi__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } recurseCbqi CVC4_PUBLIC;
#line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC userPatternsQuant__option_t { typedef CVC4::theory::quantifiers::UserPatMode type; type operator()() const; bool wasSetByUser() const; } userPatternsQuant CVC4_PUBLIC;
#line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC flipDecision__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } flipDecision CVC4_PUBLIC;
#line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC internalReps__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } internalReps CVC4_PUBLIC;
#line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC finiteModelFind__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } finiteModelFind CVC4_PUBLIC;
#line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC mbqiMode__option_t { typedef CVC4::theory::quantifiers::MbqiMode type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } mbqiMode CVC4_PUBLIC;
#line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC fmfOneInstPerRound__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } fmfOneInstPerRound CVC4_PUBLIC;
#line 107 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC fmfOneQuantPerRound__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } fmfOneQuantPerRound CVC4_PUBLIC;
#line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC fmfInstEngine__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } fmfInstEngine CVC4_PUBLIC;
#line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC fmfInstGen__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } fmfInstGen CVC4_PUBLIC;
#line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC fmfInstGenOneQuantPerRound__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } fmfInstGenOneQuantPerRound CVC4_PUBLIC;
#line 116 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC fmfFreshDistConst__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } fmfFreshDistConst CVC4_PUBLIC;
#line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC fmfFmcSimple__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } fmfFmcSimple CVC4_PUBLIC;
#line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC fmfBoundInt__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } fmfBoundInt CVC4_PUBLIC;
#line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC fmfBoundIntLazy__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } fmfBoundIntLazy CVC4_PUBLIC;
#line 125 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC axiomInstMode__option_t { typedef CVC4::theory::quantifiers::AxiomInstMode type; type operator()() const; bool wasSetByUser() const; } axiomInstMode CVC4_PUBLIC;
#line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC quantConflictFind__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } quantConflictFind CVC4_PUBLIC;
#line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC qcfMode__option_t { typedef CVC4::theory::quantifiers::QcfMode type; type operator()() const; bool wasSetByUser() const; } qcfMode CVC4_PUBLIC;
#line 132 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC qcfWhenMode__option_t { typedef CVC4::theory::quantifiers::QcfWhenMode type; type operator()() const; bool wasSetByUser() const; } qcfWhenMode CVC4_PUBLIC;
#line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC qcfTConstraint__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; void set(const type& v); } qcfTConstraint CVC4_PUBLIC;
#line 137 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC quantRewriteRules__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } quantRewriteRules CVC4_PUBLIC;
#line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC rrOneInstPerRound__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } rrOneInstPerRound CVC4_PUBLIC;
#line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
extern struct CVC4_PUBLIC dtStcInduction__option_t { typedef bool type; type operator()() const; bool wasSetByUser() const; } dtStcInduction CVC4_PUBLIC;

#line 38 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.h"

}/* CVC4::options namespace */


#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::miniscopeQuant__option_t::type& Options::operator[](options::miniscopeQuant__option_t) const;
#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::miniscopeQuant__option_t) const;
#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::miniscopeQuant__option_t, std::string option, bool value, SmtEngine* smt);
#line 17 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::miniscopeQuantFreeVar__option_t::type& Options::operator[](options::miniscopeQuantFreeVar__option_t) const;
#line 17 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::miniscopeQuantFreeVar__option_t) const;
#line 17 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::miniscopeQuantFreeVar__option_t, std::string option, bool value, SmtEngine* smt);
#line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::prenexQuant__option_t::type& Options::operator[](options::prenexQuant__option_t) const;
#line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::prenexQuant__option_t) const;
#line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::prenexQuant__option_t, std::string option, bool value, SmtEngine* smt);
#line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::varElimQuant__option_t::type& Options::operator[](options::varElimQuant__option_t) const;
#line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::varElimQuant__option_t) const;
#line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::varElimQuant__option_t, std::string option, bool value, SmtEngine* smt);
#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::simpleIteLiftQuant__option_t::type& Options::operator[](options::simpleIteLiftQuant__option_t) const;
#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::simpleIteLiftQuant__option_t) const;
#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::simpleIteLiftQuant__option_t, std::string option, bool value, SmtEngine* smt);
#line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::cnfQuant__option_t::type& Options::operator[](options::cnfQuant__option_t) const;
#line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::cnfQuant__option_t) const;
#line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::cnfQuant__option_t, std::string option, bool value, SmtEngine* smt);
#line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::nnfQuant__option_t::type& Options::operator[](options::nnfQuant__option_t) const;
#line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::nnfQuant__option_t) const;
#line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::nnfQuant__option_t, std::string option, bool value, SmtEngine* smt);
#line 40 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::clauseSplit__option_t::type& Options::operator[](options::clauseSplit__option_t) const;
#line 40 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::clauseSplit__option_t) const;
#line 40 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::clauseSplit__option_t, std::string option, bool value, SmtEngine* smt);
#line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::set(options::preSkolemQuant__option_t, const options::preSkolemQuant__option_t::type& x);
#line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::preSkolemQuant__option_t::type& Options::operator[](options::preSkolemQuant__option_t) const;
#line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::preSkolemQuant__option_t) const;
#line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::preSkolemQuant__option_t, std::string option, bool value, SmtEngine* smt);
#line 49 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::aggressiveMiniscopeQuant__option_t::type& Options::operator[](options::aggressiveMiniscopeQuant__option_t) const;
#line 49 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::aggressiveMiniscopeQuant__option_t) const;
#line 49 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::aggressiveMiniscopeQuant__option_t, std::string option, bool value, SmtEngine* smt);
#line 52 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::macrosQuant__option_t::type& Options::operator[](options::macrosQuant__option_t) const;
#line 52 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::macrosQuant__option_t) const;
#line 52 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::macrosQuant__option_t, std::string option, bool value, SmtEngine* smt);
#line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::foPropQuant__option_t::type& Options::operator[](options::foPropQuant__option_t) const;
#line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::foPropQuant__option_t) const;
#line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::foPropQuant__option_t, std::string option, bool value, SmtEngine* smt);
#line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::smartTriggers__option_t::type& Options::operator[](options::smartTriggers__option_t) const;
#line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::smartTriggers__option_t) const;
#line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::smartTriggers__option_t, std::string option, bool value, SmtEngine* smt);
#line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::relevantTriggers__option_t::type& Options::operator[](options::relevantTriggers__option_t) const;
#line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::relevantTriggers__option_t) const;
#line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::relevantTriggers__option_t, std::string option, bool value, SmtEngine* smt);
#line 64 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::relationalTriggers__option_t::type& Options::operator[](options::relationalTriggers__option_t) const;
#line 64 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::relationalTriggers__option_t) const;
#line 64 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::relationalTriggers__option_t, std::string option, bool value, SmtEngine* smt);
#line 68 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::registerQuantBodyTerms__option_t::type& Options::operator[](options::registerQuantBodyTerms__option_t) const;
#line 68 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::registerQuantBodyTerms__option_t) const;
#line 68 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::registerQuantBodyTerms__option_t, std::string option, bool value, SmtEngine* smt);
#line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::set(options::instWhenMode__option_t, const options::instWhenMode__option_t::type& x);
#line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::instWhenMode__option_t::type& Options::operator[](options::instWhenMode__option_t) const;
#line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::instWhenMode__option_t) const;
#line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assign(options::instWhenMode__option_t, std::string option, std::string value, SmtEngine* smt);
#line 73 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::instMaxLevel__option_t::type& Options::operator[](options::instMaxLevel__option_t) const;
#line 73 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::instMaxLevel__option_t) const;
#line 73 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assign(options::instMaxLevel__option_t, std::string option, std::string value, SmtEngine* smt);
#line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::eagerInstQuant__option_t::type& Options::operator[](options::eagerInstQuant__option_t) const;
#line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::eagerInstQuant__option_t) const;
#line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::eagerInstQuant__option_t, std::string option, bool value, SmtEngine* smt);
#line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::fullSaturateQuant__option_t::type& Options::operator[](options::fullSaturateQuant__option_t) const;
#line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::fullSaturateQuant__option_t) const;
#line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::fullSaturateQuant__option_t, std::string option, bool value, SmtEngine* smt);
#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::literalMatchMode__option_t::type& Options::operator[](options::literalMatchMode__option_t) const;
#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::literalMatchMode__option_t) const;
#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assign(options::literalMatchMode__option_t, std::string option, std::string value, SmtEngine* smt);
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::set(options::cbqi__option_t, const options::cbqi__option_t::type& x);
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::cbqi__option_t::type& Options::operator[](options::cbqi__option_t) const;
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::cbqi__option_t) const;
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::cbqi__option_t, std::string option, bool value, SmtEngine* smt);
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::recurseCbqi__option_t::type& Options::operator[](options::recurseCbqi__option_t) const;
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::recurseCbqi__option_t) const;
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::recurseCbqi__option_t, std::string option, bool value, SmtEngine* smt);
#line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::userPatternsQuant__option_t::type& Options::operator[](options::userPatternsQuant__option_t) const;
#line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::userPatternsQuant__option_t) const;
#line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assign(options::userPatternsQuant__option_t, std::string option, std::string value, SmtEngine* smt);
#line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::flipDecision__option_t::type& Options::operator[](options::flipDecision__option_t) const;
#line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::flipDecision__option_t) const;
#line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::flipDecision__option_t, std::string option, bool value, SmtEngine* smt);
#line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::internalReps__option_t::type& Options::operator[](options::internalReps__option_t) const;
#line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::internalReps__option_t) const;
#line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::internalReps__option_t, std::string option, bool value, SmtEngine* smt);
#line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::set(options::finiteModelFind__option_t, const options::finiteModelFind__option_t::type& x);
#line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::finiteModelFind__option_t::type& Options::operator[](options::finiteModelFind__option_t) const;
#line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::finiteModelFind__option_t) const;
#line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::finiteModelFind__option_t, std::string option, bool value, SmtEngine* smt);
#line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::set(options::mbqiMode__option_t, const options::mbqiMode__option_t::type& x);
#line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::mbqiMode__option_t::type& Options::operator[](options::mbqiMode__option_t) const;
#line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::mbqiMode__option_t) const;
#line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assign(options::mbqiMode__option_t, std::string option, std::string value, SmtEngine* smt);
#line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::fmfOneInstPerRound__option_t::type& Options::operator[](options::fmfOneInstPerRound__option_t) const;
#line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::fmfOneInstPerRound__option_t) const;
#line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::fmfOneInstPerRound__option_t, std::string option, bool value, SmtEngine* smt);
#line 107 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::fmfOneQuantPerRound__option_t::type& Options::operator[](options::fmfOneQuantPerRound__option_t) const;
#line 107 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::fmfOneQuantPerRound__option_t) const;
#line 107 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::fmfOneQuantPerRound__option_t, std::string option, bool value, SmtEngine* smt);
#line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::fmfInstEngine__option_t::type& Options::operator[](options::fmfInstEngine__option_t) const;
#line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::fmfInstEngine__option_t) const;
#line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::fmfInstEngine__option_t, std::string option, bool value, SmtEngine* smt);
#line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::fmfInstGen__option_t::type& Options::operator[](options::fmfInstGen__option_t) const;
#line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::fmfInstGen__option_t) const;
#line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::fmfInstGen__option_t, std::string option, bool value, SmtEngine* smt);
#line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::fmfInstGenOneQuantPerRound__option_t::type& Options::operator[](options::fmfInstGenOneQuantPerRound__option_t) const;
#line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::fmfInstGenOneQuantPerRound__option_t) const;
#line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::fmfInstGenOneQuantPerRound__option_t, std::string option, bool value, SmtEngine* smt);
#line 116 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::fmfFreshDistConst__option_t::type& Options::operator[](options::fmfFreshDistConst__option_t) const;
#line 116 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::fmfFreshDistConst__option_t) const;
#line 116 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::fmfFreshDistConst__option_t, std::string option, bool value, SmtEngine* smt);
#line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::fmfFmcSimple__option_t::type& Options::operator[](options::fmfFmcSimple__option_t) const;
#line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::fmfFmcSimple__option_t) const;
#line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::fmfFmcSimple__option_t, std::string option, bool value, SmtEngine* smt);
#line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::set(options::fmfBoundInt__option_t, const options::fmfBoundInt__option_t::type& x);
#line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::fmfBoundInt__option_t::type& Options::operator[](options::fmfBoundInt__option_t) const;
#line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::fmfBoundInt__option_t) const;
#line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::fmfBoundInt__option_t, std::string option, bool value, SmtEngine* smt);
#line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::set(options::fmfBoundIntLazy__option_t, const options::fmfBoundIntLazy__option_t::type& x);
#line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::fmfBoundIntLazy__option_t::type& Options::operator[](options::fmfBoundIntLazy__option_t) const;
#line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::fmfBoundIntLazy__option_t) const;
#line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::fmfBoundIntLazy__option_t, std::string option, bool value, SmtEngine* smt);
#line 125 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::axiomInstMode__option_t::type& Options::operator[](options::axiomInstMode__option_t) const;
#line 125 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::axiomInstMode__option_t) const;
#line 125 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assign(options::axiomInstMode__option_t, std::string option, std::string value, SmtEngine* smt);
#line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::set(options::quantConflictFind__option_t, const options::quantConflictFind__option_t::type& x);
#line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::quantConflictFind__option_t::type& Options::operator[](options::quantConflictFind__option_t) const;
#line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::quantConflictFind__option_t) const;
#line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::quantConflictFind__option_t, std::string option, bool value, SmtEngine* smt);
#line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::qcfMode__option_t::type& Options::operator[](options::qcfMode__option_t) const;
#line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::qcfMode__option_t) const;
#line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assign(options::qcfMode__option_t, std::string option, std::string value, SmtEngine* smt);
#line 132 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::qcfWhenMode__option_t::type& Options::operator[](options::qcfWhenMode__option_t) const;
#line 132 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::qcfWhenMode__option_t) const;
#line 132 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assign(options::qcfWhenMode__option_t, std::string option, std::string value, SmtEngine* smt);
#line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::set(options::qcfTConstraint__option_t, const options::qcfTConstraint__option_t::type& x);
#line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::qcfTConstraint__option_t::type& Options::operator[](options::qcfTConstraint__option_t) const;
#line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::qcfTConstraint__option_t) const;
#line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::qcfTConstraint__option_t, std::string option, bool value, SmtEngine* smt);
#line 137 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::quantRewriteRules__option_t::type& Options::operator[](options::quantRewriteRules__option_t) const;
#line 137 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::quantRewriteRules__option_t) const;
#line 137 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::quantRewriteRules__option_t, std::string option, bool value, SmtEngine* smt);
#line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::rrOneInstPerRound__option_t::type& Options::operator[](options::rrOneInstPerRound__option_t) const;
#line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::rrOneInstPerRound__option_t) const;
#line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::rrOneInstPerRound__option_t, std::string option, bool value, SmtEngine* smt);
#line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> const options::dtStcInduction__option_t::type& Options::operator[](options::dtStcInduction__option_t) const;
#line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> bool Options::wasSetByUser(options::dtStcInduction__option_t) const;
#line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
template <> void Options::assignBool(options::dtStcInduction__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 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline miniscopeQuant__option_t::type miniscopeQuant__option_t::operator()() const { return Options::current()[*this]; }
#line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool miniscopeQuant__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 17 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline miniscopeQuantFreeVar__option_t::type miniscopeQuantFreeVar__option_t::operator()() const { return Options::current()[*this]; }
#line 17 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool miniscopeQuantFreeVar__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline prenexQuant__option_t::type prenexQuant__option_t::operator()() const { return Options::current()[*this]; }
#line 21 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool prenexQuant__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline varElimQuant__option_t::type varElimQuant__option_t::operator()() const { return Options::current()[*this]; }
#line 27 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool varElimQuant__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline simpleIteLiftQuant__option_t::type simpleIteLiftQuant__option_t::operator()() const { return Options::current()[*this]; }
#line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool simpleIteLiftQuant__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline cnfQuant__option_t::type cnfQuant__option_t::operator()() const { return Options::current()[*this]; }
#line 34 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool cnfQuant__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline nnfQuant__option_t::type nnfQuant__option_t::operator()() const { return Options::current()[*this]; }
#line 37 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool nnfQuant__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 40 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline clauseSplit__option_t::type clauseSplit__option_t::operator()() const { return Options::current()[*this]; }
#line 40 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool clauseSplit__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline preSkolemQuant__option_t::type preSkolemQuant__option_t::operator()() const { return Options::current()[*this]; }
#line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool preSkolemQuant__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 46 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline void preSkolemQuant__option_t::set(const preSkolemQuant__option_t::type& v) { Options::current().set(*this, v); }

#line 49 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline aggressiveMiniscopeQuant__option_t::type aggressiveMiniscopeQuant__option_t::operator()() const { return Options::current()[*this]; }
#line 49 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool aggressiveMiniscopeQuant__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 52 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline macrosQuant__option_t::type macrosQuant__option_t::operator()() const { return Options::current()[*this]; }
#line 52 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool macrosQuant__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline foPropQuant__option_t::type foPropQuant__option_t::operator()() const { return Options::current()[*this]; }
#line 55 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool foPropQuant__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline smartTriggers__option_t::type smartTriggers__option_t::operator()() const { return Options::current()[*this]; }
#line 59 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool smartTriggers__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline relevantTriggers__option_t::type relevantTriggers__option_t::operator()() const { return Options::current()[*this]; }
#line 62 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool relevantTriggers__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 64 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline relationalTriggers__option_t::type relationalTriggers__option_t::operator()() const { return Options::current()[*this]; }
#line 64 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool relationalTriggers__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 68 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline registerQuantBodyTerms__option_t::type registerQuantBodyTerms__option_t::operator()() const { return Options::current()[*this]; }
#line 68 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool registerQuantBodyTerms__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline instWhenMode__option_t::type instWhenMode__option_t::operator()() const { return Options::current()[*this]; }
#line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool instWhenMode__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 71 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline void instWhenMode__option_t::set(const instWhenMode__option_t::type& v) { Options::current().set(*this, v); }

#line 73 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline instMaxLevel__option_t::type instMaxLevel__option_t::operator()() const { return Options::current()[*this]; }
#line 73 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool instMaxLevel__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline eagerInstQuant__option_t::type eagerInstQuant__option_t::operator()() const { return Options::current()[*this]; }
#line 76 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool eagerInstQuant__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline fullSaturateQuant__option_t::type fullSaturateQuant__option_t::operator()() const { return Options::current()[*this]; }
#line 79 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool fullSaturateQuant__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline literalMatchMode__option_t::type literalMatchMode__option_t::operator()() const { return Options::current()[*this]; }
#line 82 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool literalMatchMode__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline cbqi__option_t::type cbqi__option_t::operator()() const { return Options::current()[*this]; }
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool cbqi__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 85 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline void cbqi__option_t::set(const cbqi__option_t::type& v) { Options::current().set(*this, v); }

#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline recurseCbqi__option_t::type recurseCbqi__option_t::operator()() const { return Options::current()[*this]; }
#line 88 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool recurseCbqi__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline userPatternsQuant__option_t::type userPatternsQuant__option_t::operator()() const { return Options::current()[*this]; }
#line 91 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool userPatternsQuant__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline flipDecision__option_t::type flipDecision__option_t::operator()() const { return Options::current()[*this]; }
#line 94 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool flipDecision__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline internalReps__option_t::type internalReps__option_t::operator()() const { return Options::current()[*this]; }
#line 97 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool internalReps__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline finiteModelFind__option_t::type finiteModelFind__option_t::operator()() const { return Options::current()[*this]; }
#line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool finiteModelFind__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 100 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline void finiteModelFind__option_t::set(const finiteModelFind__option_t::type& v) { Options::current().set(*this, v); }

#line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline mbqiMode__option_t::type mbqiMode__option_t::operator()() const { return Options::current()[*this]; }
#line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool mbqiMode__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 103 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline void mbqiMode__option_t::set(const mbqiMode__option_t::type& v) { Options::current().set(*this, v); }

#line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline fmfOneInstPerRound__option_t::type fmfOneInstPerRound__option_t::operator()() const { return Options::current()[*this]; }
#line 105 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool fmfOneInstPerRound__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 107 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline fmfOneQuantPerRound__option_t::type fmfOneQuantPerRound__option_t::operator()() const { return Options::current()[*this]; }
#line 107 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool fmfOneQuantPerRound__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline fmfInstEngine__option_t::type fmfInstEngine__option_t::operator()() const { return Options::current()[*this]; }
#line 110 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool fmfInstEngine__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline fmfInstGen__option_t::type fmfInstGen__option_t::operator()() const { return Options::current()[*this]; }
#line 112 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool fmfInstGen__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline fmfInstGenOneQuantPerRound__option_t::type fmfInstGenOneQuantPerRound__option_t::operator()() const { return Options::current()[*this]; }
#line 114 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool fmfInstGenOneQuantPerRound__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 116 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline fmfFreshDistConst__option_t::type fmfFreshDistConst__option_t::operator()() const { return Options::current()[*this]; }
#line 116 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool fmfFreshDistConst__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline fmfFmcSimple__option_t::type fmfFmcSimple__option_t::operator()() const { return Options::current()[*this]; }
#line 118 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool fmfFmcSimple__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline fmfBoundInt__option_t::type fmfBoundInt__option_t::operator()() const { return Options::current()[*this]; }
#line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool fmfBoundInt__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 120 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline void fmfBoundInt__option_t::set(const fmfBoundInt__option_t::type& v) { Options::current().set(*this, v); }

#line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline fmfBoundIntLazy__option_t::type fmfBoundIntLazy__option_t::operator()() const { return Options::current()[*this]; }
#line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool fmfBoundIntLazy__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 122 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline void fmfBoundIntLazy__option_t::set(const fmfBoundIntLazy__option_t::type& v) { Options::current().set(*this, v); }

#line 125 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline axiomInstMode__option_t::type axiomInstMode__option_t::operator()() const { return Options::current()[*this]; }
#line 125 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool axiomInstMode__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline quantConflictFind__option_t::type quantConflictFind__option_t::operator()() const { return Options::current()[*this]; }
#line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool quantConflictFind__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 128 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline void quantConflictFind__option_t::set(const quantConflictFind__option_t::type& v) { Options::current().set(*this, v); }

#line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline qcfMode__option_t::type qcfMode__option_t::operator()() const { return Options::current()[*this]; }
#line 130 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool qcfMode__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 132 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline qcfWhenMode__option_t::type qcfWhenMode__option_t::operator()() const { return Options::current()[*this]; }
#line 132 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool qcfWhenMode__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline qcfTConstraint__option_t::type qcfTConstraint__option_t::operator()() const { return Options::current()[*this]; }
#line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool qcfTConstraint__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }
#line 134 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline void qcfTConstraint__option_t::set(const qcfTConstraint__option_t::type& v) { Options::current().set(*this, v); }

#line 137 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline quantRewriteRules__option_t::type quantRewriteRules__option_t::operator()() const { return Options::current()[*this]; }
#line 137 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool quantRewriteRules__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline rrOneInstPerRound__option_t::type rrOneInstPerRound__option_t::operator()() const { return Options::current()[*this]; }
#line 139 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool rrOneInstPerRound__option_t::wasSetByUser() const { return Options::current().wasSetByUser(*this); }

#line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline dtStcInduction__option_t::type dtStcInduction__option_t::operator()() const { return Options::current()[*this]; }
#line 142 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/quantifiers/options"
inline bool dtStcInduction__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__QUANTIFIERS_H */
