| |
| | Editing Rules |
 | | The rule morphism is indicated in the editor by showing identic numbers for each graph object on the left-hand side and its image on the right-hand side of the rule. |
 | | Now, having two identic rule sides, the graph objects that are to be deleted by the rule, have to be deleted in the right-hand rule side, and graph objects that are to be created by the rule have to be drawn there additionally. |
 | | In this mode, the rule morphism can be defined elementwise by clicking on a graph object in the left-hand rule side first, and then clicking on a graph object of the same type in the right-hand rule side. |
| tfs.cs.tu-berlin.de /agg/AGG-ShortManual/node10.html (335 words) |
|