|
template<typename Aut , typename Profiler > |
state_eliminator< Aut, Profiler > | vcsn::detail::make_state_eliminator (Aut &a, Profiler &profiler) |
|
template<typename 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<typename 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<typename Aut , typename Int > |
automaton | vcsn::dyn::detail::eliminate_state (const automaton &aut, int state) |
| Bridge. More...
|
|
template<typename Aut , typename Profiler , typename ExpSet = expressionset<context_t_of<Aut>>> |
ExpSet::value_t | vcsn::to_expression (Aut &a, Profiler &profiler) |
|
template<typename 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<typename 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<typename 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<typename 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...
|
|