INblobs-0.1.1: html/HowToUse.html
<html>
<head>
<title>INblobs editor</title>
<meta name="keywords" content="IN, Interaction Nets, editor, INblobs" />
<meta name="description" content="Free Interaction Nets editor." />
</head>
<body>
<h3>How to use INblobs</h3>
<p>
<ul>
<li> Select an agent symbol by pressing its button on the left panel (symbol palette).
<br /><br />
<li> Right click (or ctrl-click) on a canvas, node, or edge for a context menu.
<br /><br />
<li> To create a node, shift click on some blank canvas.
<br /><br />
<li> To create an edge, select (click) the source port, then shift-click
the target port.
<br /><br />
<li> To delete a node or edge, select it and press BACKSPACE or DEL, or else use the context menu.
<br /><br />
<li> To rearrange the diagram, click and drag nodes to where you want them.
<br /><br />
<li> To make an edge look tidier, add a control-point from its context menu,
and drag the point to where you want it.
<br /><br />
<li> 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.
<br /><br />
<li> The interface of a net or a rule is explicitly defined by means of special interface agents.
<br /><br />
<li> The net on the bottom is the net to be reduced or converted to a textual configuration.
<br /><br />
<li> 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).
<br /><br />
<li> To add a new rule press button <b>Add new rule</b> or else do mouse
right-click in <b>Rules</b> (the root of the tree of rules). Then add
agents to the canvas on the top.
<br /><br />
<li> Alternatively, use the <b>Rule creation wizard</b>. 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:
<ul>
<li> a copy of the left-hand side to be manually edited after
(useful for rules with similar sides);
<li> the interface agents from left-hand side;
<li> nothing ( generates a blank right-hand side, not recommended)
</ul>
<br />
<li> For rules between one of <b>{&epsilon, &delta, c}</b> symbols and any symbol there are templates that automatically create the whole rule; in <b>Rule creation wizard</b> check option <b>Rule template</b> and choose the two symbols.
<br/>
<li> 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.
<br /><br />
<li> Edge and node labels can be made visible by selecting the appropriate command
from the <b>View</b> menu. Edge labels are useful since they make the selection
of edges easier: to select an edge just click on its label.
</ul>
<a href="../index.html">back to main page</a>
</body>
</html>