This is the complete list of members for storm::transformer::GoalStateMerger< SparseModelType >, including all inherited members.

GoalStateMerger(SparseModelType const &model)	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	storm::transformer::GoalStateMerger< SparseModelType >