#include "storm/exceptions/InvalidEnvironmentException.h"
#include "storm/exceptions/InvalidStateException.h"
#include "storm/exceptions/UnexpectedException.h"
#include "storm/exceptions/UnmetRequirementException.h"
#include "storm/storage/SparseMatrix.h"
#include "storm/utility/constants.h"
#include "storm/utility/vector.h"

Include dependency graph for AcyclicSolverHelper.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::helper

Functions
template<typename ValueType >
boost::optional< std::vector< uint64_t > >	storm::solver::helper::computeTopologicalGroupOrdering (storm::storage::SparseMatrix< ValueType > const &matrix)
	Returns a reordering of the matrix row(groups) and columns such that we can solve the (minmax or linear) equation system in one go.

template<typename ValueType >
storm::storage::SparseMatrix< ValueType >	storm::solver::helper::createReorderedMatrix (storm::storage::SparseMatrix< ValueType > const &matrix, std::vector< uint64_t > const &newToOrigIndexMap, std::vector< std::pair< uint64_t, ValueType > > &bFactors)
	reorders the row group such that the i'th row of the new matrix corresponds to the order[i]'th row of the source matrix.

Namespaces

Functions