left-mult.hh File Reference

#include <vcsn/algos/copy.hh>
#include <vcsn/algos/standard.hh>
#include <vcsn/core/rat/expressionset.hh>
#include <vcsn/ctx/traits.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/expression.hh>
#include <vcsn/dyn/weight.hh>
#include <vcsn/misc/raise.hh>

Include dependency graph for left-mult.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 >

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

Functions
template<typename Aut >
Aut &	vcsn::left_mult_here (const weight_t_of< Aut > &w, Aut &res)
template<typename AutIn , typename AutOut = fresh_automaton_t_of<AutIn>>
AutOut	vcsn::left_mult (const weight_t_of< AutOut > &w, const AutIn &aut)
template<typename WeightSet , typename Aut >
automaton	vcsn::dyn::detail::left_mult (const weight &weight, const automaton &aut)
	Bridge. More...
template<typename ExpSet >
ExpSet::value_t	vcsn::left_mult (const ExpSet &rs, const weight_t_of< ExpSet > &w, const typename ExpSet::value_t &r)
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<typename Aut >
Aut &	vcsn::right_mult_here (Aut &res, const weight_t_of< Aut > &w)
template<typename Aut >
fresh_automaton_t_of< Aut >	vcsn::right_mult (const Aut &aut, const weight_t_of< Aut > &w)
template<typename Aut , typename WeightSet >
automaton	vcsn::dyn::detail::right_mult (const automaton &aut, const weight &weight)
	Bridge. More...
template<typename ExpSet >
ExpSet::value_t	vcsn::right_mult (const ExpSet &rs, const typename ExpSet::value_t &r, const weight_t_of< ExpSet > &w)
template<typename ExpSet , typename WeightSet >
expression	vcsn::dyn::detail::right_mult_expression (const expression &exp, const weight &weight)
	Bridge (right_mult). More...