Highlighting edges
If the mouse moves over an edge in a flow control graph this edge will be
highlighted, moreover the edges with common summands in the other flow
control graphs will be highlighted.
Legend of symbols used in the flow control graphs
The parameters which are displayed at the righthandside of the flow control
graph are
parameters which occur in one of the summands of the edges in the
graph. The white buttons are these of the parameters which occur only
in the summands of that cluster, the yellow ones are these of
the parameters which occur also in summands outside that cluster.
One of these parameters can be selected.
- red colored elipse
- selected parameter occurs in one of the conditions in one
summand of the outgoing edges
- red colored action label
- selected
parameter occurs in one of the actions or in the next state vector in
one summand of the edge
- blue colored edge
- the component in the next state vector belonging to the selected
parameter will be overwritten by a term not equal to the name of the selected
parameter