|
Storm 1.11.1.1
A Modern Probabilistic Model Checker
|
#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 | , |
| Build | |||
| ) |
Definition at line 111 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrix | , |
| ConstrainedRowSumVector | |||
| ) |
Definition at line 389 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrix | , |
| CopyAssign | |||
| ) |
Definition at line 269 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrix | , |
| CopyConstruct | |||
| ) |
Definition at line 253 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrix | , |
| CreationWithMovingContents | |||
| ) |
Definition at line 237 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrix | , |
| DiagonalEntries | |||
| ) |
Definition at line 164 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrix | , |
| DropZeroEntries | |||
| ) |
Definition at line 891 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrix | , |
| EquationSystem | |||
| ) |
Definition at line 613 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrix | , |
| IsSubmatrix | |||
| ) |
Definition at line 784 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrix | , |
| Iteration | |||
| ) |
Definition at line 728 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrix | , |
| JacobiDecomposition | |||
| ) |
Definition at line 641 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrix | , |
| MakeAbsorbing | |||
| ) |
Definition at line 285 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrix | , |
| MakeRowGroupAbsorbing | |||
| ) |
Definition at line 311 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrix | , |
| MatrixVectorMultiply | |||
| ) |
Definition at line 702 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrix | , |
| PermuteRowGroupsAndColumns | |||
| ) |
Definition at line 846 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrix | , |
| PermuteRows | |||
| ) |
Definition at line 821 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrix | , |
| PointwiseMultiplicationVector | |||
| ) |
Definition at line 668 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrix | , |
| RestrictRows | |||
| ) |
Definition at line 503 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrix | , |
| rowGroupIndices | |||
| ) |
Definition at line 352 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrix | , |
| RowSum | |||
| ) |
Definition at line 767 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrix | , |
| Submatrix | |||
| ) |
Definition at line 439 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrix | , |
| Transpose | |||
| ) |
Definition at line 580 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrixBuilder | , |
| AddNextValue | |||
| ) |
Definition at line 85 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrixBuilder | , |
| CreationEmpty | |||
| ) |
Definition at line 11 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrixBuilder | , |
| CreationWithDimensions | |||
| ) |
Definition at line 21 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrixBuilder | , |
| CreationWithNumberOfRows | |||
| ) |
Definition at line 53 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrixBuilder | , |
| CreationWithoutDimensions | |||
| ) |
Definition at line 69 of file SparseMatrixTest.cpp.
| TEST | ( | SparseMatrixBuilder | , |
| CreationWithoutNumberOfEntries | |||
| ) |
Definition at line 37 of file SparseMatrixTest.cpp.