weight.hh File Reference

#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/value.hh>
#include <vcsn/misc/getargs.hh>

Include dependency graph for weight.hh:

This graph shows which files directly or indirectly include this file:

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::lweight_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::lweight (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::lweight_tag (const weight_t_of< Aut > &w, Aut &aut)
	Left-product. More...
template<typename WeightSet , Automaton Aut, typename String >
automaton	vcsn::dyn::detail::lweight (const weight &weight, const automaton &aut, const std::string &algo)
	Bridge. More...
template<typename ValueSet >
auto	vcsn::lweight (const ValueSet &rs, const weight_t_of< ValueSet > &w, const typename ValueSet::value_t &r) -> decltype(rs.lweight(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::lweight_expansion (const weight &weight, const expansion &exp)
	Bridge (lweight). 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::lweight_expression (const weight &weight, const expression &exp)
	Bridge (lweight). More...
template<typename WeightSet , typename ExpSet >
auto	vcsn::join_weightset_polynomialset (const WeightSet &ws, const polynomialset< ExpSet > &ps)
template<typename WeightSet , typename PolynomialSet >
polynomial	vcsn::dyn::detail::lweight_polynomial (const weight &weight, const polynomial &poly)
	Bridge (lweight). More...
template<Automaton Aut, typename Tag = auto_tag>
Aut &	vcsn::rweight_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::rweight (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::rweight_tag (Aut &aut, const weight_t_of< Aut > &w)
	Right-product. More...
template<Automaton Aut, typename WeightSet , typename String >
automaton	vcsn::dyn::detail::rweight (const automaton &aut, const weight &weight, const std::string &algo)
	Bridge. More...
template<typename ValueSet >
ValueSet::value_t	vcsn::rweight (const ValueSet &rs, const typename ValueSet::value_t &r, const weight_t_of< ValueSet > &w)
template<typename ExpansionSet , typename WeightSet >
expansion	vcsn::dyn::detail::rweight_expansion (const expansion &exp, const weight &weight)
	Bridge (rweight). More...
template<typename ExpSet , typename WeightSet >
expression	vcsn::dyn::detail::rweight_expression (const expression &exp, const weight &weight)
	Bridge (rweight). More...
template<typename PolynomialSet , typename WeightSet >
polynomial	vcsn::dyn::detail::rweight_polynomial (const polynomial &poly, const weight &weight)
	Bridge (rweight). More...