I am trying to document the overall design of my code. My first attempt is to create flow charts of broad steps performed and related static and dynamic data structures.
However, I now noticed that once one looks into backtracking – this can become quite tricky.
For example, one flow chart step could be a generator – generating examples to test – while in another location quite further down of multiple recursive calls, there could be a fail, to initiate a backtracking.
The fail causes backtracking across many calls, untraveling various computations until the generator gets to redo and call to test another example.
are there any good visual techniques to visualize that …