page 1  (1 pages)

Taxonomy of SV (JVLC V4N3)-FIGURES-size ref only Page F-9

Figure 8: A snapshot of abstract data type animation of a Breadth First Search in UWPI. The currently executing line is highlighted in the source window with basic execution controls appearing on the left side. The abstract data type animation at the right shows the simple counter, n, along with the graph being searched (layout and abstraction were automatically selected by UWPI). The graph is annotated with the pointer variables used in the search.