Awali
Another Weighted Automata library
Data Structures | Namespaces
automaton.hh File Reference
#include <awali/dyn/core/abstract_automaton.hh>

Go to the source code of this file.

Data Structures

class  awali::dyn::automaton_t
 An automaton_t is essentially a shared pointer to an abstract_automaton_t, but also contains static functions serving as constructors. More...
 
struct  awali::dyn::automaton_t::with_int_labels
 Helper class that contains convenience constructor for automata with int labels. More...
 

Namespaces

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