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())