enums.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/>.
 
#ifndef AWALI_COMMON_ENUMS_HH
#define AWALI_COMMON_ENUMS_HH
 
namespace awali {
 
  /* ========================================================================
      For developpers: whenever an enum is added here, do not forget to 
      register it in enum_utils.hh and its values in enum_utils.cc
     ======================================================================== */
 
  enum direction_t {
    FORWARD,
    BACKWARD
  };
 
 
  enum layout_t {
    VERTICAL,
    HORIZONTAL,
    CIRCULAR
  };
 
 
  enum minim_algo_t {
    DETERMINIZE_QUOTIENT,
    BRZOZOWSKI
  };
 
 
  enum quotient_algo_t {
    MOORE,
    HOPCROFT
  };
 
  enum exp_to_aut_algo_t {
    GLUSHKOV,
    STANDARD=GLUSHKOV,
    DERIVED_TERM,
    BREAKING_DERIVED_TERM,
    BREAKING = BREAKING_DERIVED_TERM,
    THOMPSON,
    COMPACT_THOMPSON,
    WEIGHTED_THOMPSON,
    NET=WEIGHTED_THOMPSON,
    STANDARD_AND_QUOTIENT
  };
 
 
  enum state_elim_order_t {
    MIN_INOUT_DEGREE,
    MIN_ID,
  ID_ORDER=MIN_ID
  };
 
 
  enum io_format_t {
    FSM_JSON_V1 = 0x101,
 
    JSON = FSM_JSON_V1,
 
    TEXT = 1,
 
    FADO,
    
    GRAIL,
 
    DOT,    
    
    PDF,
        
    SVG,
 
    FSM_JSON_V0
  };
 
  inline bool is_true_json(io_format_t format) {return (0x100 & format);}
  inline bool is_json_like(io_format_t format) 
  {return ((format == FSM_JSON_V0) || is_true_json(format)); }
 
 
 
  enum star_status_t {
    STARRABLE,
    NON_STARRABLE,
    TOPS,
    ABSVAL
  };
 
 
  enum class history_kind_t {
 
    SINGLE,
 
    TUPLE,
 
    RATEXP,
 
    STRING,
 
    NO_HISTORY,
 
    PARTITION
  };
 
 //end of group Options
 
}// end of namespace awali
#endif