Function rustfst::algorithms::push_weights

pub fn push_weights<W, F>(
    fst: &mut F, 
    reweight_type: ReweightType, 
    remove_total_weight: bool
) -> Result<()> where
    F: MutableFst<W>,
    W: WeaklyDivisibleSemiring, 

Pushes the weights in FST in the direction defined by TYPE. If pushing towards the initial state, the sum of the weight of the outgoing transitions and final weight at a non-initial state is equal to One() in the resulting machine. If pushing towards the final state, the same property holds on the reverse machine.