How to use INblobs

• Select an agent symbol by pressing its button on the left panel (symbol palette).
  
  
• Right click (or ctrl-click) on a canvas, node, or edge for a context menu.
  
  
• To create a node, shift click on some blank canvas.
  
  
• To create an edge, select (click) the source port, then shift-click the target port.
  
  
• To delete a node or edge, select it and press BACKSPACE or DEL, or else use the context menu.
  
  
• To rearrange the diagram, click and drag nodes to where you want them.
  
  
• To make an edge look tidier, add a control-point from its context menu, and drag the point to where you want it.
  
  
• You can add multiple items into the current selection by meta-clicking the extra nodes and control points. (Meta = Apple key, or CONTROL key.) A multiple selection can be dragged or deleted just like a single selection.
  
  
• The interface of a net or a rule is explicitly defined by means of special interface agents.
  
  
• The net on the bottom is the net to be reduced or converted to a textual configuration.
  
  
• The two nets in the top are the left-hand side and right-hand side of the interaction rule currently selected (from the list of rules on the left).
  
  
• To add a new rule press button Add new rule or else do mouse right-click in Rules (the root of the tree of rules). Then add agents to the canvas on the top.
  
  
• Alternatively, use the Rule creation wizard. Pressing this button will make a dialog appear where the two agents that will interact can be chosen. The wizard will automatically generate the left-hand side of the rule. It is also possible to choose what is generated in the right-hand side of the rule:
  • a copy of the left-hand side to be manually edited after (useful for rules with similar sides);
  • the interface agents from left-hand side;
  • nothing ( generates a blank right-hand side, not recommended)
  
  
• For rules between one of {&epsilon, &delta, c} symbols and any symbol there are templates that automatically create the whole rule; in Rule creation wizard check option Rule template and choose the two symbols.
  
• Match interface agents in a rule by selecting the desired interface agent in the left-hand side and shift-clicking the corresponding interface agent in the right-hand side. A box with the same number will appear in both agents.
  
  
• Edge and node labels can be made visible by selecting the appropriate command from the View menu. Edge labels are useful since they make the selection of edges easier: to select an edge just click on its label.