Awali
Another Weighted Automata library
Public Types | Static Public Member Functions
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_tleft_mult_here (automaton_t &res, const weight_t &w, bool standard)
 Left-multiplication by a weight. More...
 
static automaton_tright_mult_here (automaton_t &res, const weight_t &w)
 Right-multiplication by a weight. More...
 
static automaton_tzero_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

◆ weight_t

◆ weightset_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: