#include "storm/exceptions/InvalidArgumentException.h"#include "storm/exceptions/InvalidStateException.h"#include "storm/exceptions/OutOfRangeException.h"#include "storm/storage/BitVector.h"#include "storm/storage/SparseMatrix.h"#include "storm/utility/permutation.h"#include "test/storm_gtest.h"
Go to the source code of this file.
Functions | |
| TEST (SparseMatrixBuilder, CreationEmpty) | |
| TEST (SparseMatrixBuilder, CreationWithDimensions) | |
| TEST (SparseMatrixBuilder, CreationWithoutNumberOfEntries) | |
| TEST (SparseMatrixBuilder, CreationWithNumberOfRows) | |
| TEST (SparseMatrixBuilder, CreationWithoutDimensions) | |
| TEST (SparseMatrixBuilder, AddNextValue) | |
| TEST (SparseMatrix, Build) | |
| TEST (SparseMatrix, DiagonalEntries) | |
| TEST (SparseMatrix, CreationWithMovingContents) | |
| TEST (SparseMatrix, CopyConstruct) | |
| TEST (SparseMatrix, CopyAssign) | |
| TEST (SparseMatrix, MakeAbsorbing) | |
| TEST (SparseMatrix, MakeRowGroupAbsorbing) | |
| TEST (SparseMatrix, rowGroupIndices) | |
| TEST (SparseMatrix, ConstrainedRowSumVector) | |
| TEST (SparseMatrix, Submatrix) | |
| TEST (SparseMatrix, RestrictRows) | |
| TEST (SparseMatrix, Transpose) | |
| TEST (SparseMatrix, EquationSystem) | |
| TEST (SparseMatrix, JacobiDecomposition) | |
| TEST (SparseMatrix, PointwiseMultiplicationVector) | |
| TEST (SparseMatrix, MatrixVectorMultiply) | |
| TEST (SparseMatrix, Iteration) | |
| TEST (SparseMatrix, RowSum) | |
| TEST (SparseMatrix, IsSubmatrix) | |
| TEST (SparseMatrix, PermuteRows) | |
| TEST (SparseMatrix, PermuteRowGroupsAndColumns) | |
| TEST (SparseMatrix, DropZeroEntries) | |
Function Documentation
◆ TEST() [1/28]
| TEST | ( | SparseMatrix | , |
| Build | |||
| ) |
Definition at line 109 of file SparseMatrixTest.cpp.
◆ TEST() [2/28]
| TEST | ( | SparseMatrix | , |
| ConstrainedRowSumVector | |||
| ) |
Definition at line 387 of file SparseMatrixTest.cpp.
◆ TEST() [3/28]
| TEST | ( | SparseMatrix | , |
| CopyAssign | |||
| ) |
Definition at line 267 of file SparseMatrixTest.cpp.
◆ TEST() [4/28]
| TEST | ( | SparseMatrix | , |
| CopyConstruct | |||
| ) |
Definition at line 251 of file SparseMatrixTest.cpp.
◆ TEST() [5/28]
| TEST | ( | SparseMatrix | , |
| CreationWithMovingContents | |||
| ) |
Definition at line 235 of file SparseMatrixTest.cpp.
◆ TEST() [6/28]
| TEST | ( | SparseMatrix | , |
| DiagonalEntries | |||
| ) |
Definition at line 162 of file SparseMatrixTest.cpp.
◆ TEST() [7/28]
| TEST | ( | SparseMatrix | , |
| DropZeroEntries | |||
| ) |
Definition at line 889 of file SparseMatrixTest.cpp.
◆ TEST() [8/28]
| TEST | ( | SparseMatrix | , |
| EquationSystem | |||
| ) |
Definition at line 611 of file SparseMatrixTest.cpp.
◆ TEST() [9/28]
| TEST | ( | SparseMatrix | , |
| IsSubmatrix | |||
| ) |
Definition at line 782 of file SparseMatrixTest.cpp.
◆ TEST() [10/28]
| TEST | ( | SparseMatrix | , |
| Iteration | |||
| ) |
Definition at line 726 of file SparseMatrixTest.cpp.
◆ TEST() [11/28]
| TEST | ( | SparseMatrix | , |
| JacobiDecomposition | |||
| ) |
Definition at line 639 of file SparseMatrixTest.cpp.
◆ TEST() [12/28]
| TEST | ( | SparseMatrix | , |
| MakeAbsorbing | |||
| ) |
Definition at line 283 of file SparseMatrixTest.cpp.
◆ TEST() [13/28]
| TEST | ( | SparseMatrix | , |
| MakeRowGroupAbsorbing | |||
| ) |
Definition at line 309 of file SparseMatrixTest.cpp.
◆ TEST() [14/28]
| TEST | ( | SparseMatrix | , |
| MatrixVectorMultiply | |||
| ) |
Definition at line 700 of file SparseMatrixTest.cpp.
◆ TEST() [15/28]
| TEST | ( | SparseMatrix | , |
| PermuteRowGroupsAndColumns | |||
| ) |
Definition at line 844 of file SparseMatrixTest.cpp.
◆ TEST() [16/28]
| TEST | ( | SparseMatrix | , |
| PermuteRows | |||
| ) |
Definition at line 819 of file SparseMatrixTest.cpp.
◆ TEST() [17/28]
| TEST | ( | SparseMatrix | , |
| PointwiseMultiplicationVector | |||
| ) |
Definition at line 666 of file SparseMatrixTest.cpp.
◆ TEST() [18/28]
| TEST | ( | SparseMatrix | , |
| RestrictRows | |||
| ) |
Definition at line 501 of file SparseMatrixTest.cpp.
◆ TEST() [19/28]
| TEST | ( | SparseMatrix | , |
| rowGroupIndices | |||
| ) |
Definition at line 350 of file SparseMatrixTest.cpp.
◆ TEST() [20/28]
| TEST | ( | SparseMatrix | , |
| RowSum | |||
| ) |
Definition at line 765 of file SparseMatrixTest.cpp.
◆ TEST() [21/28]
| TEST | ( | SparseMatrix | , |
| Submatrix | |||
| ) |
Definition at line 437 of file SparseMatrixTest.cpp.
◆ TEST() [22/28]
| TEST | ( | SparseMatrix | , |
| Transpose | |||
| ) |
Definition at line 578 of file SparseMatrixTest.cpp.
◆ TEST() [23/28]
| TEST | ( | SparseMatrixBuilder | , |
| AddNextValue | |||
| ) |
Definition at line 83 of file SparseMatrixTest.cpp.
◆ TEST() [24/28]
| TEST | ( | SparseMatrixBuilder | , |
| CreationEmpty | |||
| ) |
Definition at line 9 of file SparseMatrixTest.cpp.
◆ TEST() [25/28]
| TEST | ( | SparseMatrixBuilder | , |
| CreationWithDimensions | |||
| ) |
Definition at line 19 of file SparseMatrixTest.cpp.
◆ TEST() [26/28]
| TEST | ( | SparseMatrixBuilder | , |
| CreationWithNumberOfRows | |||
| ) |
Definition at line 51 of file SparseMatrixTest.cpp.
◆ TEST() [27/28]
| TEST | ( | SparseMatrixBuilder | , |
| CreationWithoutDimensions | |||
| ) |
Definition at line 67 of file SparseMatrixTest.cpp.
◆ TEST() [28/28]
| TEST | ( | SparseMatrixBuilder | , |
| CreationWithoutNumberOfEntries | |||
| ) |
Definition at line 35 of file SparseMatrixTest.cpp.
