StateEliminationUtility.h File Reference

#include <boost/optional.hpp>
#include <memory>
#include <vector>
#include "storm/adapters/RationalFunctionForward.h"
#include "storm/solver/stateelimination/EliminationOrder.h"
#include "storm/storage/sparse/StateType.h"

Include dependency graph for StateEliminationUtility.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::storage
namespace	storm::solver
namespace	storm::solver::stateelimination

Functions
bool	storm::solver::stateelimination::eliminationOrderNeedsDistances (EliminationOrder const &order)
bool	storm::solver::stateelimination::eliminationOrderNeedsForwardDistances (EliminationOrder const &order)
bool	storm::solver::stateelimination::eliminationOrderNeedsReversedDistances (EliminationOrder const &order)
bool	storm::solver::stateelimination::eliminationOrderIsPenaltyBased (EliminationOrder const &order)
bool	storm::solver::stateelimination::eliminationOrderIsStatic (EliminationOrder const &order)
template<typename ValueType>
uint_fast64_t	storm::solver::stateelimination::estimateComplexity (ValueType const &)
template<>
uint_fast64_t	storm::solver::stateelimination::estimateComplexity (storm::RationalFunction const &value)
template<typename ValueType>
uint_fast64_t	storm::solver::stateelimination::computeStatePenalty (storm::storage::sparse::state_type const &state, storm::storage::FlexibleSparseMatrix< ValueType > const &transitionMatrix, storm::storage::FlexibleSparseMatrix< ValueType > const &backwardTransitions, std::vector< ValueType > const &oneStepProbabilities)
template<typename ValueType>
uint_fast64_t	storm::solver::stateelimination::computeStatePenaltyRegularExpression (storm::storage::sparse::state_type const &state, storm::storage::FlexibleSparseMatrix< ValueType > const &transitionMatrix, storm::storage::FlexibleSparseMatrix< ValueType > const &backwardTransitions, std::vector< ValueType > const &)
template<typename ValueType>
std::shared_ptr< StatePriorityQueue >	storm::solver::stateelimination::createStatePriorityQueue (EliminationOrder const &order, boost::optional< std::vector< uint_fast64_t > > const &distanceBasedStatePriorities, storm::storage::FlexibleSparseMatrix< ValueType > const &transitionMatrix, storm::storage::FlexibleSparseMatrix< ValueType > const &backwardTransitions, std::vector< ValueType > const &oneStepProbabilities, storm::storage::BitVector const &states)
std::shared_ptr< StatePriorityQueue >	storm::solver::stateelimination::createStatePriorityQueue (storm::storage::BitVector const &states)
std::shared_ptr< StatePriorityQueue >	storm::solver::stateelimination::createStatePriorityQueue (std::vector< storm::storage::sparse::state_type > const &states)
template<typename ValueType>
std::vector< uint_fast64_t >	storm::solver::stateelimination::getDistanceBasedPriorities (EliminationOrder const &order, storm::storage::SparseMatrix< ValueType > const &transitionMatrix, storm::storage::SparseMatrix< ValueType > const &transitionMatrixTransposed, storm::storage::BitVector const &initialStates, std::vector< ValueType > const &oneStepProbabilities, bool forward, bool reverse)
template<typename ValueType>
std::vector< uint_fast64_t >	storm::solver::stateelimination::getStateDistances (storm::storage::SparseMatrix< ValueType > const &transitionMatrix, storm::storage::SparseMatrix< ValueType > const &transitionMatrixTransposed, storm::storage::BitVector const &initialStates, std::vector< ValueType > const &oneStepProbabilities, bool forward)