Explicit engine model export refactoring and enhancements

prismmodelchecker / prism

The main development version of the PRISM model checker.

http://www.prismmodelchecker.org/

GNU General Public License v2.0

157 stars 72 forks source link

Closed davexparker closed 4 months ago

davexparker commented 4 months ago

Centralise code for (explicit engine) model export
- for PRISM explicit, Dot and Matlab formats
- move from methods in Model and subclasses to Exporter classes
New ModelExportOptions class
Move some export code from Prism to StateModelChecker
Refactor export code in Prism/PrismCL (tidy up, new options classes)
Remove support for export options MRMC/unordered
Add preliminary support for (explicit engine) model export to DRN format