storm::models::symbolic Namespace Reference

Classes
class	Ctmc
	This class represents a continuous-time Markov chain. More...
class	DeterministicModel
	Base class for all deterministic symbolic models. More...
class	Dtmc
	This class represents a discrete-time Markov chain. More...
class	MarkovAutomaton
	This class represents a discrete-time Markov decision process. More...
class	Mdp
	This class represents a discrete-time Markov decision process. More...
class	Model
	Base class for all symbolic models. More...
class	NondeterministicModel
	Base class for all nondeterministic symbolic models. More...
class	StandardRewardModel
class	StochasticTwoPlayerGame
	This class represents a discrete-time stochastic two-player game. More...