promotion.hh File Reference

#include <string>
#include <awali/dyn/core/automaton.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.

Functions
bool	awali::dyn::is_promotable (const std::string &src_ws, const std::string &dest_ws)
	Tests whether a promotion is possible from one weightset to the other one. More...
context_t	awali::dyn::make_context_with_another_semiring (context_t ctx, const std::string &ws)
	Computes a context with the same labelset as ctx and the weightset ws. More...
automaton_t	awali::dyn::promote_automaton (automaton_t aut, const std::string &ws, options_t opts={})
	Computes a new automaton with the specified weightset. More...