ratexp.hh File Reference

#include <iostream>
#include <set>
#include <unordered_map>
#include <awali/dyn/core/ratexp.hh>
#include <awali/dyn/loading/handler.hh>
#include <awali/dyn/core/context_description.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).
	awali::dyn::lift
	Namespace containing the functions allowing to execute the state elimination algorithm (aut_to_exp) step-by-step; probably will be moved elsewhere in the future.

Functions
ratexp_t	awali::dyn::aut_to_exp (automaton_t aut, options_t opts={})
	Computes a rational expression equivalent to aut. More...
weight_t	awali::dyn::constant_term (ratexp_t exp)
	Returns the constant term of exp, that is the weight of epsilon. More...
ratexp_t	awali::dyn::expand (ratexp_t exp)
	Expands a rational expression. More...
bool	awali::dyn::is_valid (ratexp_t exp)
	Tests whether exp is valid that is, if every monomial in the series it represents is properly weighted. More...
std::ostream &	awali::dyn::internal::json (ratexp_t aut, std::ostream &out, json_ast_t extra_metadata=json_ast::empty())
automaton_t	awali::dyn::lift::lift (automaton_t aut)
	Builds some kind of copy of aut with weights that are rational expressions with the context of aut, and with no labels. More...
ratexp_t	awali::dyn::ratexp_characteristic (ratexp_t exp, std::string const &weightset)
	Computes the characteristic of exp over weightset. More...
ratexp_t	awali::dyn::ratexp_copy (ratexp_t exp)
	Returns a copy of exp. More...
ratexp_t	awali::dyn::ratexp_support (ratexp_t exp)
	Returns a Boolean rational expression where all weights of exp are removed. More...
unsigned	awali::dyn::star_height (ratexp_t exp)
	Return the star height of exp. More...
ratexp_t	awali::dyn::star_normal_form (ratexp_t exp)
	Builds an expression equivalent to exp that is in star normal form. More...
json_ast_t	awali::dyn::to_json_ast (ratexp_t exp, json_ast_t extra_metadata=json_ast::empty())