In menu File, a new graph grammar may be created by clicking
on menu entry New GraGra.
A new graph grammar named is created,
together with the start graph named and one rule named by default.
These new components are shown in the tree view window where
the default names can be changed by clicking on the name text field twice.
The default edit mode is the mode, and the new empty start graph
and the empty rule have been loaded into their graphical editors
where graphs may be drawn.
Using pop-up menus one can modify the structure of a grammar elements and
obtain their functionalities.
To create a new rule for the currently selected graph grammar,
the pop-up menu of GraGra has to be used choosing item New Rule.
To create a new negative application condition (NAC) for the currently
selected rule, the pop-up menu of Rule has to be used
choosing New NAC item. Such pop-up menus will appear after pressing
the right mouse button when the cursor points to the corresponding node
of the grammar tree.
Again, the newly created items are added to the tree view
where they can be renamed or selected for editing.
A graph grammar is closed by selecting item Close
in menu File
while the graph grammar to be closed is selected (highlighted in the tree view)
or using the pop-up menu of GraGra.
A rule or a NAC is deleted by selecting the item Delete of the appropriate
pop-up menu.
A grammar may contain a type graph. It can be created by
selecting the item New Type Graph of the pop-up menu of GraGra.
The pop-up menu of type graph is visited to decide how the type
graph should be used during editing graphs and applying rules.
Moreover, a grammar may contain some atomic graph constraints and
logical constraints (formulae) based on atomic graph constraints.
The pop-up menu of GraGra allows creating and checking such
components and their own pop-up menus - editing and deleting.