Skip to main content

viterbi_algorithm_ty

oxilean_std::coding_theory::functions

Function viterbi_algorithm_ty 

Source 
pub fn viterbi_algorithm_ty() -> Expr
Expand description

ViterbiAlgorithm : Nat → Nat → Prop — Viterbi algorithm achieves maximum-likelihood decoding for convolutional codes.