Awali
Another Weighted Automata library
Namespaces | Functions
random.hh File Reference
#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())