storm::transformer::GoalStateMerger< SparseModelType > Class Template Reference

#include <GoalStateMerger.h>

Classes
struct	ReturnType

Public Member Functions
	GoalStateMerger (SparseModelType const &model)
ReturnType	mergeTargetAndSinkStates (storm::storage::BitVector const &maybeStates, storm::storage::BitVector const &targetStates, storm::storage::BitVector const &sinkStates, std::vector< std::string > const &selectedRewardModels=std::vector< std::string >(), boost::optional< storm::storage::BitVector > const &choiceFilter=boost::none) const

Detailed Description

template<typename SparseModelType>
class storm::transformer::GoalStateMerger< SparseModelType >

Definition at line 20 of file GoalStateMerger.h.

Constructor & Destructor Documentation

GoalStateMerger()

template<typename SparseModelType >

storm::transformer::GoalStateMerger< SparseModelType >::GoalStateMerger

(

SparseModelType const &

model

)

Definition at line 23 of file GoalStateMerger.cpp.

Member Function Documentation

mergeTargetAndSinkStates()

template<typename SparseModelType >

GoalStateMerger< SparseModelType >::ReturnType storm::transformer::GoalStateMerger< SparseModelType >::mergeTargetAndSinkStates	(	storm::storage::BitVector const &	maybeStates,
		storm::storage::BitVector const &	targetStates,
		storm::storage::BitVector const &	sinkStates,
		std::vector< std::string > const &	selectedRewardModels = std::vector<std::string>(),
		boost::optional< storm::storage::BitVector > const &	choiceFilter = boost::none
	)		const

Definition at line 28 of file GoalStateMerger.cpp.

---

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

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