enum_utils.hh

Go to the documentation of this file.

// This file is part of Awali.
// Copyright 2016-2023 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/>.
 
#ifndef AWALI_COMMON_ENUMS_UTILS_HH
#define AWALI_COMMON_ENUMS_UTILS_HH
 
 
#include <awali/common/enums.hh>
 
#include <vector>
#include <string>
 
namespace awali {
 
  direction_t make_direction(std::string const& name);
 
 
  std::string name_of(direction_t val);
 
 
  layout_t make_layout(std::string const& name);
  
 
  std::string name_of(layout_t val);
 
 
  quotient_algo_t make_quotient_algo(std::string const& name);
  
 
  std::string name_of(quotient_algo_t val);
 
 
  exp_to_aut_algo_t make_exp_to_aut_algo(std::string const& name);
  
  
  std::string name_of(exp_to_aut_algo_t val);
 
 
  io_format_t make_io_format(std::string const& name);
  
 
  std::string name_of(io_format_t val);
 
 
  std::string default_extension_of(io_format_t val);
 
 
  state_elim_order_t make_state_elim_order_t(std::string const& name);
  
 
  std::string name_of(state_elim_order_t val);
 
  namespace internal {
    
    using enum_join_t=long;
 
    enum_join_t enum_of_string (const std::string& enum_name,
                        const std::string& value);
 
    std::vector<enum_join_t> enum_values (std::string const& enum_name);
 
 
    unsigned short index_of_enum(std::string enum_name);
 
#define GENERATE_MAKE_ENUM(id,enum_t) \
  template<typename T=enum_t> \
  auto make_enum(std::string const& str) \
  -> typename std::enable_if<std::is_same<T,enum_t>::value,T>::type \
  { return (enum_t) enum_of_string(#enum_t,str); } \
  \
  template<typename T=enum_t> \
  auto values_of() \
  -> typename std::enable_if<std::is_same<T,enum_t>::value, \
                             std::vector<T> const&>::type \
  { static std::vector<enum_t> values; \
    if (values.empty()) \
      for (auto v : enum_values(#enum_t)) \
        values.push_back((enum_t) v); \
    return values; } \
  \
  template<typename T=enum_t> \
  constexpr auto index_of() \
  -> typename std::enable_if<std::is_same<T,enum_t>::value, \
                             short unsigned>::type \
  {return id;}
 
  
 
    GENERATE_MAKE_ENUM(0,direction_t)
    GENERATE_MAKE_ENUM(1,layout_t)
    GENERATE_MAKE_ENUM(2,quotient_algo_t)
    GENERATE_MAKE_ENUM(3,minim_algo_t)
    GENERATE_MAKE_ENUM(4,exp_to_aut_algo_t)
    GENERATE_MAKE_ENUM(5,io_format_t)
    GENERATE_MAKE_ENUM(6,state_elim_order_t)
    GENERATE_MAKE_ENUM(7,star_status_t)
 
 
#undef GENERATE_MAKE_ENUM
 
 
 
  }//end of namespace awali::internal
} // end of namespace awali
 
#endif