Awali
Another Weighted Automata library
Data Structures | Namespaces
ratexp.hh File Reference
#include <memory>
#include <awali/dyn/core/abstract_ratexp.hh>
#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::ratexp_t
 Main class for representing rational expresson at the dynamical layer. More...
 
struct  awali::dyn::ratexp_t::with_int_labels
 
struct  awali::dyn::ratexp_t::with_tuple_labels
 

Namespaces

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