Saving all input in the space and hastings class

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

BSD 3-Clause "New" or "Revised" License

4 stars 1 forks source link

Saving all input in the space and hastings class #78

Open xhajnal opened 4 years ago

xhajnal commented 4 years ago

[ ] the constraints are not stored in the space class, making it necessary to know what constraints were used. [ ] the functions and data are not stored in the Hastings class, making it necessary to know what functions and data were used.