Awali
Another Weighted Automata library

Contains all functions related to standard automata. More...
Functions  
automaton_t  awali::dyn::left_mult_standard (automaton_t aut1, weight_t w, options_t opts={}) 
Produces an automaton that associates with every word the weight (w * x), where x is the weight associated with this word in aut . More...  
automaton_t  awali::dyn::right_mult (automaton_t aut, weight_t w, options_t opts={}) 
Produces an automaton that associates with every word the weight (x * w ), where x is the weight associated with this word in aut . More...  
automaton_t  awali::dyn::internal::standard (ratexp_t exp) 
Contains all functions related to standard automata.
automaton_t awali::dyn::left_mult_standard  (  automaton_t  aut1, 
weight_t  w,  
options_t  opts = {} 

) 
Produces an automaton that associates with every word the weight (w
* x), where x is the weight associated with this word in aut
.
The automaton must be standard. This function multiplies the weight of each outgoing transition of the initial state by w
;
The following options may be given in opts:
KEEP_HISTORY, IN_PLACE. (Other options are ignored)
If IN_PLACE is true
, this operation operation is done directly on aut
. In this case, KEEP_HISTORY is ignored.
If IN_PLACE is `false, this operation is done on a copy of aut
.
aut  a standard automaton 
w  weight by which the initial weights are multiplied 
opts  a set of options 
aut
in which the transition weights have been multiplied by w
automaton_t awali::dyn::right_mult  (  automaton_t  aut, 
weight_t  w,  
options_t  opts = {} 

) 
Produces an automaton that associates with every word the weight (x * w
), where x is the weight associated with this word in aut
.
Consists in multiplying every final weight by w
on the right.
The following options may be given in opts:
KEEP_HISTORY, IN_PLACE. (Other options are ignored)
If IN_PLACE is true
, this operation operation is done directly on aut
. In this case, KEEP_HISTORY is ignored.
If IN_PLACE is false
, this operation is done on a copy of aut
.
aut  automaton (unchanged) 
w  weight by which the final are multiplied 
opts  a set of options 
aut
in which the transition weights have been multiplied by w
automaton_t awali::dyn::internal::standard  (  ratexp_t  exp  ) 
(exp,{EXP_TO_AUT_ALGO=STANDARD})
instead.