left-mult.hh File Reference

#include <vcsn/algos/copy.hh>
#include <vcsn/algos/standard.hh>
#include <vcsn/core/rat/ratexpset.hh>
#include <vcsn/ctx/traits.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/ratexp.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
	FIXME: duplicate code with determinize.
	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 = typename AutIn::element_type::automaton_nocv_t>
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...
	vcsn::dyn::detail::REGISTER_DECLARE (left_mult,(const weight &, const automaton &) -> automaton)
template<typename RatExpSet >
RatExpSet::value_t	vcsn::left_mult (const RatExpSet &rs, const weight_t_of< RatExpSet > &w, const typename RatExpSet::value_t &r)
template<typename WeightSet , typename RatExpSet >
ratexpset< context < labelset_t_of< RatExpSet > , join_t< WeightSet, weightset_t_of< RatExpSet > > > >	vcsn::join_weightset_ratexpset (const WeightSet &ws, const RatExpSet &rs)
	Join between a ratexpset and a weightset. More...
template<typename WeightSet , typename RatExpSet >
ratexp	vcsn::dyn::detail::left_mult_ratexp (const weight &weight, const ratexp &exp)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (left_mult_ratexp,(const weight &, const ratexp &) -> ratexp)
template<typename Aut >
Aut &	vcsn::right_mult_here (Aut &res, const weight_t_of< Aut > &w)
template<typename Aut >
Aut::element_type::automaton_nocv_t	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...
	vcsn::dyn::detail::REGISTER_DECLARE (right_mult,(const automaton &, const weight &) -> automaton)
template<typename RatExpSet >
RatExpSet::value_t	vcsn::right_mult (const RatExpSet &rs, const typename RatExpSet::value_t &r, const weight_t_of< RatExpSet > &w)
template<typename RatExpSet , typename WeightSet >
ratexp	vcsn::dyn::detail::right_mult_ratexp (const ratexp &exp, const weight &weight)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (right_mult_ratexp,(const ratexp &, const weight &) -> ratexp)