Definition:Flow Chart/Graphical Representation

From ProofWiki
Jump to navigation Jump to search

Flow Chart: Graphical Representation

Conventionally, the shape of the box representing a step is dependent upon the type of operation encapsulated within the step:

Rectangular for an action, represented by a functional box.
A different shape, conventionally a diamond, for a condition, represented by a predicative box.


On $\mathsf{Pr} \infty \mathsf{fWiki}$, the preferred shape for condition boxes is rectangular with rounded corners.

This is to maximise ease and neatness of presentation: configuring a description inside a diamond shaped boxes in order for it to be aesthetically pleasing can be challenging and tedious.

Also on $\mathsf{Pr} \infty \mathsf{fWiki}$, it is part of the accepted style to implement the entry and exit points of the algorithm using a box of a particular style, in this case with a double border.


Technical Note

Flow charts on $\mathsf{Pr} \infty \mathsf{fWiki}$ have been developed using the free online tool "draw.io":

https://www.draw.io/


Sources