Awali
Another Weighted Automata library
Namespaces | Functions
random.hh File Reference
#include <cmath>
#include <random>
#include <ctime>
#include <queue>
#include <awali/dyn/modules/automaton.hh>
#include <awali/dyn/modules/context.hh>

Go to the source code of this file.

Namespaces

 awali
 Main namespace of Awali.
 
 awali::dyn
 Namespace for the dynamical layer of Awali.
 
 awali::dyn::factory
 Namespace containing what we call factories, that is, functions that generates a member in a family of automata, rational expression or transducer.
 

Functions

automaton_t awali::dyn::factory::randomDFA (unsigned size, std::string alph)
 <> Generates a random deterministic automaton over alphabet alph with size states. More...