Documentation
UNYO-UNYO
Execution of LMNtal programs can be visualized by giving the --gui option
at runtime.
The following is a screenshot of four fullerenes (C60), each generated
in separate membranes. This was obtained by hitting Go ahead repeatedly
and then by heating up the graph once. The membranes have been dragged
manually but no manual raveling of graphs has been made.

Main Panel
This is the panel where hierarchical graphs are drawn.
- The contents of a cell can be shown or hidden by pressing Ctrl and clicking the cell.
- Atoms and cells can be pinned down or freed by double-clicking them.
- Pinned-down entities can be moved manually but will not move automatically.
- They still affect other entities physically.
- An atom will be pinned down by double-clicking it.
- A hidden cell will be pinned down by double-clicking it.
- Nodes in the cell will be pinned down also.
- The nodes of an unhidden cell will be pinned down by double-clicking the cell.
- A node can be moved by dragging it.
- The whole graph can be moved by dragging the background.
Log Panel (below)
The log panel shows the text representation of the current graph. For technical reasons, the whole graph is enclosed by a global (root) membrane.
Control Panel (right)
- Go ahead: performs one-step reduction.
- For multi-step reductions, change the number in the text box to the left.
- Show All: show the contents of all cells.
- Hide All: hide the contents of all cells.
- HeatUp: give repulsive force from the center of a cell.
- Stop Heating: stop repulsive force.
- Take History: record the history of reductions. The previous states can be displayed by using the slider of the log panel.
- Show Link Number: display the argument number of atoms.
- Show Full Nameにチェックが入っていると、アトム名が全て表示される。チェックが外されている場合は、アトム名の頭文字がアトムの内側に表示される。
- Show Rulesにチェックがはいっていると、ルールが表示される。
- Calc Angleにチェックが入っていると角解像度(最小の角度)を大きくする力を加える
- Calc Springにチェックが入っているとバネモデルの力をリンクに持たせる
- Calc Replusiveにチェックが入っていると、各ノードが重ならないように力を加える
- Calc Attractionにチェックが入っていると、所属膜の中心と弱いバネで結び引力を加わえる
- スライダーで拡大縮小を行う