to-automaton.hh File Reference

Go to the source code of this file.

Namespaces
	vcsn
	vcsn::dyn
	vcsn::dyn::detail
	vcsn::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,   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>
Aut &	vcsn::to_automaton (const LabelSet &ls, const typename LabelSet::word_t &w) -> mutable_automaton<>
	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, 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, 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
	Case where labelset is an expressionset. More...
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
	General case. More...
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
	Case where labelset is oneset. More...
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, identities ids, const letter_class_t &letters, bool accept)
	Bridge (to_expression). More...