tempest

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.		13 years ago
..
read_lab_file_test.cpp	Refactoring of labeling classes.	13 years ago
read_tra_file_test.cpp	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.	13 years ago
readme.txt	Some minor changes (especially limiting the range of variables if	13 years ago

readme.txt

Note: *.tra-Files starting with "wrong_format" are to produce an error when 
being parsed. Hence, spelling errors and wrong formats are on purpose.
DO NOT CORRECT THEM!