When generating a knowledge structure with a lot of states a query such as WHERE? Top will lead to a huge list in the output that can take very long to render and make the browser unresponsive or even crash while rendering too much MathJax.
It might thus be good to set a limit of the maximum number of states listed, similar to how we do not draw Kripke models for more than 32 possible worlds:
When generating a knowledge structure with a lot of states a query such as
WHERE? Top
will lead to a huge list in the output that can take very long to render and make the browser unresponsive or even crash while rendering too much MathJax.It might thus be good to set a limit of the maximum number of states listed, similar to how we do not draw Kripke models for more than 32 possible worlds:
https://github.com/jrclogic/SMCDEL/blob/4217df53d35fa16a94928b365e071c9a20839037/exec/smcdel-web.hs#L80-L81