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::NET =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)