#include <map>#include <random>#include <utility>#include <vector>#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 (SparseMatrixBuilder, AccumulationModeSetterGetter) | |
| TEST (SparseMatrixBuilder, AccumulationSum) | |
| TEST (SparseMatrixBuilder, AccumulationExpectSame) | |
| TEST (SparseMatrixBuilder, AccumulationExpectNone) | |
| TEST (SparseMatrixBuilder, AccumulationDiagonalEntries) | |
| TEST (SparseMatrixBuilder, DuplicateEntriesWithoutForcedEntryCount) | |
| TEST (SparseMatrixBuilder, OutOfOrderInsertion) | |
| TEST (SparseMatrixBuilder, OutOfOrderInsertionRandomized) | |
| TEST (SparseMatrixBuilder, OverriddenDimensionsTooSmall) | |
| TEST (SparseMatrixBuilder, ContinueFromEmptyMatrix) | |
| TEST (SparseMatrixBuilder, TrailingEmptyRowGroup) | |
| 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) | |
| TEST (SparseMatrix, EqualityIgnoresExplicitZeros) | |
Function Documentation
◆ TEST() [1/41]
| TEST | ( | SparseMatrix | , |
| Build | ) |
Definition at line 447 of file SparseMatrixTest.cpp.
◆ TEST() [2/41]
| TEST | ( | SparseMatrix | , |
| ConstrainedRowSumVector | ) |
Definition at line 725 of file SparseMatrixTest.cpp.
◆ TEST() [3/41]
| TEST | ( | SparseMatrix | , |
| CopyAssign | ) |
Definition at line 605 of file SparseMatrixTest.cpp.
◆ TEST() [4/41]
| TEST | ( | SparseMatrix | , |
| CopyConstruct | ) |
Definition at line 589 of file SparseMatrixTest.cpp.
◆ TEST() [5/41]
| TEST | ( | SparseMatrix | , |
| CreationWithMovingContents | ) |
Definition at line 573 of file SparseMatrixTest.cpp.
◆ TEST() [6/41]
| TEST | ( | SparseMatrix | , |
| DiagonalEntries | ) |
Definition at line 500 of file SparseMatrixTest.cpp.
◆ TEST() [7/41]
| TEST | ( | SparseMatrix | , |
| DropZeroEntries | ) |
Definition at line 1227 of file SparseMatrixTest.cpp.
◆ TEST() [8/41]
| TEST | ( | SparseMatrix | , |
| EqualityIgnoresExplicitZeros | ) |
Definition at line 1352 of file SparseMatrixTest.cpp.
◆ TEST() [9/41]
| TEST | ( | SparseMatrix | , |
| EquationSystem | ) |
Definition at line 949 of file SparseMatrixTest.cpp.
◆ TEST() [10/41]
| TEST | ( | SparseMatrix | , |
| isProbabilistic | ) |
Definition at line 1332 of file SparseMatrixTest.cpp.
◆ TEST() [11/41]
| TEST | ( | SparseMatrix | , |
| IsSubmatrix | ) |
Definition at line 1120 of file SparseMatrixTest.cpp.
◆ TEST() [12/41]
| TEST | ( | SparseMatrix | , |
| Iteration | ) |
Definition at line 1064 of file SparseMatrixTest.cpp.
◆ TEST() [13/41]
| TEST | ( | SparseMatrix | , |
| JacobiDecomposition | ) |
Definition at line 977 of file SparseMatrixTest.cpp.
◆ TEST() [14/41]
| TEST | ( | SparseMatrix | , |
| MakeAbsorbing | ) |
Definition at line 621 of file SparseMatrixTest.cpp.
◆ TEST() [15/41]
| TEST | ( | SparseMatrix | , |
| MakeRowGroupAbsorbing | ) |
Definition at line 647 of file SparseMatrixTest.cpp.
◆ TEST() [16/41]
| TEST | ( | SparseMatrix | , |
| MatrixVectorMultiply | ) |
Definition at line 1038 of file SparseMatrixTest.cpp.
◆ TEST() [17/41]
| TEST | ( | SparseMatrix | , |
| PermuteRowGroupsAndColumns | ) |
Definition at line 1182 of file SparseMatrixTest.cpp.
◆ TEST() [18/41]
| TEST | ( | SparseMatrix | , |
| PermuteRows | ) |
Definition at line 1157 of file SparseMatrixTest.cpp.
◆ TEST() [19/41]
| TEST | ( | SparseMatrix | , |
| PointwiseMultiplicationVector | ) |
Definition at line 1004 of file SparseMatrixTest.cpp.
◆ TEST() [20/41]
| TEST | ( | SparseMatrix | , |
| RestrictRows | ) |
Definition at line 839 of file SparseMatrixTest.cpp.
◆ TEST() [21/41]
| TEST | ( | SparseMatrix | , |
| rowGroupIndices | ) |
Definition at line 688 of file SparseMatrixTest.cpp.
◆ TEST() [22/41]
| TEST | ( | SparseMatrix | , |
| RowSum | ) |
Definition at line 1103 of file SparseMatrixTest.cpp.
◆ TEST() [23/41]
| TEST | ( | SparseMatrix | , |
| Submatrix | ) |
Definition at line 775 of file SparseMatrixTest.cpp.
◆ TEST() [24/41]
| TEST | ( | SparseMatrix | , |
| Transpose | ) |
Definition at line 916 of file SparseMatrixTest.cpp.
◆ TEST() [25/41]
| TEST | ( | SparseMatrixBuilder | , |
| AccumulationDiagonalEntries | ) |
Definition at line 207 of file SparseMatrixTest.cpp.
◆ TEST() [26/41]
| TEST | ( | SparseMatrixBuilder | , |
| AccumulationExpectNone | ) |
Definition at line 186 of file SparseMatrixTest.cpp.
◆ TEST() [27/41]
| TEST | ( | SparseMatrixBuilder | , |
| AccumulationExpectSame | ) |
Definition at line 161 of file SparseMatrixTest.cpp.
◆ TEST() [28/41]
| TEST | ( | SparseMatrixBuilder | , |
| AccumulationModeSetterGetter | ) |
Definition at line 129 of file SparseMatrixTest.cpp.
◆ TEST() [29/41]
| TEST | ( | SparseMatrixBuilder | , |
| AccumulationSum | ) |
Definition at line 140 of file SparseMatrixTest.cpp.
◆ TEST() [30/41]
| TEST | ( | SparseMatrixBuilder | , |
| AddNextValue | ) |
Definition at line 90 of file SparseMatrixTest.cpp.
◆ TEST() [31/41]
| TEST | ( | SparseMatrixBuilder | , |
| ContinueFromEmptyMatrix | ) |
Definition at line 414 of file SparseMatrixTest.cpp.
◆ TEST() [32/41]
| TEST | ( | SparseMatrixBuilder | , |
| CreationEmpty | ) |
Definition at line 16 of file SparseMatrixTest.cpp.
◆ TEST() [33/41]
| TEST | ( | SparseMatrixBuilder | , |
| CreationWithDimensions | ) |
Definition at line 26 of file SparseMatrixTest.cpp.
◆ TEST() [34/41]
| TEST | ( | SparseMatrixBuilder | , |
| CreationWithNumberOfRows | ) |
Definition at line 58 of file SparseMatrixTest.cpp.
◆ TEST() [35/41]
| TEST | ( | SparseMatrixBuilder | , |
| CreationWithoutDimensions | ) |
Definition at line 74 of file SparseMatrixTest.cpp.
◆ TEST() [36/41]
| TEST | ( | SparseMatrixBuilder | , |
| CreationWithoutNumberOfEntries | ) |
Definition at line 42 of file SparseMatrixTest.cpp.
◆ TEST() [37/41]
| TEST | ( | SparseMatrixBuilder | , |
| DuplicateEntriesWithoutForcedEntryCount | ) |
Definition at line 262 of file SparseMatrixTest.cpp.
◆ TEST() [38/41]
| TEST | ( | SparseMatrixBuilder | , |
| OutOfOrderInsertion | ) |
Definition at line 283 of file SparseMatrixTest.cpp.
◆ TEST() [39/41]
| TEST | ( | SparseMatrixBuilder | , |
| OutOfOrderInsertionRandomized | ) |
Definition at line 338 of file SparseMatrixTest.cpp.
◆ TEST() [40/41]
| TEST | ( | SparseMatrixBuilder | , |
| OverriddenDimensionsTooSmall | ) |
Definition at line 365 of file SparseMatrixTest.cpp.
◆ TEST() [41/41]
| TEST | ( | SparseMatrixBuilder | , |
| TrailingEmptyRowGroup | ) |
Definition at line 429 of file SparseMatrixTest.cpp.
