MaximalEndComponentDecomposition.cpp File Reference

#include <algorithm>
#include <span>
#include <sstream>
#include "storm/models/sparse/StandardRewardModel.h"
#include "storm/adapters/RationalFunctionAdapter.h"
#include "storm/storage/MaximalEndComponentDecomposition.h"
#include "storm/storage/StronglyConnectedComponentDecomposition.h"
#include "storm/utility/graph.h"

Include dependency graph for MaximalEndComponentDecomposition.cpp:

Go to the source code of this file.

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

Functions
void	storm::storage::getFlatSccDecomposition (SccDecompositionResult const &sccDecRes, std::vector< uint64_t > &sccStates, std::vector< uint64_t > &sccIndications)
	Compute a mapping from SCC index to the set of states in that SCC.