dehnert
|
2bf01bfea3
|
Added graph search algorithms for determining the set of states that have no possibility of going to a non-target state. Enhanced bit vector class.
|
12 years ago |
|
dehnert
|
05eaab7816
|
Removed invocations of memcpy in favour of std::copy as compilers will take care of optimizations.
|
12 years ago |
|
dehnert
|
c634ff6d0b
|
Removed debug output.
|
12 years ago |
gereon
|
e632fc1bb6
|
fixing error & warning...
|
12 years ago |
|
dehnert
|
8857655b56
|
Refactored names according to guidelines.
|
12 years ago |
|
dehnert
|
464fe97578
|
Fixed initialization order in constructor.
|
12 years ago |
|
dehnert
|
70bf39b634
|
Fixed includes for graph transitions class. Added index iteration functionality to the bit vector class.
|
12 years ago |
|
dehnert
|
d871aca351
|
Renamed the backward transitions class to GraphTransitions and generalized it to be able to store the forward or backward graph structure of a given system.
|
12 years ago |
|
dehnert
|
1ed29262ff
|
Renamed dtmc.h to Dtmc.h and backward_transitions.h to BackwardTransitions.h.
|
12 years ago |
|
dehnert
|
378fe3f532
|
Renamed and refactored atomic propositions labeling.
|
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
|
bdfb9b7d72
|
Further refactoring of the bit vector class, now including logging output. Renamed it according to the new naming scheme.
|
12 years ago |
|
dehnert
|
876154e6f0
|
Removed logging output from all classes. Added log4cplus as 3rdparty library. Refactored CMakeLists.txt to always use libraries that are in the repository. Changed executable file to mrmc/mrmc-tests. Added case distinction in gtest to compile with clang.
|
12 years ago |
|
dehnert
|
5a8c2a8d0e
|
Added iterator functionality to bit vector. Minor cosmetics here and there.
|
12 years ago |
|
dehnert
|
ee081fd570
|
Fixed a lot of memory access violations, memory leaks, warnings. Enabled -Werror for gcc, as there are currently no warnings.
|
12 years ago |
|
dehnert
|
3560d10481
|
Added comment for destructor.
|
12 years ago |
|
dehnert
|
d5919f2fdf
|
Removed unnecessary lines.
|
12 years ago |
|
dehnert
|
eeddadc096
|
The columns of non-zero elements of a single row in a sparse matrix can now be iterated using an iterator. These iterator functionality is now used by the computation of the backwards transitions.
|
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 |
|
dehnert
|
12e6a945df
|
Included new (smaller) test model. Bugfixes and improvements to BackwardTransitions class. Removed performance test code from main() function in favor for creating a simple DTMC from the input parameters.
|
12 years ago |
|
dehnert
|
bd594e2fae
|
Added backwards transitions class. Small refactorings. Had to comment out some parts in utility.cpp and read_tra_file_test.cpp because they do not compile and seem to not be compliant with the current version in the repository.
|
12 years ago |
|
dehnert
|
107ea1e498
|
Fixed minor typo in comment.
|
12 years ago |
|
dehnert
|
b7618fd91a
|
Refactoring of labeling classes.
|
12 years ago |
|
dehnert
|
44fbef62bd
|
Added capability to compute model size in bytes and corresponding functions in several classes. Added model info output to DTMC class. Added atomic proposition information output to atomic propositions labeling class.
|
12 years ago |
|
dehnert
|
0ec2369459
|
Added support for 1-based indices for atomic proposition labeling. Fixed some whitespace typos.
|
12 years ago |
|
dehnert
|
c33dfac505
|
Renamed classes for atomic proposition labeling storage.
Added some methods to DTMC class stub.
|
12 years ago |
|
dehnert
|
88101ef238
|
Fixed comment typo.
|
12 years ago |
|
dehnert
|
b7eaeab11f
|
Renamed dtmc folder to models, corrected namespace in contained classes and fixed includes in affected files.
Added DTMC class stub.
|
12 years ago |
