Awali
Another Weighted Automata library
Data Structures | Namespaces
options.hh File Reference
#include <unordered_map>
#include <typeinfo>
#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/option.hh>

Go to the source code of this file.

Data Structures

class  awali::dyn::options_t
 An options_t is a set of optional parameters that is passed on to called functions. More...
 

Namespaces

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