derivation.hh File Reference

#include <map>
#include <awali/dyn/core/automaton.hh>
#include <awali/dyn/core/ratexp.hh>
#include <awali/dyn/options/options.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::internal
	Implementation details of dyn layer (not stable).

Functions
automaton_t	awali::dyn::internal::breaking_derived_term (ratexp_t exp, options_t opts={})
	Builds an automaton from a rational expression using the breaking derived term algorithm. More...
std::map< ratexp_t, weight_t >	awali::dyn::internal::derivation (ratexp_t exp, label_t lab, bool breaking=false)
	Derives a rational expression with respect to some label. More...
automaton_t	awali::dyn::internal::derived_term (ratexp_t exp, options_t opts={})
	Builds an automaton from a rational expression using the derived term algorithm. More...