text: /*********************                                                        */
  /** options.cpp
   **
   ** 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.cpp ../theory/sets/options.cpp
   **
   ** 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.cpp
   ** \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 "options/options_holder.h"
  
  namespace CVC4 {
  
  
  #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/sets/options"
  template <> const options::setsPropagate__option_t::type& Options::operator[](options::setsPropagate__option_t) const { return d_holder->setsPropagate; }
  #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/sets/options"
  template <> bool Options::wasSetByUser(options::setsPropagate__option_t) const { return d_holder->setsPropagate__setByUser__; }
  #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/sets/options"
  template <> const options::setsEagerLemmas__option_t::type& Options::operator[](options::setsEagerLemmas__option_t) const { return d_holder->setsEagerLemmas; }
  #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/sets/options"
  template <> bool Options::wasSetByUser(options::setsEagerLemmas__option_t) const { return d_holder->setsEagerLemmas__setByUser__; }
  
  #line 24 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.cpp"
  
  namespace options {
  
  
  #line 8 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/sets/options"
  struct setsPropagate__option_t setsPropagate;
  #line 11 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/../theory/sets/options"
  struct setsEagerLemmas__option_t setsEagerLemmas;
  
  #line 30 "/home/mdeters/cvc4/builds/x86_64-unknown-linux-gnu/production/../../../src/options/base_options_template.cpp"
  
  }/* CVC4::options namespace */
  
  }/* CVC4 namespace */
  