tempest

0 Tags

187 MiB

Author	SHA1	Message	Date
dehnert	00b4797948	Further refactoring. Other classes are now adapted to the changes in the sparse matrix class.	13 years ago
dehnert	a6ae3d713a	Fixed test for nondeterministic model parser.	13 years ago
PBerger	06d78967df	Fixed MDP Parser, removed parsing of STATES/TRANSITIONS, see #10 Refactored the Sparse Adapters, see #17	13 years ago
dehnert	8c248c05c5	Renamed NonDeterministic to Nondeterministic in all places. Fixed (hopefully) all occurrences of these names. Implemented Prob0A algorithm.	13 years ago
dehnert	7d95a45633	Fixed bug in AbstractModelChecker: it does now correctly inherit from a lot more interface classes. NOTE: checking a formula on a model checker that does not support it failed silently. This should NOT be the case. Re-enabled DEBUG option for cmake. NOTE: why was this disabled anyway? Introduced another layer AbstractDeterministicModel and AbstractNonDeterministicModel in model hierarchy to allow for easily distinguishing these classes. Made necessary adaptions in (hopefully) all classes. Move the graph analyzer to utility folder.	13 years ago
gereon	718608622f	added Ctmdp model, changed MdpParser to NonDetModelParser	13 years ago
gereon	10e25fbd61	fixed warnings in ParseMdpTest	13 years ago
dehnert	e52379bb54	Added XCode stuff to .gitignore. Fixed a few tests to compile with clang under -Werror.	13 years ago
PBerger	7800132684	Added Mdp Class, Parser and support in the AutoParser. Added Test for MdpParser	13 years ago