Next: Consistency of Layered Graph
Up: Consistency of Graph Grammars
Previous: Graphical Consistency Constraints
Contents
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
.
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.
Next: Consistency of Layered Graph
Up: Consistency of Graph Grammars
Previous: Graphical Consistency Constraints
Contents
Olga Runge
2006-08-16