derived-term.hh File Reference

#include <vcsn/algos/constant-term.hh>
#include <vcsn/algos/derivation.hh>
#include <vcsn/algos/split.hh>
#include <vcsn/algos/to-expansion.hh>
#include <vcsn/core/expression-automaton.hh>
#include <vcsn/core/mutable-automaton.hh>
#include <vcsn/ctx/fwd.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/expression.hh>
#include <vcsn/dyn/polynomial.hh>
#include <vcsn/misc/getargs.hh>
#include <vcsn/misc/raise.hh>
#include <vcsn/weightset/polynomialset.hh>

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...