QUESTION - add constraints to 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 4 years ago

xhajnal commented 4 years ago

In more detail

how to store MH results (figure vs. just accepted, vs [xlabel, ylabel, title, accepted], vs inside of space)

xhajnal commented 4 years ago

Mh results now saved separately as a class, thanks @_dn

xhajnal commented 4 years ago

No, especially with alg5 (interval arith) it would be very complicated