Vcsn  2.4
Be Rational
to-expression.hh File Reference
#include <boost/heap/fibonacci_heap.hpp>
#include <vcsn/algos/copy.hh>
#include <vcsn/algos/lift.hh>
#include <vcsn/core/automaton.hh>
#include <vcsn/core/rat/expression.hh>
#include <vcsn/core/rat/info.hh>
#include <vcsn/core/rat/size.hh>
#include <vcsn/dyn/value.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, 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
 
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, identities ids, const letter_class_t &letters, bool accept)
 Bridge (to_expression). More...