storm::utility::matrix Namespace Reference

Functions
template<typename T >
storm::storage::SparseMatrix< T >	applyScheduler (storm::storage::SparseMatrix< T > const &transitionMatrix, storm::storage::Scheduler const &scheduler)
	Applies the given scheduler to the given transition matrix.

Function Documentation

applyScheduler()

template<typename T >

storm::storage::SparseMatrix< T > storm::utility::matrix::applyScheduler	(	storm::storage::SparseMatrix< T > const &	transitionMatrix,
		storm::storage::Scheduler const &	scheduler
	)

Applies the given scheduler to the given transition matrix.

This means that all choices that are not taken by the scheduler are dropped from the transition matrix. If a state has no choice enabled, it is equipped with a self-loop instead.

Parameters

transitionMatrix	The transition matrix of the original system.
scheduler	The scheduler to apply to the system.

Returns

A transition matrix that corresponds to all transitions of the given system that are selected by the given scheduler.

Definition at line 21 of file matrix.h.