the former folder.
Also, changed those templates to use references instead of pointers for
easier code.
Renamer "utility.h" and .cpp to "ioUtility.h/cpp", as utility code
providing functionality not linked with IO has been put into other
files.
"check" which calls the correct check function in the model checker.
- The dot output was modified to work with the refactored names
- Also, it uses now filestreams instead of C style output
- and the iterators from the matrix class
- Included new (stub) test case for output (and general parsing)
Edited MRMCConfig.h.in to include the base path for Test/ Directory
Refactored the test files to use the new test/ base path macro
With credits to Thomas ;)
Atomic_proposition objects any longer)
Adapted labeling parser to work with declaration lines longer
than BUFFER_SIZE bytes.
With credits to Philipp :-)
- 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.
gereon
Lanchid
dehnert
PBerger