#include "storm-config.h"#include "test/storm_gtest.h"#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"
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) | |
| TEST (SparseMatrix, isProbabilistic) | |
Function Documentation
◆ TEST() [1/29]
| TEST | ( | SparseMatrix | , |
| Build | ) |
Definition at line 111 of file SparseMatrixTest.cpp.
◆ TEST() [2/29]
| TEST | ( | SparseMatrix | , |
| ConstrainedRowSumVector | ) |
Definition at line 389 of file SparseMatrixTest.cpp.
◆ TEST() [3/29]
| TEST | ( | SparseMatrix | , |
| CopyAssign | ) |
Definition at line 269 of file SparseMatrixTest.cpp.
◆ TEST() [4/29]
| TEST | ( | SparseMatrix | , |
| CopyConstruct | ) |
Definition at line 253 of file SparseMatrixTest.cpp.
◆ TEST() [5/29]
| TEST | ( | SparseMatrix | , |
| CreationWithMovingContents | ) |
Definition at line 237 of file SparseMatrixTest.cpp.
◆ TEST() [6/29]
| TEST | ( | SparseMatrix | , |
| DiagonalEntries | ) |
Definition at line 164 of file SparseMatrixTest.cpp.
◆ TEST() [7/29]
| TEST | ( | SparseMatrix | , |
| DropZeroEntries | ) |
Definition at line 891 of file SparseMatrixTest.cpp.
◆ TEST() [8/29]
| TEST | ( | SparseMatrix | , |
| EquationSystem | ) |
Definition at line 613 of file SparseMatrixTest.cpp.
◆ TEST() [9/29]
| TEST | ( | SparseMatrix | , |
| isProbabilistic | ) |
Definition at line 996 of file SparseMatrixTest.cpp.
◆ TEST() [10/29]
| TEST | ( | SparseMatrix | , |
| IsSubmatrix | ) |
Definition at line 784 of file SparseMatrixTest.cpp.
◆ TEST() [11/29]
| TEST | ( | SparseMatrix | , |
| Iteration | ) |
Definition at line 728 of file SparseMatrixTest.cpp.
◆ TEST() [12/29]
| TEST | ( | SparseMatrix | , |
| JacobiDecomposition | ) |
Definition at line 641 of file SparseMatrixTest.cpp.
◆ TEST() [13/29]
| TEST | ( | SparseMatrix | , |
| MakeAbsorbing | ) |
Definition at line 285 of file SparseMatrixTest.cpp.
◆ TEST() [14/29]
| TEST | ( | SparseMatrix | , |
| MakeRowGroupAbsorbing | ) |
Definition at line 311 of file SparseMatrixTest.cpp.
◆ TEST() [15/29]
| TEST | ( | SparseMatrix | , |
| MatrixVectorMultiply | ) |
Definition at line 702 of file SparseMatrixTest.cpp.
◆ TEST() [16/29]
| TEST | ( | SparseMatrix | , |
| PermuteRowGroupsAndColumns | ) |
Definition at line 846 of file SparseMatrixTest.cpp.
◆ TEST() [17/29]
| TEST | ( | SparseMatrix | , |
| PermuteRows | ) |
Definition at line 821 of file SparseMatrixTest.cpp.
◆ TEST() [18/29]
| TEST | ( | SparseMatrix | , |
| PointwiseMultiplicationVector | ) |
Definition at line 668 of file SparseMatrixTest.cpp.
◆ TEST() [19/29]
| TEST | ( | SparseMatrix | , |
| RestrictRows | ) |
Definition at line 503 of file SparseMatrixTest.cpp.
◆ TEST() [20/29]
| TEST | ( | SparseMatrix | , |
| rowGroupIndices | ) |
Definition at line 352 of file SparseMatrixTest.cpp.
◆ TEST() [21/29]
| TEST | ( | SparseMatrix | , |
| RowSum | ) |
Definition at line 767 of file SparseMatrixTest.cpp.
◆ TEST() [22/29]
| TEST | ( | SparseMatrix | , |
| Submatrix | ) |
Definition at line 439 of file SparseMatrixTest.cpp.
◆ TEST() [23/29]
| TEST | ( | SparseMatrix | , |
| Transpose | ) |
Definition at line 580 of file SparseMatrixTest.cpp.
◆ TEST() [24/29]
| TEST | ( | SparseMatrixBuilder | , |
| AddNextValue | ) |
Definition at line 85 of file SparseMatrixTest.cpp.
◆ TEST() [25/29]
| TEST | ( | SparseMatrixBuilder | , |
| CreationEmpty | ) |
Definition at line 11 of file SparseMatrixTest.cpp.
◆ TEST() [26/29]
| TEST | ( | SparseMatrixBuilder | , |
| CreationWithDimensions | ) |
Definition at line 21 of file SparseMatrixTest.cpp.
◆ TEST() [27/29]
| TEST | ( | SparseMatrixBuilder | , |
| CreationWithNumberOfRows | ) |
Definition at line 53 of file SparseMatrixTest.cpp.
◆ TEST() [28/29]
| TEST | ( | SparseMatrixBuilder | , |
| CreationWithoutDimensions | ) |
Definition at line 69 of file SparseMatrixTest.cpp.
◆ TEST() [29/29]
| TEST | ( | SparseMatrixBuilder | , |
| CreationWithoutNumberOfEntries | ) |
Definition at line 37 of file SparseMatrixTest.cpp.
