to-expression.hh File Reference

#include <boost/heap/fibonacci_heap.hpp>
#include <vcsn/algos/copy.hh>
#include <vcsn/algos/lift.hh>
#include <vcsn/core/rat/expression.hh>
#include <vcsn/core/rat/info.hh>
#include <vcsn/core/rat/size.hh>
#include <vcsn/dyn/label.hh>
#include <vcsn/misc/builtins.hh>
#include <vcsn/misc/getargs.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::naive_profiler< Aut >
	Compute a state profile for state-elimination based on connectivity. More...
struct	vcsn::detail::naive_profiler< Aut >::state_profile
	The state profile is the product of the number of (strictly) incoming transitions with the number of (strictly) outgoing ones, and whether it has loops. More...
struct	vcsn::detail::delgado_profiler< Aut >
	Compute a state profile for state-elimination based on the Delgado-Morais heuristic. More...
struct	vcsn::detail::delgado_profiler< Aut >::state_profile
struct	vcsn::detail::state_eliminator< Aut, Profiler >
	Eliminate states in an automaton. More...

Namespaces
	vcsn
	vcsn::detail
	vcsn::dyn
	vcsn::dyn::detail

Enumerations
enum	vcsn::to_expression_heuristic_t { vcsn::to_expression_heuristic_t::best, vcsn::to_expression_heuristic_t::delgado, vcsn::to_expression_heuristic_t::delgado_label, vcsn::to_expression_heuristic_t::naive }

Functions
template<Automaton Aut, typename Profiler >
state_eliminator< Aut, Profiler >	vcsn::detail::make_state_eliminator (Aut &a, Profiler &profiler)
template<Automaton Aut>
Aut &	vcsn::eliminate_state_here (Aut &res, state_t_of< Aut > s=Aut::element_type::null_state())
	In place removal of state s from automaton res. More...
template<Automaton Aut>
auto	vcsn::eliminate_state (const Aut &aut, state_t_of< Aut > s=Aut::element_type::null_state()) -> fresh_automaton_t_of< Aut >
	A copy of automaton res without the state s. More...
template<Automaton Aut, typename Int >
automaton	vcsn::dyn::detail::eliminate_state (const automaton &aut, int state)
	Bridge. More...
template<Automaton Aut, typename Profiler , typename ExpSet = expressionset<context_t_of<Aut>>>
ExpSet::value_t	vcsn::to_expression (Aut &a, Profiler &profiler)
template<Automaton Aut, typename ExpSet = expressionset<context_t_of<Aut>>>
ExpSet::value_t	vcsn::to_expression_heuristic (const Aut &aut, vcsn::rat::identities ids, to_expression_heuristic_t algo)
template<Automaton Aut, typename ExpSet = expressionset<context_t_of<Aut>>>
ExpSet::value_t	vcsn::to_expression (const Aut &aut, vcsn::rat::identities ids, to_expression_heuristic_t algo)
template<Automaton Aut, typename ExpSet = expressionset<context_t_of<Aut>>>
ExpSet::value_t	vcsn::to_expression (const Aut &a, vcsn::rat::identities ids, const std::string &algo)
template<Automaton Aut, typename Identities , typename String >
expression	vcsn::dyn::detail::to_expression (const automaton &aut, vcsn::rat::identities ids, const std::string &algo)
	Bridge. More...
template<typename Context , typename Identities , typename Label >
expression	vcsn::dyn::detail::to_expression_label (const context &ctx, rat::identities ids, const label &lbl)
	Bridge (to_expression). More...
template<typename ExpSet >
auto	vcsn::detail::letter_class_impl (const ExpSet &, const letter_class_t &, bool, std::false_type, std::true_type) -> typename ExpSet::value_t
template<typename ExpSet >
auto	vcsn::detail::letter_class_impl (const ExpSet &rs, const letter_class_t &chars, bool accept, std::false_type, std::false_type) -> typename ExpSet::value_t
template<typename ExpSet >
auto	vcsn::detail::letter_class_impl (const ExpSet &rs, const letter_class_t &, bool, std::true_type, std::false_type) -> typename ExpSet::value_t
template<typename ExpressionSet >
ExpressionSet::value_t	vcsn::to_expression (const ExpressionSet &rs, const letter_class_t &letters, bool accept=true)
	An expression matching one letter in a letter class. More...
template<typename Context , typename Identities , typename Letters , typename Bool >
expression	vcsn::dyn::detail::to_expression_class (const context &ctx, rat::identities ids, const letter_class_t &letters, bool accept)
	Bridge (to_expression). More...