![]() |
Awali
Another Weighted Automata library
|
#include <unordered_map>#include <typeinfo>#include <awali/dyn/core/any.hh>#include <awali/common/priority.hh>#include <awali/common/enums.hh>#include <awali/common/enum_utils.hh>#include <awali/common/demangle.hxx>#include <awali/dyn/options/value.hh>#include <awali/dyn/options/declaration.incl.hh>Go to the source code of this file.
Data Structures | |
| struct | awali::dyn::internal::acceptor_t< T > |
| struct | awali::dyn::internal::acceptor_t< bool > |
| struct | awali::dyn::internal::acceptor_t< std::string > |
| class | awali::dyn::internal::option_t< T > |
Namespaces | |
| awali | |
| Main namespace of Awali. | |
| awali::dyn | |
| Namespace for the dynamical layer of Awali. | |
| awali::dyn::internal | |
| Implementation details of dyn layer (not stable). | |
Variables | |
| size_t | awali::dyn::internal::next_id |
| Global variable that assign a unique identifier to each instance of option<T> independentely of type T. More... | |