14 unsigned num_states,
float density,
15 unsigned num_initial,
unsigned num_final)
17 return detail::random_registry().call(ctx, num_states, density,
18 num_initial, num_final);
27 return detail::random_deterministic_registry().call(ctx, num_states);
automaton random_automaton_deterministic(const context &ctx, unsigned num_states)
Produce a random deterministic automaton.
std::shared_ptr< detail::automaton_base > automaton
mutable_automaton< Ctx > random(const Ctx &ctx, unsigned num_states, float density=0.1, unsigned num_initial=1, unsigned num_final=1)
automaton random_automaton(const context &ctx, unsigned num_states, float density=0.1, unsigned num_initial=1, unsigned num_final=1)
Produce a random automaton.
mutable_automaton< Ctx > random_deterministic(const Ctx &ctx, unsigned num_states)
std::shared_ptr< const detail::context_base > context