storm::models Namespace Reference

Namespaces
namespace	sparse
namespace	symbolic

Classes
struct	GetDdType
struct	GetDdType< ModelRepresentation::DdCudd >
struct	GetDdType< ModelRepresentation::DdSylvan >
struct	GetDdType< ModelRepresentation::Sparse >
struct	GetModelRepresentation
struct	GetModelRepresentation< storm::dd::DdType::CUDD >
struct	GetModelRepresentation< storm::dd::DdType::Sylvan >
class	Model
class	ModelBase

Enumerations
enum class	ModelRepresentation { Sparse , DdCudd , DdSylvan }
enum class	ModelType {   Dtmc , Ctmc , Mdp , MarkovAutomaton ,   S2pg , Pomdp , Smg }

Functions
std::ostream &	operator<< (std::ostream &os, ModelRepresentation const &representation)
ModelType	getModelType (std::string const &type)
std::ostream &	operator<< (std::ostream &os, ModelType const &type)

Enumeration Type Documentation

ModelRepresentation

enum class storm::models::ModelRepresentation

strong

Enumerator
Sparse
DdCudd
DdSylvan

Definition at line 9 of file ModelRepresentation.h.

ModelType

enum class storm::models::ModelType

strong

Enumerator
Dtmc
Ctmc
Mdp
MarkovAutomaton
S2pg
Pomdp
Smg

Definition at line 9 of file ModelType.h.

Function Documentation

getModelType()

ModelType storm::models::getModelType

(

std::string const &

type

)

Definition at line 9 of file ModelType.cpp.

operator<<() [1/2]

std::ostream & storm::models::operator<<	(	std::ostream &	os,
		ModelRepresentation const &	representation
	)

Definition at line 9 of file ModelRepresentation.cpp.

operator<<() [2/2]

std::ostream & storm::models::operator<<	(	std::ostream &	os,
		ModelType const &	type
	)

Definition at line 29 of file ModelType.cpp.