namespacesdoc.hh File Reference

Go to the source code of this file.

Namespaces
	awali
	Main namespace of Awali.
	awali::deprecated
	Namespace that contains deprecated functions accessible for compatibility with earlier versions.
	awali::dyn
	Namespace for the dynamical layer of Awali.
	awali::dyn::context
	Namespace containing functions to build arbitrary automata context (advanced and mostly undocumented).
	awali::dyn::factory
	Namespace containing what we call factories, that is, functions that generates a member in a family of automata, rational expression or transducer.
	awali::dyn::internal
	Implementation details of dyn layer (not stable).
	awali::dyn::lift
	Namespace containing the functions allowing to execute the state elimination algorithm (aut_to_exp) step-by-step; probably will be moved elsewhere in the future.
	awali::dyn::loading
	Namespace containtaing facilities for on-the-fly compilation.
	awali::internal
	Namespace containing implementation details of elements common to sttc and dyn layers (not stable).
	awali::priority
	Namespace that contains helper class and function to allow one algorithm to be choosen at compile time depending on context, among a sorted list of possibly available functions.
	awali::py
	Namespace containing the C++ that simplify type for easier to Python.
	awali::sttc
	Namespace for the static layer of Awali.
	awali::sttc::ctx
	Namespace containing all available contexts (weigh sets, label sets, etc.).
	awali::sttc::internal
	Implementation details of static layer (not stable).
	awali::sttc::rat
	Namespace about static rational expressions.