Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
StronglyConnectedComponentDecomposition.cpp File Reference
Include dependency graph for StronglyConnectedComponentDecomposition.cpp:

Go to the source code of this file.

Namespaces

namespace  storm
 LabParser.cpp.
 
namespace  storm::storage
 

Functions

template<typename ValueType >
void storm::storage::performSccDecompositionGCM (storm::storage::SparseMatrix< ValueType > const &transitionMatrix, storm::OptionalRef< storm::storage::BitVector const > subsystem, storm::OptionalRef< storm::storage::BitVector const > choices, bool, uint64_t startState, uint64_t &currentIndex, SccDecompositionResult &result, SccDecompositionMemoryCache &cache)
 Uses the algorithm by Gabow/Cheriyan/Mehlhorn ("Path-based strongly connected component algorithm") to compute a mapping of states to their SCCs.
 
template<typename ValueType >
void storm::storage::performSccDecomposition (storm::storage::SparseMatrix< ValueType > const &transitionMatrix, StronglyConnectedComponentDecompositionOptions const &options, SccDecompositionResult &result)
 Computes an SCC decomposition for the given matrix and options.
 
template<typename ValueType >
void storm::storage::performSccDecomposition (storm::storage::SparseMatrix< ValueType > const &transitionMatrix, StronglyConnectedComponentDecompositionOptions const &options, SccDecompositionResult &result, SccDecompositionMemoryCache &cache)
 Computes an SCC decomposition for the given matrix and options.