storm::simulator Namespace Reference

Classes
class	DiscreteTimePrismProgramSimulator
	This class provides a simulator interface on the prism program, and uses the next state generator. More...
class	DiscreteTimeSparseModelSimulator
	This class is a low-level interface to quickly sample from Discrete-Time Models stored explicitly as a SparseModel. More...