Vcsn  2.3
Be Rational
derived-term.hh File Reference
Include dependency graph for derived-term.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  vcsn::detail::derived_term_algo
 Specify a variety of derived-term construction. More...
 
struct  vcsn::detail::derived_term_automaton_members< ExpSet, bool >
 Additional members when the labelset is free. More...
 
struct  vcsn::detail::derived_term_automaton_members< ExpSet, false >
 Additional members when the labelset is not free. More...
 
class  vcsn::detail::derived_term_automaton_impl< ExpSet >
 Compute the derived-term automaton from an expression. More...
 

Namespaces

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

Typedefs

template<typename ExpSet >
using vcsn::derived_term_automaton = std::shared_ptr< detail::derived_term_automaton_impl< ExpSet >>
 A derived-term automaton as a shared pointer. More...
 

Functions

template<typename ExpSet >
auto vcsn::make_derived_term_automaton (const ExpSet &rs, const detail::derived_term_algo &algo) -> derived_term_automaton< ExpSet >
 
template<typename ExpSet >
std::enable_if_t< labelset_t_of< ExpSet >::is_free(), expression_automaton< mutable_automaton< typename ExpSet::context_t > > > vcsn::derived_term (const ExpSet &rs, const typename ExpSet::value_t &r, const std::string &algo="auto")
 The derived-term automaton, for free labelsets. More...
 
template<typename ExpSet >
std::enable_if_t<!labelset_t_of< ExpSet >::is_free(), expression_automaton< mutable_automaton< typename ExpSet::context_t > > > vcsn::derived_term (const ExpSet &rs, const typename ExpSet::value_t &r, const std::string &algo="auto")
 The derived-term automaton, for non free labelsets. More...
 
template<typename ExpSet , typename String >
automaton vcsn::dyn::detail::derived_term (const expression &exp, const std::string &algo)
 Bridge. More...