search

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker
BSD 3-Clause "New" or "Revised" License
4 stars 1 forks source link

space - more sophisticated saving of white space #58

Closed xhajnal closed 4 years ago

xhajnal commented 4 years ago

option one: map size -> list of rectangles

xhajnal commented 4 years ago

this can be easily done, but the issue is how to change refinement to pick the correct rectangle to be checked

xhajnal commented 4 years ago

Done with a map/dictionary mentioned upper, the space with only 1 white rectangle uses old technique, prerefined the new one