Algorithms.MDP.CTMDP

data CTMDP a b t

mkCTMDP

type Rates a b t

uniformize