Consistency Conditions

A consistency condition (CC) can be created by menu item New Constraint of pop-up menu GraGra. One can define a CC like a boolean formula using GCCs as variables.

A consistency condition can be defined in a formula editor which is available by menu item Edit of pop-up menu CC.
In AGG consistency conditions are placed at the end of the grammar tree and marked by icon C.

Figure 44: Editor of consistency condition

Please note, we use symbol $!$ for negation $\neg$.

To check the consistency of a graph grammar we can use :

• menu Analyzer / Consistency Check: graphical consistency constraints or consistency conditions of a selected grammar will be checked on its host graph,
• pop-up menu GraGra: graphical consistency constraints or consistency conditions of the invoked grammar will be checked on its host graph,
• pop-up menu of GCC: the invoked graphical consistency constraint will be checkt on the host graph,
• pop-up menu of CC: the invoked consistency condition will be checkt on the host graph.