tempest

Author	SHA1	Message	Date
dehnert	00b4797948	Further refactoring. Other classes are now adapted to the changes in the sparse matrix class.	12 years ago
PBerger	06d78967df	Fixed MDP Parser, removed parsing of STATES/TRANSITIONS, see #10 Refactored the Sparse Adapters, see #17	12 years ago
Lanchid	5b57728d7e	Merge branch master into PrctlParser	12 years ago
dehnert	8c248c05c5	Renamed NonDeterministic to Nondeterministic in all places. Fixed (hopefully) all occurrences of these names. Implemented Prob0A algorithm.	12 years ago
PBerger	02cb1a2418	Replaced all calls to Matrix->toEigenSparseMatrix with calls to the adapter.	12 years ago
PBerger	9a9cd968d9	Added a test to verify the RowSum Function in the Sparse Matrix. Added an option to the settings for auto-fixing missing no-selfloop states. Kind of a super-option above fix-nodeadlocks, perhaps some Cleanup later on. Modified tra Files to comply with formats...	12 years ago
PBerger	557461a77d	Renamed SquareSparseMatrix to SparseMatrix	12 years ago
PBerger	b89db58fbb	Made changes to all files that use the Sparse Matrix, as the diagonal entries are now included in the main storage. This refs #34	12 years ago
PBerger	f983317b54	Renaming MRMC to STORM, see #42 Markt und Straßen stehn verlassen, still erleuchtet jedes Haus, Sinnend' geh ich durch die Gassen, alles sieht so festlich aus. An den Fenstern haben Frauen buntes Spielzeug fromm geschmückt, Tausend Kindlein stehn und schauen, sind so wunderstill beglückt. Und ich wandre aus den Mauern Bis hinaus ins freie Feld, Hehres Glänzen, heil'ges Schauern! Wie so weit und still die Welt! Sterne hoch die Kreise schlingen, Aus des Schnees Einsamkeit Steigt's wie wunderbares Singen- O du gnadenreiche Zeit! Merry Christmas commit ;)	12 years ago
PBerger	cce8391e44	Refactored everything to match naming scheme.	12 years ago
gereon	71c824b91a	hunting for memory erros adding make targets to call mrmc and mrmc-tests with valgrind fixing some memory errors in SSM, SSMTest, BitVector adding an additional check to readLabFile	12 years ago
dehnert	8911b0b71a	Fixed wrong namespace for bit vector and square sparse matrix classes.	12 years ago
dehnert	8806dc6592	Performed renaming of static_sparse_matrix.h to SquareSparseMatrix.h, renamed the class accordingly and adapted the tests and includes.	12 years ago
dehnert	3c5dbb8483	Changed all indexing to 0-bound. From now on, the available states always start with 0 and end with the state with the highest index used. Adapted the test cases. Added comments in the sparse matrix class.	12 years ago
PBerger	f5dce8d33a	Added a test for reported bug by CDehnert: Sparse Matrix to Eigen conversion loses the diagonal entries Fixed static_sparse_matrix.h	12 years ago
PBerger	a4f5794419	Added conversion routines from/to Eigen Sparse Matrix Format Added tests for aforementioned conversion routines. Changed call parameters for sparse/static_sparse_matrix.h Minor ICL 13.x changes.	12 years ago
PBerger	f66c0c110c	Renamed the static_sparse_matrix_test.cpp	12 years ago
Thomas Heinemann	d37b23a5c5	- Additional "wrong header" testcase for the tra parser - Methods of the sparse matrix now throw objects (instead of pointers) - Initializations of the pointer attributes of the sparse matrix with NULL (otherwise strange things may happen...) Note: Test cases for the sparse matrix now work for me.	12 years ago
PBerger	31d2c70acc	Added temporary Find* files for CMake Added custom exceptions Added Sparse Matrix Added Guidelines for Doxygen Added BUILD hints	13 years ago

6 Commits (758ff9fe42ae06fc15b23b85103572c5cce69518)