Jump chain (source code)

= Jump chain

The jump chain records the successive states visited by a continuous-time Markov chain while discarding its holding times.