![]()  | 
  
    Awali
    
   Another Weighted Automata library 
   | 
 
#include <list>#include <memory>#include <string>#include <vector>#include <awali/dyn/core/abstract_context.hh>#include <awali/dyn/core/context_description.hh>Go to the source code of this file.
Data Structures | |
| class | awali::dyn::context_t | 
| Dynamical wrapper for a context, that is a weightset and a labelset.  More... | |
Namespaces | |
| awali | |
| Main namespace of Awali.  | |
| awali::dyn | |
| Namespace for the dynamical layer of Awali.  | |