Vcsn  2.1
Be Rational
Public Types | Static Public Member Functions | List of all members
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 18 of file left-mult.hh.

Member Typedef Documentation

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

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

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

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

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

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

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

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

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

Definition at line 23 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 28 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 49 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 64 of file left-mult.hh.

References vcsn::make_fresh_automaton().

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

Here is the call graph for this function:

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