Functions
template<typename ValueType, typename SolutionType>
storm::storage::BitVector	computeProbGreater0States (storm::solver::SolveGoal< ValueType, SolutionType > const &goal, storm::storage::SparseMatrix< ValueType > const &transitionMatrix, storm::storage::SparseMatrix< ValueType > const &backwardTransitions, storm::storage::BitVector const &phiStates, storm::storage::BitVector const &psiStates, uint64_t const upperBound, ModelCheckerHint const &hint)

Function Documentation

◆ computeProbGreater0States()

template<typename ValueType, typename SolutionType>

storm::storage::BitVector storm::modelchecker::helper::detail::computeProbGreater0States	(	storm::solver::SolveGoal< ValueType, SolutionType > const &	goal,
		storm::storage::SparseMatrix< ValueType > const &	transitionMatrix,
		storm::storage::SparseMatrix< ValueType > const &	backwardTransitions,
		storm::storage::BitVector const &	phiStates,
		storm::storage::BitVector const &	psiStates,
		uint64_t const	upperBound,
		ModelCheckerHint const &	hint )