StronglyConnectedComponentDecomposition.h File Reference

#include <optional>
#include <vector>
#include "storm/storage/BitVector.h"
#include "storm/storage/Decomposition.h"
#include "storm/storage/StronglyConnectedComponent.h"
#include "storm/utility/OptionalRef.h"

Include dependency graph for StronglyConnectedComponentDecomposition.h:

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

Go to the source code of this file.

Classes
struct	storm::storage::StronglyConnectedComponentDecompositionOptions
struct	storm::storage::SccDecompositionMemoryCache
	Holds temporary computation data used during the SCC decomposition algorithm. More...
struct	storm::storage::SccDecompositionResult
	Holds the result data of the implemented SCC decomposition algorithm. More...
class	storm::storage::StronglyConnectedComponentDecomposition< ValueType >
	This class represents the decomposition of a graph-like structure into its strongly connected components. More...

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::storage

Functions
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.