Show optimised point in space

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

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

4 stars 1 forks source link

Closed xhajnal closed 3 years ago

xhajnal commented 3 years ago

Add an option to show the optimised point similar to how true point is shown.

xhajnal commented 3 years ago

Now, the optimised point is used as a default when Setting True point.