stormpy.datastructures

Reusable bit vectors, sparse matrices, distributions and JSON containers.

Functions

build_sparse_matrix

Build a sparse matrix from a two-dimensional NumPy array.

Classes

BitVector(...)	Compact bit vector with indexed access and iteration over the indices of set bits
Distribution	Finite Support Distribution
JsonContainer	Storm-internal container for JSON structures
SparseMatrix	Sparse matrix
SparseMatrixBuilder	Builder of sparse matrix
SparseMatrixEntry	Entry of sparse matrix
SparseMatrixRows	Set of rows in a sparse matrix