aliases.hh File Reference

#include <vector>
#include <awali/dyn/core/automaton.hh>
#include <awali/common/enums.hh>
#include <awali/dyn/options/options.hh>
#include <awali/dyn/core/abstract_ratexp.hh>

Go to the source code of this file.

Namespaces
	awali
	Main namespace of Awali.
	awali::dyn
	Namespace for the dynamical layer of Awali.

Functions
automaton_t	awali::dyn::coquotient (automaton_t aut, std::vector< std::vector< state_t >> &equiv, options_t opts={})
	Computes the coquotient of an automaton with respect to a given equivalence. More...
automaton_t	awali::dyn::exp_to_aut (ratexp_t ratexp, options_t opts={})
	Computes an automaton equivalent to ratexp. More...
automaton_t	awali::dyn::min_coquotient (automaton_t aut, options_t opts={})
	Computes the minimal coquotient of aut. More...
automaton_t	awali::dyn::right_reduce (automaton_t aut)
	Simpy calls transpose, left_reduce, transpose. More...