to-expression.hh File Reference

#include <vcsn/algos/copy.hh>
#include <vcsn/algos/lift.hh>
#include <vcsn/core/rat/ratexp.hh>
#include <vcsn/misc/vector.hh>

Include dependency graph for to-expression.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	vcsn::detail::state_eliminator< Aut, Kind >
struct	vcsn::detail::state_eliminator< Aut, labels_are_one >
	Eliminate states in an automaton whose labelset is oneset. More...
struct	vcsn::detail::state_eliminator< Aut, labels_are_ratexps >
	Eliminate states in an automaton whose labelset is a ratexpset. More...

Namespaces
	vcsn
	vcsn::detail
	vcsn::dyn
	FIXME: duplicate code with determinize.
	vcsn::dyn::detail

Typedefs
template<typename Aut , typename Lifted = detail::lifted_automaton_t<Aut>>
using	vcsn::state_chooser_t = std::function< state_t_of< Lifted >(const Lifted &)>
	A state (inner) from an automaton. More...

Functions
template<typename Aut >
state_t_of< Aut >	vcsn::next_naive (const Aut &a)
template<typename Aut >
state_eliminator< Aut >	vcsn::detail::make_state_eliminator (Aut &a)
template<typename Aut >
Aut &	vcsn::eliminate_state_here (Aut &res, state_t_of< Aut > s)
	Remove state s from automaton res. More...
template<typename Aut >
Aut	vcsn::eliminate_state (const Aut &aut, state_t_of< Aut > s)
	A copy of automaton res without the state s. More...
template<typename Aut , typename Int >
automaton	vcsn::dyn::detail::eliminate_state (const automaton &aut, int state)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (eliminate_state,(const automaton &aut, int) -> automaton)
template<typename Aut , typename RatExpSet = ratexpset<context_t_of<Aut>>>
RatExpSet::value_t	vcsn::to_expression (const Aut &a, const state_chooser_t< Aut > &next_state)
template<typename Aut , typename RatExpSet = ratexpset<context_t_of<Aut>>>
RatExpSet::value_t	vcsn::to_expression_naive (const Aut &a)
template<typename Aut , typename String >
ratexp	vcsn::dyn::detail::to_expression (const automaton &aut, const std::string &algo)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (to_expression,(const automaton &aut, const std::string &algo) -> ratexp)