cf5c04065e
Added streaming functionality to DD. More tests, more bugfixes.
Former-commit-id: 3c3078fbdc
11 years ago
6b07643c96
Further tests for DD layer and bugfixing.
Former-commit-id: 752a8c55ac
11 years ago
a4fec9f080
Started writing functional tests for DD abstraction layer and fixed some bugs on the way.
Former-commit-id: 8a2fc118be
11 years ago
12743e0a7e
Moved from additional row grouping to the one embedded in the matrix itself.
Former-commit-id: 9d7a1fff10
11 years ago
d70bb836bb
Tests are now working again with the row-grouped matrix.
Former-commit-id: b58e76b5bb
11 years ago
38833e308f
Started to add row-grouping to sparse matrix class.
Former-commit-id: 39e3703095
11 years ago
98b0bcf187
Reimplemented the TopologicalValueIterationNondeterministicLinearEquationSolver with splitting into submatrices.
Added a dtmc example for tests with the StronglyConnectedComponentDecomposition.
Former-commit-id: 0c33793fe6
11 years ago
15d13bc06d
Refactored the AutoParser.
- Devided the AutoParser.h into .h and .cpp
- The AutoParser now is a stateless class
|- This resulted in changes to the interface between the parsers and the rest of the project.
|- The main() now directly acquires a shared_ptr to an AbstractModel from the call of the AutoParser and keeps ownership of it.
|- Additionally, the division into .h and .cpp lead to a move of includes from the header to the source. This caused several tests to need some model header to be included.
|- Tests are still showing green (except those needing Gurobi, which I do not have).
Next up: Parser.h/.cpp, then comments and making things look nice.)
Former-commit-id: f59b7405e5
11 years ago
efb244a447
Added functional tests for scheduler classes.
Former-commit-id: d7f7da5ab0
11 years ago
f79329bd9d
Fixed SCC decomposition. Added functional tests for SCC decomposition.
Former-commit-id: 25a7805fcb
11 years ago
e80bb0caa5
Added functional tests for MEC decomposition.
Former-commit-id: 66b1265ebb
11 years ago
35d16a1191
Replaced VectorSet bei boost::container::flat_set, which does essentially the same. Fixed a bug in sparse matrix creation.
Former-commit-id: cb632bcfd4
11 years ago
f684ce7799
Removed obsolete constructors of sparse matrix class as the new matrix builder is supposed to be used anyway. Fixed some minor issues.
Former-commit-id: ee8a7cc440
11 years ago
81cf0e2b22
Added SparseMatrixBuilder class that actually builds the matrices. A call to build() will then generate the matrix. This eliminates superfluous checks in the matrix that slowed down performance.
Former-commit-id: af5d946fb8
11 years ago
cf2b84b281
Further work on iterators for sparse matrix.
Former-commit-id: 8e78262161
11 years ago
e08b61b9f7
Added functional and performance tests for sparse matrix.
Former-commit-id: dd9abe1826
11 years ago
a26f63be30
Finished reworking the sparse matrix implementation. Adapted all other classes to the (partially) new API of the matrix.
Former-commit-id: 2c3b5a5bc3
11 years ago
d5cadc0f4b
Finalized interface of bit vector. Added unit tests for all methods of the bit vector.
Former-commit-id: 6c7834ed20
11 years ago
07fbff7a07
Started refactoring bit vector class.
Former-commit-id: a2fecfce2b
11 years ago
158430418e
Replaced boost integer mask includes with cstdint
Reimplemented Gmm conversion with in place constructors
Former-commit-id: 003f582f9c
11 years ago
42b9072cbf
Implemented TBB Parallelization Support into SparseMatrix.h
Re-factored Includes in CMake for TBB
Former-commit-id: b5ebf4153a
12 years ago
ec91dcbe2e
Merge branch master into LTLParser
12 years ago
27de566228
Moved current tests to the functional test suite in an attempt to introduce performance tests.
12 years ago
dehnert
PBerger
masawei
Lanchid