storm::analysis::ConstraintCollector< ValueType > Class Template Reference

Class to collect constraints on parametric Markov chains. More...

#include <GraphConditions.h>

Public Member Functions
	ConstraintCollector (storm::models::sparse::Model< ValueType > const &model)
	Constructs a constraint collector for the given Model.
std::unordered_set< typename ConstraintType< ValueType >::val > const &	getWellformedConstraints () const
	Returns the set of wellformed-ness constraints.
std::unordered_set< typename ConstraintType< ValueType >::val > const &	getGraphPreservingConstraints () const
	Returns the set of graph-preserving constraints.
std::set< storm::RationalFunctionVariable > const &	getVariables () const
	Returns the set of variables in the model.
void	process (storm::models::sparse::Model< ValueType > const &model)
	Constructs the constraints for the given Model.
void	operator() (storm::models::sparse::Model< ValueType > const &model)
	Constructs the constraints for the given Model by calling the process method.

Detailed Description

template<typename ValueType>
class storm::analysis::ConstraintCollector< ValueType >

Class to collect constraints on parametric Markov chains.

Definition at line 26 of file GraphConditions.h.

Constructor & Destructor Documentation

ConstraintCollector()

template<typename ValueType >

storm::analysis::ConstraintCollector< ValueType >::ConstraintCollector

(

storm::models::sparse::Model< ValueType > const &

model

)

Constructs a constraint collector for the given Model.

The constraints are built and ready for retrieval after the construction.

Parameters

model

The Model for which to create the constraints.

Definition at line 14 of file GraphConditions.cpp.

Member Function Documentation

getGraphPreservingConstraints()

template<typename ValueType >

std::unordered_set< typename ConstraintType< ValueType >::val > const & storm::analysis::ConstraintCollector< ValueType >::getGraphPreservingConstraints

(

)

const

Returns the set of graph-preserving constraints.

Returns

The set of graph-preserving constraints.

Definition at line 24 of file GraphConditions.cpp.

getVariables()

template<typename ValueType >

std::set< storm::RationalFunctionVariable > const & storm::analysis::ConstraintCollector< ValueType >::getVariables

(

)

const

Returns the set of variables in the model.

Returns

Definition at line 29 of file GraphConditions.cpp.

getWellformedConstraints()

template<typename ValueType >

std::unordered_set< typename ConstraintType< ValueType >::val > const & storm::analysis::ConstraintCollector< ValueType >::getWellformedConstraints

(

)

const

Returns the set of wellformed-ness constraints.

Returns

The set of wellformed-ness constraints.

Definition at line 19 of file GraphConditions.cpp.

operator()()

template<typename ValueType >

void storm::analysis::ConstraintCollector< ValueType >::operator()

(

storm::models::sparse::Model< ValueType > const &

model

)

Constructs the constraints for the given Model by calling the process method.

Parameters

model

The Model for which to create the constraints.

Definition at line 184 of file GraphConditions.cpp.

process()

template<typename ValueType >

void storm::analysis::ConstraintCollector< ValueType >::process

(

storm::models::sparse::Model< ValueType > const &

model

)

Constructs the constraints for the given Model.

Parameters

model

The DTMC for which to create the constraints.

Definition at line 61 of file GraphConditions.cpp.

---

The documentation for this class was generated from the following files:

• src/storm/analysis/GraphConditions.h
• src/storm/analysis/GraphConditions.cpp