![]() |
Vcsn
2.4
Be Rational
|
#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/automaton.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/value.hh>
#include <vcsn/misc/getargs.hh>
#include <vcsn/misc/raise.hh>
#include <vcsn/weightset/polynomialset.hh>
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 letterized. More... | |
struct | vcsn::detail::derived_term_automaton_members< ExpSet, false > |
Additional members when the labelset is not letterized. 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_letterized(), 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 letterized labelsets. More... | |
template<typename ExpSet > | |
std::enable_if_t <!labelset_t_of< ExpSet > ::is_letterized(), 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 letterized labelsets. More... | |
template<typename ExpSet , typename String > | |
automaton | vcsn::dyn::detail::derived_term (const expression &exp, const std::string &algo) |
Bridge. More... | |