factories.hh File Reference

#include <awali/dyn/core/automaton.hh>
#include <awali/dyn/loading/handler.hh>
#include <vector>

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::cerny (unsigned n, const std::string &alphabet, const std::string &semiring="B")
	Returns an automaton with n states. More...
automaton_t	awali::dyn::factory::cerny (unsigned n, int a, int b, const std::string &semiring="B")
	Returns an automaton with n states. More...
automaton_t	awali::dyn::factory::divkbaseb (unsigned k, unsigned b, const std::string &alphabet="auto", const std::string &semiring="B")
	Returns an automaton which recognizes numbers in base b which are multiple of k. More...
automaton_t	awali::dyn::factory::double_ring (unsigned n, const std::vector< unsigned > &finals, const std::string &alphabet, const std::string &semiring="B")
	Returns a double ring automaton with n states. More...
automaton_t	awali::dyn::factory::double_ring (unsigned n, const std::vector< unsigned > &finals, int a, const std::string &semiring="B")
	Returns a double ring automaton with n states. More...
automaton_t	awali::dyn::factory::int_divkbaseb (unsigned k, unsigned b, const std::string &semiring="B")
	returns an automaton which recognizes numbers in base b which are multiple of k More...
automaton_t	awali::dyn::factory::ladybird (unsigned n, const std::string &alphabet, const std::string &semiring="B")
	Returns a "ladybird" automaton with n states. More...
automaton_t	awali::dyn::factory::ladybird (unsigned n, int a, const std::string &semiring="B")
	Returns an "ladybird" automaton with n states. More...
automaton_t	awali::dyn::factory::n_ultimate (unsigned n, const std::string &alphabet, const std::string &semiring="B")
	Returns an automaton which recognizes words with a specific n-ultimate letter. More...
automaton_t	awali::dyn::factory::n_ultimate (unsigned n, int a, int b, const std::string &semiring="B")
	returns an automaton which recognizes words with a specific n-ultimate letter More...
automaton_t	awali::dyn::factory::witness (unsigned n, const std::string &alphabet, const std::string &semiring="B")
	Returns an automaton with n states. More...
automaton_t	awali::dyn::factory::witness (unsigned n, int a, const std::string &semiring="B")
	Returns an automaton with n states. More...