storm::models::symbolic Namespace Reference

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

Variables
template<storm::dd::DdType Type, typename ValueType>
storm::dd::Bdd< Type >	Model< Type, ValueType >::getQualitativeTransitionMatrix (bool) const

Variable Documentation

Model< Type, ValueType >::getQualitativeTransitionMatrix

template<storm::dd::DdType Type, typename ValueType>

storm::dd::Bdd< Type > storm::models::symbolic::Model< Type, ValueType >::getQualitativeTransitionMatrix(bool) const

(

bool

)

const

Definition at line 183 of file Model.cpp.