Refactor exportToDot methods for explicit model classes - subclasses just need to export their transitions, so it is easier to add more functionality regarding state info.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8389 bbc10eb1-c90d-0410-af57-cb519fbb1720
Add option to show states in dot file exported for explicit models (plus some commenting).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8390 bbc10eb1-c90d-0410-af57-cb519fbb1720
Connect export to dot with states option to Prism.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8392 bbc10eb1-c90d-0410-af57-cb519fbb1720
Re-factoring - push the creation of default filters during model checking into a utility method in ExpressionFilter.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8394 bbc10eb1-c90d-0410-af57-cb519fbb1720
Add an (as yet unimplemented) option to Prism to store the vector of results during model checking.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8396 bbc10eb1-c90d-0410-af57-cb519fbb1720
Bug fix in previous commit.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8398 bbc10eb1-c90d-0410-af57-cb519fbb1720
Add basic prism.StateVector interface, supported by various types of state vector.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8399 bbc10eb1-c90d-0410-af57-cb519fbb1720
Missing file from last commit.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8400 bbc10eb1-c90d-0410-af57-cb519fbb1720
Add optinal storage of a StateVector to Result class.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8401 bbc10eb1-c90d-0410-af57-cb519fbb1720
Store vector in Result during model checking if requested.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8402 bbc10eb1-c90d-0410-af57-cb519fbb1720
Bug fix - storeVector setting not being passed to symbolic model checkers.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8405 bbc10eb1-c90d-0410-af57-cb519fbb1720
Add clear() to the StateVector interface

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8407 bbc10eb1-c90d-0410-af57-cb519fbb1720
Remove trailing space when outputting StateValuesMTBDD.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8415 bbc10eb1-c90d-0410-af57-cb519fbb1720
Bug fix - multiple constants in RESULT spec for testing was not working.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8461 bbc10eb1-c90d-0410-af57-cb519fbb1720
Code tidy

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8589 bbc10eb1-c90d-0410-af57-cb519fbb1720
Small refactoring of methods to compute steady-state probabilities.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8593 bbc10eb1-c90d-0410-af57-cb519fbb1720
Code tidy (JavaDoc).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8594 bbc10eb1-c90d-0410-af57-cb519fbb1720
Models can have multiple system...endsystem constructs, they can be named, and they can be referenced from each other.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8597 bbc10eb1-c90d-0410-af57-cb519fbb1720
Update author info in some recently change classes.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8598 bbc10eb1-c90d-0410-af57-cb519fbb1720
lpsolve Makefile fix (from Steffen Maercker).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8599 bbc10eb1-c90d-0410-af57-cb519fbb1720