vcsn::detail::standard_operations< Aut > Struct Template Reference

#include <left-mult.hh>

Collaboration diagram for vcsn::detail::standard_operations< Aut >:

Public Types
using	automaton_t = Aut
using	context_t = context_t_of< automaton_t >
using	weight_t = weight_t_of< context_t >
using	weightset_t = weightset_t_of< context_t >
using	state_t = state_t_of< automaton_t >

Static Public Member Functions
static automaton_t &	left_mult_here (const weight_t &w, automaton_t &res)
	Left-multiplication by a weight. More...
static automaton_t &	right_mult_here (automaton_t &res, const weight_t &w)
	Right-multiplication by a weight. More...
static automaton_t &	zero_here (automaton_t &res)
	Transform res into the (standard) empty automaton. More...

Detailed Description

template<typename Aut>
struct vcsn::detail::standard_operations< Aut >

Definition at line 19 of file left-mult.hh.

Member Typedef Documentation

template<typename Aut >

using vcsn::detail::standard_operations< Aut >::automaton_t = Aut

Definition at line 21 of file left-mult.hh.

template<typename Aut >

using vcsn::detail::standard_operations< Aut >::context_t = context_t_of<automaton_t>

Definition at line 22 of file left-mult.hh.

template<typename Aut >

using vcsn::detail::standard_operations< Aut >::state_t = state_t_of<automaton_t>

Definition at line 25 of file left-mult.hh.

template<typename Aut >

using vcsn::detail::standard_operations< Aut >::weight_t = weight_t_of<context_t>

Definition at line 23 of file left-mult.hh.

template<typename Aut >

using vcsn::detail::standard_operations< Aut >::weightset_t = weightset_t_of<context_t>

Definition at line 24 of file left-mult.hh.

Member Function Documentation

template<typename Aut >

static automaton_t& vcsn::detail::standard_operations< Aut >::left_mult_here ( const weight_t &  w, automaton_t &  res  )

inlinestatic

Left-multiplication by a weight.

Definition at line 29 of file left-mult.hh.

References vcsn::is_standard(), and vcsn::detail::standard_operations< Aut >::zero_here().

Referenced by vcsn::left_mult_here().

Here is the call graph for this function:

template<typename Aut >

static automaton_t& vcsn::detail::standard_operations< Aut >::right_mult_here ( automaton_t &  res, const weight_t &  w  )

inlinestatic

Right-multiplication by a weight.

Definition at line 50 of file left-mult.hh.

References vcsn::detail::standard_operations< Aut >::zero_here().

Referenced by vcsn::right_mult_here().

Here is the call graph for this function:

template<typename Aut >

static automaton_t& vcsn::detail::standard_operations< Aut >::zero_here ( automaton_t &  res )

inlinestatic

Transform res into the (standard) empty automaton.

Definition at line 65 of file left-mult.hh.

Referenced by vcsn::detail::standard_operations< Aut >::left_mult_here(), and vcsn::detail::standard_operations< Aut >::right_mult_here().

---

The documentation for this struct was generated from the following file:

• vcsn/algos/left-mult.hh