SparseMatrix.h File Reference

#include <algorithm>
#include <cstdint>
#include <iosfwd>
#include <iterator>
#include <vector>
#include <boost/functional/hash.hpp>
#include <boost/optional.hpp>
#include <boost/range/irange.hpp>
#include "storm/solver/OptimizationDirection.h"
#include "storm/storage/BitVector.h"
#include "storm/storage/sparse/StateType.h"
#include "storm/adapters/IntelTbbAdapter.h"
#include "storm/utility/OsDetection.h"
#include "storm/utility/constants.h"

Include dependency graph for SparseMatrix.h:

Go to the source code of this file.

Classes
class	storm::storage::MatrixEntry< IndexType, ValueType >
class	storm::storage::SparseMatrixBuilder< ValueType >
	A class that can be used to build a sparse matrix by adding value by value. More...
class	storm::storage::SparseMatrix< ValueType >
	A class that holds a possibly non-square matrix in the compressed row storage format. More...
class	storm::storage::SparseMatrix< ValueType >::rows
	This class represents a number of consecutive rows of the matrix. More...
class	storm::storage::SparseMatrix< ValueType >::const_rows
	This class represents a number of consecutive rows of the matrix. More...

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

Typedefs
typedef storm::storage::sparse::state_type	storm::storage::SparseMatrixIndexType

Functions
template<typename IndexType , typename ValueType >
std::size_t	storm::storage::hash_value (MatrixEntry< IndexType, ValueType > const &matrixEntry)
	Computes the hash value of a matrix entry.