Hierarchy tools

Sets the subpage for a substitution transition Apply the tool to a transition, indicating the substitution transition. The cursor changes if the tool has been picked up from the palette. Apply the tool again the desired subpage, i.e. either to the page itself, to a page tab for the page, or the corresponding page name in the index. An instance of the selected page is […]

Set the port type Apply the tool to a place. The port type, as indicated by the icon, is added or changed for the place. This tool is available through:

Has the reverse effect of move to subpage. Apply the tool to a substitution transition or a subpage tag All element on the subpage will be moved to the page of the substitution transition The substitution transition will be deleted The subpage will be deleted Assigned ports and sockets will be merged into a single place A new group with the elements previous on the […]

Move a transition to a new subpage Apply the tool to a transition A new page is created. The transition becomes a substitution transition and the newly created page is set as subpage, using the selected transition as substitution transition. All places surrounding the transition are copied to the new subpage, and are set as ports. All these ports are assigned to their counterparts (which […]

This tool must be applied after the Set subpage tool has been applied. It assigns a port-socket pair: Apply the tool to a place on the subpage, selecting the port. The port must have a color set inscription, and it must have a port-type tag (i.e., In, Out, or I/O). Focus changes to the superpage and the cursor changes if the tool had been picked […]

This tool assigns and merges fusion sets: Start a new fusion set: Apply the tool to a place with no fusion set tag. Continue applying the tool to the places that should be in the fusion set. Pick up a fusion set in the tool: Apply the tool to a place with the fusion set you want. The tool can now be applied to add […]