Awali
Another Weighted Automata library
|
#include <awali/sttc/ctx/traits.hh>
#include <awali/sttc/core/mutable_automaton.hh>
#include <awali/sttc/labelset/nullableset.hh>
#include <awali/sttc/labelset/oneset.hh>
#include <awali/sttc/labelset/tupleset.hh>
#include <awali/sttc/misc/raise.hh>
#include <awali/sttc/misc/random.hh>
#include <awali/sttc/misc/set.hh>
Go to the source code of this file.
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 Ctx > | |
mutable_automaton< Ctx > | awali::sttc::internal::random (const Ctx &ctx, unsigned num_states, float density=0.1, unsigned num_initial=1, unsigned num_final=1) |
template<typename Ctx > | |
mutable_automaton< Ctx > | awali::sttc::internal::random_deterministic (const Ctx &ctx, unsigned num_states) |
template<typename LabelSet , typename RandomGenerator = std::default_random_engine> | |
LabelSet::value_t | awali::sttc::internal::random_label (const LabelSet &ls, RandomGenerator &gen=RandomGenerator()) |
template<typename LabelSet , typename RandomGenerator = std::default_random_engine> | |
nullableset< LabelSet >::value_t | awali::sttc::internal::random_label (const nullableset< LabelSet > &ls, RandomGenerator &gen=RandomGenerator()) |
template<typename RandomGenerator = std::default_random_engine> | |
oneset::value_t | awali::sttc::internal::random_label (const oneset &ls, RandomGenerator &=RandomGenerator()) |
template<typename Context , typename RandomGenerator = std::default_random_engine> | |
ratexpset< Context >::value_t | awali::sttc::internal::random_label (const ratexpset< Context > &rs, RandomGenerator &gen=RandomGenerator()) |
template<typename... LabelSet, size_t... I, typename RandomGenerator = std::default_random_engine> | |
tupleset< LabelSet... >::value_t | awali::sttc::internal::random_label (const tupleset< LabelSet... > &ls, RandomGenerator &gen, awali::internal::index_sequence< I... >) |
template<typename... LabelSet, typename RandomGenerator = std::default_random_engine> | |
tupleset< LabelSet... >::value_t | awali::sttc::internal::random_label (const tupleset< LabelSet... > &ls, RandomGenerator &gen=RandomGenerator()) |