search

DEIS-Tools / H-Uppaal

MIT License
8 stars 3 forks source link

Ensure distance between locations #20

Closed Nielswps closed 4 years ago

Nielswps commented 4 years ago

Fix to avoid locations being stacked on top of each other

Nielswps commented 4 years ago

I am not sure if this is an efficient enough solution, as potentially all locations within the given component are being checked multiple times every time a location is moved, but I have tried adding about 30 locations to a component and it does not seem to harm performance in any major way. Neither when adding/dragging a new location away from the other locations nor when adding/dragging one in the middle of them