granularity view in UI.

[kohlhase]

We have (or could have soon) graphs of different granularity, we have

• the theory graph, which is the default target,
• (potentially) clustered graphs that could be shown when we "zoom out"
• finer-grained graphs like the symbol graph or a statement graph.

There may even be more "granularity levels" and we should have an UI that allows this "granularity zoon" (this zoom is definitely a different dimension than the built-in zoom we have now.

Apart from the fact that I think an UI like that would be very useful, I have no clear idea what we want, so we should discuss here.

[Shadow992]

I do not know if you remember, but we used to have clustering when zooming in/out. However all became so terribly slow that I removed it again. It is for sure no solution to do the clustering dynamically in client. This is way too slow because the algorithm have to recheck on every zoom-level if there is something new to (un-)cluster.

Therefore we have to implement it on another way (e.g. using buttons/slider) or let the backend do the heavy processing work.

[kohlhase]

Indeed I did not remember. You are right, the backend needs some part in this. We need to think about dynamically reloading, ... (probably).

[Shadow992]

Just to keep it in mind, there we already started about discussing a similar topic: https://github.com/UniFormal/TGView/issues/15