awali::sttc::internal::standard_operations< Aut > Struct Template Reference

#include <left_mult.hh>

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 >

Static Public Member Functions
static automaton_t &	left_mult_here (automaton_t &res, const weight_t &w, bool standard)
	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...

Member Typedef Documentation

automaton_t

template<typename Aut >

using awali::sttc::internal::standard_operations< Aut >::automaton_t = Aut

context_t

template<typename Aut >

using awali::sttc::internal::standard_operations< Aut >::context_t = context_t_of<automaton_t>

weight_t

template<typename Aut >

using awali::sttc::internal::standard_operations< Aut >::weight_t = weight_t_of<context_t>

weightset_t

template<typename Aut >

using awali::sttc::internal::standard_operations< Aut >::weightset_t = weightset_t_of<context_t>

Member Function Documentation

left_mult_here()

template<typename Aut >

static automaton_t& awali::sttc::internal::standard_operations< Aut >::left_mult_here ( automaton_t &  res, const weight_t &  w, bool  standard  )

static

Left-multiplication by a weight.

right_mult_here()

template<typename Aut >

static automaton_t& awali::sttc::internal::standard_operations< Aut >::right_mult_here ( automaton_t &  res, const weight_t &  w  )

static

Right-multiplication by a weight.

zero_here()

template<typename Aut >

static automaton_t& awali::sttc::internal::standard_operations< Aut >::zero_here ( automaton_t &  res )

static

Transform res into the (standard) empty automaton.

---

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

• /home/marsault/git-client/telecom/awali.git/awali/sttc/algos/left_mult.hh