Storm 1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
SparseMatrixTest.cpp File Reference
Include dependency graph for SparseMatrixTest.cpp:

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 111 of file SparseMatrixTest.cpp.

◆ TEST() [2/28]

TEST ( SparseMatrix  ,
ConstrainedRowSumVector   
)

Definition at line 389 of file SparseMatrixTest.cpp.

◆ TEST() [3/28]

TEST ( SparseMatrix  ,
CopyAssign   
)

Definition at line 269 of file SparseMatrixTest.cpp.

◆ TEST() [4/28]

TEST ( SparseMatrix  ,
CopyConstruct   
)

Definition at line 253 of file SparseMatrixTest.cpp.

◆ TEST() [5/28]

TEST ( SparseMatrix  ,
CreationWithMovingContents   
)

Definition at line 237 of file SparseMatrixTest.cpp.

◆ TEST() [6/28]

TEST ( SparseMatrix  ,
DiagonalEntries   
)

Definition at line 164 of file SparseMatrixTest.cpp.

◆ TEST() [7/28]

TEST ( SparseMatrix  ,
DropZeroEntries   
)

Definition at line 891 of file SparseMatrixTest.cpp.

◆ TEST() [8/28]

TEST ( SparseMatrix  ,
EquationSystem   
)

Definition at line 613 of file SparseMatrixTest.cpp.

◆ TEST() [9/28]

TEST ( SparseMatrix  ,
IsSubmatrix   
)

Definition at line 784 of file SparseMatrixTest.cpp.

◆ TEST() [10/28]

TEST ( SparseMatrix  ,
Iteration   
)

Definition at line 728 of file SparseMatrixTest.cpp.

◆ TEST() [11/28]

TEST ( SparseMatrix  ,
JacobiDecomposition   
)

Definition at line 641 of file SparseMatrixTest.cpp.

◆ TEST() [12/28]

TEST ( SparseMatrix  ,
MakeAbsorbing   
)

Definition at line 285 of file SparseMatrixTest.cpp.

◆ TEST() [13/28]

TEST ( SparseMatrix  ,
MakeRowGroupAbsorbing   
)

Definition at line 311 of file SparseMatrixTest.cpp.

◆ TEST() [14/28]

TEST ( SparseMatrix  ,
MatrixVectorMultiply   
)

Definition at line 702 of file SparseMatrixTest.cpp.

◆ TEST() [15/28]

TEST ( SparseMatrix  ,
PermuteRowGroupsAndColumns   
)

Definition at line 846 of file SparseMatrixTest.cpp.

◆ TEST() [16/28]

TEST ( SparseMatrix  ,
PermuteRows   
)

Definition at line 821 of file SparseMatrixTest.cpp.

◆ TEST() [17/28]

TEST ( SparseMatrix  ,
PointwiseMultiplicationVector   
)

Definition at line 668 of file SparseMatrixTest.cpp.

◆ TEST() [18/28]

TEST ( SparseMatrix  ,
RestrictRows   
)

Definition at line 503 of file SparseMatrixTest.cpp.

◆ TEST() [19/28]

TEST ( SparseMatrix  ,
rowGroupIndices   
)

Definition at line 352 of file SparseMatrixTest.cpp.

◆ TEST() [20/28]

TEST ( SparseMatrix  ,
RowSum   
)

Definition at line 767 of file SparseMatrixTest.cpp.

◆ TEST() [21/28]

TEST ( SparseMatrix  ,
Submatrix   
)

Definition at line 439 of file SparseMatrixTest.cpp.

◆ TEST() [22/28]

TEST ( SparseMatrix  ,
Transpose   
)

Definition at line 580 of file SparseMatrixTest.cpp.

◆ TEST() [23/28]

TEST ( SparseMatrixBuilder  ,
AddNextValue   
)

Definition at line 85 of file SparseMatrixTest.cpp.

◆ TEST() [24/28]

TEST ( SparseMatrixBuilder  ,
CreationEmpty   
)

Definition at line 11 of file SparseMatrixTest.cpp.

◆ TEST() [25/28]

TEST ( SparseMatrixBuilder  ,
CreationWithDimensions   
)

Definition at line 21 of file SparseMatrixTest.cpp.

◆ TEST() [26/28]

TEST ( SparseMatrixBuilder  ,
CreationWithNumberOfRows   
)

Definition at line 53 of file SparseMatrixTest.cpp.

◆ TEST() [27/28]

TEST ( SparseMatrixBuilder  ,
CreationWithoutDimensions   
)

Definition at line 69 of file SparseMatrixTest.cpp.

◆ TEST() [28/28]

TEST ( SparseMatrixBuilder  ,
CreationWithoutNumberOfEntries   
)

Definition at line 37 of file SparseMatrixTest.cpp.