stateelimination.h File Reference

#include <memory>
#include <vector>
#include <boost/optional.hpp>
#include "storm/storage/sparse/StateType.h"
#include "storm/adapters/RationalFunctionAdapter.h"
#include "storm/settings/modules/EliminationSettings.h"

Include dependency graph for stateelimination.h:

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

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::solver
namespace	storm::solver::stateelimination
namespace	storm::storage
namespace	storm::utility
namespace	storm::utility::stateelimination

Functions
bool	storm::utility::stateelimination::eliminationOrderNeedsDistances (storm::settings::modules::EliminationSettings::EliminationOrder const &order)
bool	storm::utility::stateelimination::eliminationOrderNeedsForwardDistances (storm::settings::modules::EliminationSettings::EliminationOrder const &order)
bool	storm::utility::stateelimination::eliminationOrderNeedsReversedDistances (storm::settings::modules::EliminationSettings::EliminationOrder const &order)
bool	storm::utility::stateelimination::eliminationOrderIsPenaltyBased (storm::settings::modules::EliminationSettings::EliminationOrder const &order)
bool	storm::utility::stateelimination::eliminationOrderIsStatic (storm::settings::modules::EliminationSettings::EliminationOrder const &order)
template<typename ValueType >
uint_fast64_t	storm::utility::stateelimination::estimateComplexity (ValueType const &)
template<typename ValueType >
uint_fast64_t	storm::utility::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::utility::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::utility::stateelimination::createStatePriorityQueue (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::utility::stateelimination::createStatePriorityQueue (storm::storage::BitVector const &states)
std::shared_ptr< StatePriorityQueue >	storm::utility::stateelimination::createStatePriorityQueue (std::vector< storm::storage::sparse::state_type > const &states)
template<typename ValueType >
std::vector< uint_fast64_t >	storm::utility::stateelimination::getDistanceBasedPriorities (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::utility::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)