CADiZ

Reference manual / Z-related commands / Browsing commands / dependency graph


The dependency graph command is applicable to a variable declaration. It displays a graph, in the proof tree window, of the declarations used by the inspected variable's declaration, both directly and indirectly.


IT 28-Mar-2000