Lumped Markov chain (source code)

= Lumped Markov chain

A lumped Markov chain records only a partition class of the original state. It is Markov when the transition probability into every class is constant within each source class.