Set subpage

Set subpage

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 […]

Read Me Leave comment

Set port type

Set port type

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:

Read Me Leave comment

Replace by subpage

Replace by subpage

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 […]

Read Me Leave comment

Move to subpage

Move to subpage

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 […]

Read Me Leave comment

Assign port-socket

Assign port-socket

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 […]

Read Me Leave comment

Assign fusion set

Assign fusion set

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 […]

Read Me Leave comment