Awali
Another Weighted Automata library
Namespaces
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.