Awali
Another Weighted Automata library
|
Go to the source code of this file.
Data Structures | |
struct | awali::sttc::internal::random_selector< RandomGenerator > |
Namespaces | |
awali | |
Main namespace of Awali. | |
awali::sttc | |
Namespace for the static layer of Awali. | |
awali::sttc::internal | |
Implementation details of static layer (not stable). | |
Functions | |
template<typename RandomGenerator = std::default_random_engine> | |
struct random_selector< RandomGenerator > | awali::sttc::internal::make_random_selector (const RandomGenerator &g) ATTRIBUTE_PURE |