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

GoalStateMerger(storm::models::sparse::Model< ValueType > const &model)	storm::transformer::GoalStateMerger< ValueType >
mergeForFormula(storm::logic::Formula const &formula, bool const dropUnreachableFromInit) const	storm::transformer::GoalStateMerger< ValueType >
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 >(), std::optional< storm::storage::BitVector > const &choiceFilter=std::nullopt, std::optional< uint64_t > representativeTargetState=std::nullopt, std::optional< uint64_t > representativeSinkState=std::nullopt) const	storm::transformer::GoalStateMerger< ValueType >