Awali
Another Weighted Automata library
Data Structures | Namespaces
context.hh File Reference
#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.