![]() |
Vcsn
2.2
Be Rational
|
#include <vcsn/algos/copy.hh>
#include <vcsn/algos/standard.hh>
#include <vcsn/algos/tags.hh>
#include <vcsn/core/rat/expressionset.hh>
#include <vcsn/core/rat/expansionset.hh>
#include <vcsn/ctx/traits.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/expression.hh>
#include <vcsn/dyn/expansion.hh>
#include <vcsn/dyn/weight.hh>
#include <vcsn/misc/getargs.hh>
Go to the source code of this file.
Classes | |
struct | vcsn::detail::standard_operations< Aut > |
Implementation of left- and right- multiplication of an automaton by a weight. More... | |
Namespaces | |
vcsn | |
vcsn::detail | |
vcsn::dyn | |
vcsn::dyn::detail | |
Functions | |
template<Automaton Aut, typename Tag = auto_tag> | |
Aut & | vcsn::left_mult_here (const weight_t_of< Aut > &w, Aut &res, Tag tag={}) |
In place left-multiplication of an automaton by a weight. More... | |
template<Automaton Aut, typename Tag = auto_tag> | |
auto | vcsn::left_mult (const weight_t_of< Aut > &w, const Aut &aut, Tag tag={}) -> fresh_automaton_t_of< Aut > |
Left-multiplication of an automaton by a weight. More... | |
template<Automaton Aut, typename Tag > | |
automaton | vcsn::dyn::detail::left_mult_tag (const weight_t_of< Aut > &w, Aut &aut) |
Left-product. More... | |
template<typename WeightSet , Automaton Aut, typename String > | |
automaton | vcsn::dyn::detail::left_mult (const weight &weight, const automaton &aut, const std::string &algo) |
Bridge. More... | |
template<typename ValueSet > | |
auto | vcsn::left_mult (const ValueSet &rs, const weight_t_of< ValueSet > &w, const typename ValueSet::value_t &r) -> decltype(rs.lmul(w, r)) |
template<typename WeightSet , typename ExpSet > | |
expansionset< expressionset < context< labelset_t_of < ExpSet >, join_t< WeightSet, weightset_t_of< ExpSet > > > > > | vcsn::join_weightset_expansionset (const WeightSet &ws, const expansionset< ExpSet > &rs) |
template<typename WeightSet , typename ExpansionSet > | |
expansion | vcsn::dyn::detail::left_mult_expansion (const weight &weight, const expansion &exp) |
Bridge (left_mult). More... | |
template<typename WeightSet , typename ExpSet > | |
expressionset< context < labelset_t_of< ExpSet > , join_t< WeightSet, weightset_t_of< ExpSet > > > > | vcsn::join_weightset_expressionset (const WeightSet &ws, const ExpSet &rs) |
Join between an expressionset and a weightset. More... | |
template<typename WeightSet , typename ExpSet > | |
expression | vcsn::dyn::detail::left_mult_expression (const weight &weight, const expression &exp) |
Bridge (left_mult). More... | |
template<Automaton Aut, typename Tag = auto_tag> | |
Aut & | vcsn::right_mult_here (Aut &res, const weight_t_of< Aut > &w, Tag tag={}) |
In place right-multiplication of an automaton by a weight. More... | |
template<Automaton Aut, typename Tag = auto_tag> | |
fresh_automaton_t_of< Aut > | vcsn::right_mult (const Aut &aut, const weight_t_of< Aut > &w, Tag tag={}) |
Right-multiplication of an automaton by a weight. More... | |
template<Automaton Aut, typename Tag > | |
automaton | vcsn::dyn::detail::right_mult_tag (Aut &aut, const weight_t_of< Aut > &w) |
Right-product. More... | |
template<Automaton Aut, typename WeightSet , typename String > | |
automaton | vcsn::dyn::detail::right_mult (const automaton &aut, const weight &weight, const std::string &algo) |
Bridge. More... | |
template<typename ValueSet > | |
ValueSet::value_t | vcsn::right_mult (const ValueSet &rs, const typename ValueSet::value_t &r, const weight_t_of< ValueSet > &w) |
template<typename ExpansionSet , typename WeightSet > | |
expansion | vcsn::dyn::detail::right_mult_expansion (const expansion &exp, const weight &weight) |
Bridge (right_mult). More... | |
template<typename ExpSet , typename WeightSet > | |
expression | vcsn::dyn::detail::right_mult_expression (const expression &exp, const weight &weight) |
Bridge (right_mult). More... | |