ExponentialTime
Parameters
markovianRate
Markovian rate for this distribution
randomGenerator
RandomGenerator used internally
Parameters
markovianRate
Markovian rate for this distribution
start
initial time
randomGenerator
RandomGenerator used internally