storm::transformer::ChoiceSelector< ValueType, RewardModelType > Class Template Reference

#include <ChoiceSelector.h>

Public Member Functions
	ChoiceSelector (storm::models::sparse::NondeterministicModel< ValueType, RewardModelType > const &inputModel)
std::shared_ptr< storm::models::sparse::NondeterministicModel< ValueType, RewardModelType > >	transform (storm::storage::BitVector const &enabledActions) const
	Constructs an MDP by copying the current MDP and restricting the choices of each state to the ones given by the bitvector.

Detailed Description

template<typename ValueType, typename RewardModelType = storm::models::sparse::StandardRewardModel<ValueType>>
class storm::transformer::ChoiceSelector< ValueType, RewardModelType >

Definition at line 10 of file ChoiceSelector.h.

Constructor & Destructor Documentation

ChoiceSelector()

template<typename ValueType , typename RewardModelType = storm::models::sparse::StandardRewardModel<ValueType>>

storm::transformer::ChoiceSelector< ValueType, RewardModelType >::ChoiceSelector ( storm::models::sparse::NondeterministicModel< ValueType, RewardModelType > const &  inputModel )

inline

Definition at line 12 of file ChoiceSelector.h.

Member Function Documentation

transform()

template<typename ValueType , typename RewardModelType >

std::shared_ptr< storm::models::sparse::NondeterministicModel< ValueType, RewardModelType > > storm::transformer::ChoiceSelector< ValueType, RewardModelType >::transform

(

storm::storage::BitVector const &

enabledActions

)

const

Constructs an MDP by copying the current MDP and restricting the choices of each state to the ones given by the bitvector.

Parameters

enabledActions

A BitVector of lenght numberOfChoices(), which is one iff the action should be kept.

Returns

A subMDP.

Definition at line 14 of file ChoiceSelector.cpp.

---

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

• src/storm/transformer/ChoiceSelector.h
• src/storm/transformer/ChoiceSelector.cpp