Awali
Another Weighted Automata library
Namespaces | Enumerations | Functions
enums.hh File Reference

Go to the source code of this file.

Namespaces

 awali
 Main namespace of Awali.
 

Enumerations

enum  awali::direction_t { awali::FORWARD , awali::BACKWARD }
 Used in some algorithms in which one may considers transitions forward or backwards. More...
 
enum  awali::exp_to_aut_algo_t {
  awali::GLUSHKOV , awali::STANDARD =GLUSHKOV , awali::DERIVED_TERM , awali::BREAKING_DERIVED_TERM ,
  awali::BREAKING = BREAKING_DERIVED_TERM , awali::THOMPSON , awali::COMPACT_THOMPSON , awali::WEIGHTED_THOMPSON ,
  awali::STANDARD_AND_QUOTIENT
}
 The different algorithms for transforming an expression into an automaton. More...
 
enum class  awali::history_kind_t {
  awali::SINGLE , awali::TUPLE , awali::RATEXP , awali::STRING ,
  awali::NO_HISTORY , awali::PARTITION
}
 The different kinds of history. More...
 
enum  awali::io_format_t {
  awali::FSM_JSON_V1 = 0x101 , awali::JSON = FSM_JSON_V1 , awali::TEXT = 1 , awali::FADO ,
  awali::GRAIL , awali::DOT , awali::PDF , awali::SVG ,
  awali::FSM_JSON_V0
}
 The different format for input/output of automata and expressions. More...
 
enum  awali::layout_t { awali::VERTICAL , awali::HORIZONTAL , awali::CIRCULAR }
 The different layout that we may pass to program dot to compute geometry of automata. More...
 
enum  awali::minim_algo_t { awali::DETERMINIZE_QUOTIENT , awali::BRZOZOWSKI }
 The different algorithms for computing the minimal automaton. More...
 
enum  awali::quotient_algo_t { awali::MOORE , awali::HOPCROFT }
 The different algorithms for computing the minimal quotient. More...
 
enum  awali::star_status_t { awali::STARRABLE , awali::NON_STARRABLE , awali::TOPS , awali::ABSVAL }
 The different behaviours a weightset may have with respect to the star. More...
 
enum  awali::state_elim_order_t { awali::MIN_INOUT_DEGREE , awali::MIN_ID , awali::ID_ORDER =MIN_ID }
 The different strategies for choosing which state to eliminate first when transforming an automaton into an expression. More...
 

Functions

bool awali::is_json_like (io_format_t format)
 
bool awali::is_true_json (io_format_t format)