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