declaration.incl.hh

Go to the documentation of this file.

// This file is part of Awali.
// Copyright 2016-2022 Sylvain Lombardy, Victor Marsault, Jacques Sakarovitch
//
// Awali is a free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this program. If not, see <http://www.gnu.org/licenses/>.
 
 
/* THIS FILE SHOULD NOT BE IMPORTED DIRECTLY. */
 
namespace awali {
  namespace dyn {
 
    /* Declaration of options */
#ifdef INSTANTIATE_OPTIONS
#define DECLARE_OPTION(name,type,default_value) \
  internal::option_t<type> name(#name,default_value)
#else
#define DECLARE_OPTION(name,type,default_value) \
  extern internal::option_t<type> name
#endif
 
    DECLARE_OPTION(EXP_TO_AUT_ALGO, exp_to_aut_algo_t, STANDARD_AND_QUOTIENT);
 
    DECLARE_OPTION(DIRECTION, direction_t, BACKWARD);
 
    DECLARE_OPTION(IO_FORMAT, io_format_t, JSON);
 
    DECLARE_OPTION(IN_PLACE, bool, false);
 
    DECLARE_OPTION(KEEP_HISTORY, bool, true);
 
 
    DECLARE_OPTION(LAYOUT, layout_t, HORIZONTAL);
 
    DECLARE_OPTION(MINIM_ALGO, minim_algo_t, DETERMINIZE_QUOTIENT);
 
    DECLARE_OPTION(QUOTIENT_ALGO, quotient_algo_t, MOORE);
 
// // <<<<<<< HEAD
//     /** Option used when a name may be given.
//      *
//      * Defaults to `""`.
//      */
//     DECLARE_OPTION(NAME, std::string, "");
// 
//     /** Option used when a title may be given.
//      *
//      * Defaults to `"tmp"`.
//      */
//     DECLARE_OPTION(TITLE, std::string, "tmp");
// 
// =======
// >>>>>>> merge-vmsl
    DECLARE_OPTION(PRUNE, bool, true);
 
    DECLARE_OPTION(SAFE, bool, true);
 
    DECLARE_OPTION(STATE_ELIM_ORDER, state_elim_order_t, MIN_INOUT_DEGREE);
 
 
    DECLARE_OPTION(AUTOPROMOTE, bool, false);
 
    DECLARE_OPTION(PREPOST_PARADIGM, bool, false);
 
#undef DECLARE_OPTION
 
 //end of doxygen @addtogroup
  }
}