declaration.incl.hh File Reference

Go to the source code of this file.

Namespaces
	awali
	Main namespace of Awali.
	awali::dyn
	Namespace for the dynamical layer of Awali.

Macros
#define	DECLARE_OPTION(name, type, default_value)    extern internal::option_t<type> name

Variables
internal::option_t< bool >	awali::dyn::AUTOPROMOTE
	Option used to specify whether to automatically promote an automaton (or automata) if its context does not allow to perform an operation, but a more general context allows it. More...
internal::option_t< direction_t >	awali::dyn::DIRECTION
	Option used when there are "forward" or "backward" strategies. More...
internal::option_t< exp_to_aut_algo_t >	awali::dyn::EXP_TO_AUT_ALGO
	Option used when a rational expression is computed from an automaton. More...
internal::option_t< bool >	awali::dyn::IN_PLACE
	Option used when an algorithm may be done in place. More...
internal::option_t< io_format_t >	awali::dyn::IO_FORMAT
	Option used to specify an input or output format. More...
internal::option_t< bool >	awali::dyn::KEEP_HISTORY
	Option used to specify whether to keep the history of states. More...
internal::option_t< layout_t >	awali::dyn::LAYOUT
	Option used when displaying an automaton with dot. More...
internal::option_t< minim_algo_t >	awali::dyn::MINIM_ALGO
	Option used to specify the algorithm to use for computing minimization. More...
internal::option_t< bool >	awali::dyn::PREPOST_PARADIGM
	Option used to specify whether to consider initial/final status of states as normal transitions. More...
internal::option_t< bool >	awali::dyn::PRUNE
	Option used when in the process of the algorithm, some elements (e.g. More...
internal::option_t< quotient_algo_t >	awali::dyn::QUOTIENT_ALGO
	Option used to specify the algorithm to use for computing quotients. More...
internal::option_t< bool >	awali::dyn::SAFE
	Option used when performing some test is costly or impossible. More...
internal::option_t< state_elim_order_t >	awali::dyn::STATE_ELIM_ORDER
	Option used to specify the order in which states should be eliminated (typically in functions such as awali::dyn::exp_to_aut). More...

Macro Definition Documentation

DECLARE_OPTION

#define DECLARE_OPTION	(		name,
			type,
			default_value
	)		extern internal::option_t<type> name